Deciding active structural completeness

Michał Stronkowski

Abstract

We prove that if an n-element algebra generates the variety V which is actively structurally complete, then the cardinality of the carrier of each subdirectly irreduciblealgebra in V is at most n^[(n+1)*n^(2*n)]. As a consequence, with the use of known results, we show that there exist algorithms deciding whether a given finite algebraAgeneratesthe (actively) structurally complete variety V(A) in the cases when V(A) is congruence modular or V(A) is congruence meet-semidistributive or A is a semigroup.
Author Michał Stronkowski (FMIS / DAC)
Michał Stronkowski,,
- Department of Algebra and Combinatorics
Journal seriesArchive for Mathematical Logic, ISSN 0933-5846, e-ISSN 1432-0665
Issue year2020
Vol59
Pages149-165
Publication size in sheets0.8
Keywords in PolishStrukturalna zupełność, Aktywna strukturalna zupełność, Rozstrzygalność, Skończenie generowane rozmaitości
Keywords in EnglishStructural completeness, Active structural completenes, Decidability, Finitely generated varieties
ASJC Classification1211 Philosophy; 2609 Logic
Abstract in PolishPokazano, że jeśli A jest skończoną algebrą o n elementach, to każda podprosto nierozkładalna algebra w rozmaitości generowanej przez A ma no najwyżej n^[(n+1)*n^(2*n)] elementów. Dzięki temu, w paru istotnych przypadkach, udało się udowodnić istnienie algorytmów rozstrzygających czy dana skończona algebra generuje aktywnie strukturalną rozmaitość.
DOIDOI:10.1007/s00153-019-00682-x
URL https://link.springer.com/article/10.1007/s00153-019-00682-x
Languageen angielski
Score (nominal)140
Score sourcejournalList
ScoreMinisterial score = 140.0, 26-06-2020, ArticleFromJournal
Publication indicators Scopus Citations = 0; Scopus SNIP (Source Normalised Impact per Paper): 2018 = 0.973; WoS Impact Factor: 2018 = 0.574 (2) - 2018=0.506 (5)
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?