×

Complex algebras of subalgebras. (English. Russian original) Zbl 1241.08002

Algebra Logic 47, No. 6, 367-383 (2008); translation from Algebra Logika 47, No. 6, 655-686 (2008).
Summary: Let \(\mathcal V\) be a variety of algebras. We specify a condition (the so-called generalized entropic property), which is equivalent to the fact that for every algebra A \(\in\) \(\mathcal V\), the set of all subalgebras of A is a subuniverse of the complex algebra of the subalgebras of A. The relationship between the generalized entropic property and the entropic law is investigated. Also, for varieties with the generalized entropic property, we consider identities that are satisfied by complex algebras of subalgebras.

MSC:

08A30 Subalgebras, congruence relations
08A05 Structure theory of algebraic structures

Software:

OTTER
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] G. Grätzer and H. Lakser, ”Identities for globals (complex algebras) of algebras,” Coll. Math., 56, No. 1, 19–29 (1988). · Zbl 0668.08005
[2] G. Grätzer and S. Whitney, ”Infinitary varieties of structures closed under the formation of complex structures,” Coll. Math., 48, 1–5 (1984). · Zbl 0545.08001
[3] A. Shafaat, ”On varieties closed under the construction of power algebras,” Bull. Aust. Math. Soc., 11, 213–218 (1974). · Zbl 0295.08002 · doi:10.1017/S000497270004380X
[4] C. Brink, ”Power structures,” Alg. Univ., 30, No. 2, 177–216 (1993). · Zbl 0787.08001 · doi:10.1007/BF01196091
[5] I. Bošnjak and R. Madarász, ”On power structures,” Alg. Discr. Math., No. 2, 14–35 (2003). · Zbl 1063.08001
[6] A. Romanowska and J. D. Smith, Modal Theory. An Algebraic Approach to Order, Geometry, and Convexity, Heldermann Verlag, Berlin (1985). · Zbl 0553.08001
[7] A. Romanowska and J. D. Smith, ”Subalgebra systems of idempotent entropic algebras,” J. Alg., 120, No. 2, 247–262 (1989). · Zbl 0663.08001 · doi:10.1016/0021-8693(89)90197-X
[8] A. Romanowska and J. D. Smith, ”On the structure of the subalgebra systems of idempotent entropic algebras,” J. Alg., 120, No. 2, 263–283 (1989). · Zbl 0663.08002 · doi:10.1016/0021-8693(89)90198-1
[9] A. Pilitowska, ”Modes of submodes,” Ph. D. thesis, Warsaw Univ. Tech. (1996). · Zbl 1270.08004
[10] A. Pilitowska, ”Identities for classes of algebras closed under the complex structures,” Disc. Math. Alg. Stoch. Methods, 18, No. 2, 85–109 (1998). · Zbl 0916.08005
[11] A. Pilitowska, ”Enrichments of affine spaces and algebras of subalgebras,” Disc. Math. Alg. Stoch. Methods, 19, 207–225 (1999). · Zbl 0940.08001
[12] J. Ježek and T. Kepka, Medial Groupoids, Rozp. Cesk. Akad. Ved, Rada Mat. Priz. Ved, 93, No. 2 (1983).
[13] A. Romanowska and J. D. Smith, Modes, World Scientific, Singapore (2002). · Zbl 1012.08001
[14] T. Evans, ”Properties of algebras almost equivalent to identities,” J. London Math. Soc., 37, 53–59 (1962). · Zbl 0109.01004 · doi:10.1112/jlms/s1-37.1.53
[15] J. Dudek, ”Small idempotent clones. I,” Czech. Math. J., 48, No. 1, 105–118 (1998). · Zbl 0931.20055 · doi:10.1023/A:1022471729444
[16] P. Đapić, J. Ježek, P. Marković, R. McKenzie, and D. Stanovský, ”*-Linear equational theories of groupoids,” Alg. Univ., 56, Nos. 3/4, 357–397 (2007). · Zbl 1127.03023 · doi:10.1007/s00012-007-2007-3
[17] J. Ježek and R. McKenzie, ”The variety generated by equivalence algebras,” Alg. Univ., 45, Nos. 2/3, 211–220 (2001). · Zbl 0980.08004 · doi:10.1007/s00012-001-8162-z
[18] S. Oates-Williams, ”Graphs and universal algebras,” Lect. Notes Math., 884, 351–354 (1981). · Zbl 0468.05068 · doi:10.1007/BFb0091831
[19] W. W. McCune, Otter: An Automated Deduction System; http://www-unix.mcs.anl.gov/AR/otter/ .
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.