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 | |
| Journal series | Archive for Mathematical Logic, ISSN 0933-5846, e-ISSN 1432-0665 |
| Issue year | 2020 |
| Vol | 59 |
| Pages | 149-165 |
| Publication size in sheets | 0.8 |
| Keywords in Polish | Strukturalna zupełność, Aktywna strukturalna zupełność, Rozstrzygalność, Skończenie generowane rozmaitości |
| Keywords in English | Structural completeness, Active structural completenes, Decidability, Finitely generated varieties |
| ASJC Classification | ; |
| Abstract in Polish | Pokazano, ż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ść. |
| DOI | DOI:10.1007/s00153-019-00682-x |
| URL | https://link.springer.com/article/10.1007/s00153-019-00682-x |
| Language | en angielski |
| Score (nominal) | 140 |
| Score source | journalList |
| Score | = 140.0, 26-06-2020, ArticleFromJournal |
| Publication indicators | = 0; : 2018 = 0.973; : 2018 = 0.574 (2) - 2018=0.506 (5) |
| Citation count* |
Share
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
