Previous |  Up |  Next

Article

Keywords:
algebra; mono-unary algebra; homomorphism of algebras; $m$-decomposable mapping; mono-unary algebra with one acceptable and several nullary operations; mono-unary algebra with one binding and several nullary operations
Summary:
A construction of all homomorphisms of an algebra with a finite number of operations into an algebra of the same type is presented that consists in replacing algebras by suitable mono-unary algebras (possibly with some nullary operations) and their homomorphisms by suitable homomorphisms of the corresponding mono-unary algebras. Since a construction of all homomorphisms between two mono-unary algebras is known (see, e.g., [6], [7], [8]), a construction of all homomorphisms of an arbitrary algebra with a finite number of operations into an algebra of the same type can be described.
References:
[1] P. M. Cohn: Universal Algebra. Harper and Row, NewYork-Evanston-London, 1965. MR 0175948 | Zbl 0141.01002
[2] F. Gécseg and L. Peák: Algebraic Theory of Automata. Akadémiai Kiadó, Budapest, 1972. MR 0332374
[3] J. E. Hopcroft and J. D. Ullman: Formal Languages and Their Relation to Automata. Addison-Wesley Publishing Company, Reading, 1969. MR 0237243
[4] S. Mac Lane: Categories for the Working Mathematician. Springer, New York-Heidelberg-Berlin, 1971. MR 0354798 | Zbl 0232.18001
[5] R. Mc Kenzie, G. F. Mc Nulty and W. S.Taylor: Algebras, Lattices, Varieties. Vol. I. Wadsworth and Brooks/Cole, Monterey, 1987.
[6] M. Novotný: O jednom problému z teorie zobrazení (Sur un problème de la théorie des applications). Publ. Fac. Sci. Univ. Masaryk Brno No. 344, 1953, pp. 53–64.
[7] M. Novotný: Über Abbildungen von Mengen. Pac. J.  Math. 13 (1963), 1359–1369. MR 0157143
[8] M. Novotný: Mono-unary algebras in the work of Czechoslovak mathematicians. Arch. Math. (Brno) 26 (1990), 155–164. MR 1188275
[9] M. Novotný: Construction of all strong homomorphisms of binary structures. Czechoslovak Math.  J. 41 (116) (1991), 300–311. MR 1105447
[10] M. Novotný: Ternary structures and groupoids. Czechoslovak Math. J. 41 (116) (1991), 90–98. MR 1087627
[11] M. Novotný: On some correspondences between relational structures and algebras. Czechoslovak Math. J. 43 (118) (1993), 643–647. MR 1258426
[12] M. Novotný: Construction of all homomorphisms of groupoids. Czechoslovak Math.  J. 46 (121) (1996), 141–153. MR 1371696
[13] M. Novotný: Construction of all homomorphisms of mono-$n$-ary algebras. Czechoslovak Math. J. 46 (121) (1996), 331–333. MR 1388621
[14] M. Novotný: Homomorphisms and strong homomorphisms of relational structures. Arch. Math. (Brno) 33 (1997), 57–64. MR 1464301
[15] M. Novotný: Homomorphisms of algebraic structures. In: Proceedings of the 11th International Scientific Conference VUT Brno, Faculty of Civil Engineering, Oct. 18–20, 1999, Section Applied Mathematics,  (eds.), , pp. 13–20. MR 1696667
[16] A. Pultr and V. Trnková: Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories. Academia, Prague, 1980. () MR 0563525
[17] M. O. Rabin and D. Scott: Finite automata and their decision problems. IBM Journal 3 (1959), 115–125. MR 0103795
Partner of
EuDML logo