Unary algebras without proper subalgebras. (English. Russian original) Zbl 1474.08010
Mosc. Univ. Math. Bull. 75, No. 6, 268-271 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 60-63 (2020).
Summary: The paper describes equivalent conditions under which an arbitrary unary algebra has no proper subalgebras. An algorithm for checking the absence of subalgebras or for finding proper subalgebras and their generators in a given unary algebra whose carrier and signature are finite is proposed.
MSC:
| 08A60 | Unary algebras |
| 08A05 | Structure theory of algebraic structures |
| 68Q70 | Algebraic theory of languages and automata |
References:
| [1] | Imreh, B., On finite nilpotent automata, Acta Cybern., 5, 281-293 (1981) · Zbl 0481.68055 |
| [2] | Imreh, B., On finite definite automata, Acta Cybern., 7, 61-65 (1985) · Zbl 0561.68043 |
| [3] | Ćirić, M.; Bogdanović, S.; Petković, T., “The lattice of subautomata of an automaton: a survey,” Publ. Inst. Math. Nouv, Sér., 64, 165-182 (1998) · Zbl 0988.68113 |
| [4] | Ćirić, M.; Bogdanović, S., Lattices of subautomata and direct sum decompositions of automata, Algebra Colloq., 6, 71-88 (1999) · Zbl 0943.68117 |
| [5] | L’vov, I. V., The finiteness of a basis of identities of certain nonassociative rings, Algebra Logika, 14, 15-27 (1974) · Zbl 0316.17002 |
| [6] | Artamonov, V. A., On finite algebras of prime dimension without subalgebras, J. Algebra, 42, 247-260 (1976) · Zbl 0342.17002 · doi:10.1016/0021-8693(76)90039-9 |
| [7] | Artamonov, V. A., On algebras without proper subalgebras, Math. USSR Sb., 33, 375-401 (1977) · Zbl 0397.17003 · doi:10.1070/SM1977v033n03ABEH002429 |
| [8] | Szendrei, A., Simple surjective algebras having no proper subalgebras, J. Aust. Math. Soc., 48, 434-454 (1990) · Zbl 0702.08003 · doi:10.1017/S1446788700029979 |
| [9] | Salii, V. N., Universal Algebra and Automata (1988), Saratov: Saratov Univ., Saratov · Zbl 0677.08001 |
| [10] | M. Kilp, U. Knauer, and A. V. Mikhalev, Monoids, Acts and Categories (de Gruyter, Berlin, 2000). · Zbl 0945.20036 |
| [11] | Emelichev, V. A.; Mel’nikov, O. I.; Saravanov, V. I.; Tyshkevich, R. I., Lectures on Graph Theory (1990), Moscow: Nauka, Moscow · Zbl 0711.05002 |
| [12] | Kudryavtsev, V. B.; Aleshin, S. V.; Podkolzin, A. S., Introduction to Automata Theory (1985), Moscow: Nauka, Moscow · Zbl 0604.68058 |
| [13] | Warshall, S., A theorem on boolean matrices, J. ACM, 9, 11-12 (1962) · Zbl 0118.33104 · doi:10.1145/321105.321107 |
| [14] | Tarjan, R., Depth-first search and linear graph algorithms, SIAM J. Comput., 1, 146-160 (1972) · Zbl 0251.05107 · doi:10.1137/0201010 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
