Extensions of algebraic systems

Iskander, Awad A.

doi:10.1090/S0002-9947-1984-0719672-2

Extensions of algebraic systems
HTML articles powered by AMS MathViewer

by Awad A. Iskander PDF

Trans. Amer. Math. Soc. 281 (1984), 309-327 Request permission

Abstract:

There are several generalizations to universal algebras of the notion "The group $\mathfrak {A}$ is an extension of the group $\mathfrak {B}$ by the group $\mathfrak {C}$". In this paper we study three such generalizations and the corresponding products of classes of algebraic systems. Various results are presented. One such theorem characterizes the weakly congruence regular varieties admitting extensions of a particular sort. Another result gives, under a weak congruence permutability condition, an equational basis for the variety obtained by applying one such product to two other varieties.

References

J. L. Bell and A. B. Slomson, Models and ultraproducts: An introduction, North-Holland Publishing Co., Amsterdam-London, 1969. MR 0269486
Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
S. Bulman-Fleming, A. Day, and W. Taylor, Regularity and modularity of congruences, Algebra Universalis 4 (1974), 58–60. MR 382118, DOI 10.1007/BF02485707
A. H. Clifford, Extensions of semigroups, Trans. Amer. Math. Soc. 68 (1950), 165–173. MR 33836, DOI 10.1090/S0002-9947-1950-0033836-2
P. M. Cohn, Universal algebra, Harper & Row, Publishers, New York-London, 1965. MR 0175948
B. Csákány, Characterizations of regular varieties, Acta Sci. Math. (Szeged) 31 (1970), 187–189. MR 272697
B. Csákány, Congruences and subalgebras, Ann. Univ. Sci. Budapest. Eötvös Sect. Math. 18 (1975), 37–44 (1976). MR 414462
B. Csákány and L. Megyesi, Varieties of idempotent medial quasigroups, Acta Sci. Math. (Szeged) 37 (1975), 17–23. MR 379327
C. J. Everett Jr., An extension theory for rings, Amer. J. Math. 64 (1942), 363–370. MR 6996, DOI 10.2307/2371690
K. Fihtner, Varieties of universal algebras with ideals, Mat. Sb. (N.S.) 75 (117) (1968), 445–453 (Russian). MR 0222001
George Grätzer, Universal algebra, 2nd ed., Springer-Verlag, New York-Heidelberg, 1979. MR 538623
G. Grätzer, Two Mal′cev-type theorems in universal algebra, J. Combinatorial Theory 8 (1970), 334–342. MR 279022
Joachim Hagemann and A. Mitschke, On $n$-permutable congruences, Algebra Universalis 3 (1973), 8–12. MR 330010, DOI 10.1007/BF02945100
Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I. With an introductory chapter: General theory of algebras, Studies in Logic and the Foundations of Mathematics, Vol. 64, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0314620
Awad A. Iskander, Product of ring varieties and attainability, Trans. Amer. Math. Soc. 193 (1974), 231–238. MR 349753, DOI 10.1090/S0002-9947-1974-0349753-0
A. A. Iskander, Coverings in the lattice of varieties, Contributions to universal algebra (Colloq., József Attila Univ., Szeged, 1975) Colloq. Math. Soc. János Bolyai, Vol. 17, North-Holland, Amsterdam, 1977, pp. 189–203. MR 0498323

On the representation of lattices

1

Bjarni Jónsson, Modular lattices and Desargues’ theorem, Math. Scand. 2 (1954), 295–314. MR 67859, DOI 10.7146/math.scand.a-10416
Bjarni Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121 (1968). MR 237402, DOI 10.7146/math.scand.a-10850
Bjarni Jónsson, Sums of finitely based lattice varieties, Advances in Math. 14 (1974), 454–468. MR 354459, DOI 10.1016/0001-8708(74)90040-1
Bjarni Jónsson and Evelyn Nelson, Relatively free products in regular varieties, Algebra Universalis 4 (1974), 14–19. MR 360406, DOI 10.1007/BF02485701
A. I. Mal′cev, On the general theory of algebraic systems, Amer. Math. Soc. Transl. (2) 27 (1963), 125–142. MR 0151416
A. I. Mal′cev, Multiplication of classes of algebraic systems, Sibirsk. Mat. Ž. 8 (1967), 346–365 (Russian). MR 0213276
A. I. Mal′cev, Algebraicheskie sistemy, Posthumous edition, Izdat. “Nauka”, Moscow, 1970 (Russian). Edited by D. Smirnov and M. Taĭclin. MR 0282908
Anatoliĭ Ivanovič Mal′cev, The metamathematics of algebraic systems. Collected papers: 1936–1967, Studies in Logic and the Foundations of Mathematics, Vol. 66, North-Holland Publishing Co., Amsterdam-London, 1971. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells, III. MR 0349383
Ralph McKenzie, Equational bases and nonmodular lattice varieties, Trans. Amer. Math. Soc. 174 (1972), 1–43. MR 313141, DOI 10.1090/S0002-9947-1972-0313141-1
Aleit Mitschke, Implication algebras are $3$-permutable and $3$-distributive, Algebra Universalis 1 (1971/72), 182–186. MR 309828, DOI 10.1007/BF02944976
Hanna Neumann, Varieties of groups, Springer-Verlag New York, Inc., New York, 1967. MR 0215899

Models for Mal’cev conditions:

permutability

18

L. Rédei, Die Verallgemeinerung der Schreierschen Erweiterungstheorie, Acta Sci. Math. (Szeged) 14 (1952), 252–273 (German). MR 52404
E. T. Schmidt, Kongruenzrelationen algebraischer Strukturen, Mathematische Forschungsberichte, XXV, VEB Deutscher Verlag der Wissenschaften, Berlin, 1969 (German). MR 0255474
E. T. Schmidt, On $n$-permutable equational classes, Acta Sci. Math. (Szeged) 33 (1972), 29–30. MR 302539
Otto Schreier, Über die Erweiterung von Gruppen I, Monatsh. Math. Phys. 34 (1926), no. 1, 165–180 (German). MR 1549403, DOI 10.1007/BF01694897
J. Słomiński, On the determining of the form of congruences in abstract algebras with equationally definable constant elements, Fund. Math. 48 (1959/60), 325–341. MR 122744, DOI 10.4064/fm-48-3-325-341
D. M. Smirnov, Regularly definable varieties of algebras, Algebra i Logika 15 (1976), no. 3, 331–342, 366 (Russian). MR 0439716
Walter Taylor, Characterizing Mal′cev conditions, Algebra Universalis 3 (1973), 351–397. MR 349537, DOI 10.1007/BF02945141
Rudolf Wille, Kongruenzklassengeometrien, Lecture Notes in Mathematics, Vol. 113, Springer-Verlag, Berlin-New York, 1970 (German). MR 0262149
G. I. Žitomirskiĭ, Extensions of universal algebras, Uspehi Mat. Nauk 29 (1974), no. 6(180), 169–170 (Russian). MR 0412086