Deciding active structural completeness

Michał Stronkowski


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
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ść.
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*
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.
Are you sure?