Logic in representations of groups

E. Aladova ; A. A. Gvaramiya ; B. I. Plotkin

Algebra i logika, Tome 51 (2012) no. 1, pp. 3-40.

Résumé

Let $K$ be a commutative and associative ring with unit. We consider representations of groups over $K$ from the viewpoint of some logic. In particular, different logical invariants of representations, as well as relations between the various representations corresponding to the invariants, are studied. One of the basic relations is isotypeness. Here we use the concept of a type adopted in model theory. This paper adjoins results by B. I. Plotkin in [Isotyped algebras, in Mal'tsev Readings, Sovr. Mat. Pril., 15, MIAN, Moscow, 40–66 (2011)], where similar results were derived for one-sorted algebras.

Détail

Keywords: representations of groups, invariants of representations.

Bibliographie

[1] G. Baumslag, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over groups. I: Algebraic sets and ideal theory”, J. Algebra, 219:1 (1999), 16–79 | DOI | MR | Zbl

[2] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Unification theorems in algebraic geometry”, Aspects of infinite groups. A Festschrift in honor of A. Gaglione, Papers of the conf. in honour of A. Gaglione's 60th birthday (Fairfield, USA, March 2007), Algebra Discr. Math. (Hackensack), 1, eds. B. Fine (ed.) et al., World Sci., Hackensack, NJ, 2008, 80–111 | DOI | MR | Zbl

[3] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over algebraic structures. II: Foundations”, J. Algebra (to appear) , arXiv: 1002.3562v1[math.AG]

[4] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness”, Southeast Asian Bull. Math., 35:1 (2011), 35–68 | MR | Zbl

[5] O. Kharlampovich, A. Myasnikov, “Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz”, J. Algebra, 200:2 (1998), 472–516 | DOI | MR | Zbl

[6] O. Kharlampovich, A. Myasnikov, “Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups”, J. Algebra, 200:2 (1998), 517–570 | DOI | MR | Zbl

[7] A. Myasnikov, V. Remeslennikov, “Algebraic geometry over groups. II: Logical foundations”, J. Algebra, 234:1 (2000), 225–276 | DOI | MR | Zbl

[8] B. Plotkin, “Varieties of algebras and algebraic varieties”, Isr. J. Math., 96, Pt. B (1996), 511–522 | DOI | MR | Zbl

[9] B. Plotkin, “Varieties of algebras and algebraic varieties. Categories of algebraic varieties”, Sib. Adv. Math., 7:2 (1997), 64–97 | MR | Zbl

[10] B. I. Plotkin, “Algebraic geometry in first order logic”, Itogi nauki i tekhniki. Sovrem. matem. prilozh., 22, 2004, 16–62 ; J. Math. Sci., 137:5 (2006), 5049–5097 ; arXiv: math/0312485 | MR | DOI | Zbl

[11] B. I. Plotkin, “Izotipnye algebry”, Konf. “Maltsevskie chteniya”, Sovr. probl. matem., 15, MIAN, M., 2011, 40–66 ; B. I. Plotkin, Isotyped algebras, , 2009 0812.3298v2[math.LO] | DOI

[12] B. I. Plotkin, Universal algebra, algebraic logic and databases, Math. Appl. (Dordrecht), 272, Kluwer Acad. Publ., Dordrecht, 1994 | MR | Zbl

[13] St. Petersburg Math. J., 19:5 (2008), 859–879 | DOI | MR

[14] W. Hodges, Model theory, Encycl. Math. Appl., 42, Cambridge Univ. Press, Cambridge, 1993 | MR | Zbl

[15] D. Marker, Model theory: An Introduction, Grad. Texts Math., Springer-Verlag, New York, 217 | MR

[16] G. Higman, B. H. Neumann, H. Neumann, “Embedding theorems for groups”, J. Lond. Math. Soc., 24:4 (1950), 247–254 | DOI | MR | Zbl

[17] B. I. Plotkin, S. M. Vovsi, Mnogoobraziya predstavlenii grupp. Obschaya teoriya, svyazi i prilozheniya, Zinatne, Riga, 1983 | MR | Zbl

[18] E. V. Aladova, B. I. Plotkin, “Varieties of representations of groups and varieties of associative algebras”, Int. J. Algebra Comput., 21:7 (2011), 1149–1178 | DOI | MR | Zbl

[19] A. A. Gvaramiya, B. I. Plotkin, “Klassy gruppovykh predstavlenii, aksiomatiziruemykh v logike deistviya”, Fundament. i prikl. matem., 11:2 (2005), 73–85 ; A. A. Gvaramiya, B. I. Plotkin, “Classes of group representations axiomatizable in action type logic”, J. Math. Sci. New York, 142:2 (2007), 1915–1922 | MR | Zbl | DOI

[20] S. Mac Lane, Categories for the working mathematician, Grad. Texts Math., 5, Springer-Verlag, New York–Heidelberg–Berlin, 1971 | MR | Zbl

[21] P. R. Halmos, Algebraic logic, Chelsea Publ. Co., New York, 1962 | MR | Zbl

[22] G. Mashevitzky, B. Plotkin, E. Plotkin, “Automorphisms of the category of free Lie algebras”, J. Algebra, 282:2 (2004), 490–512 | DOI | MR | Zbl

[23] L. Henkin, J. D. Monk, A. Tarski, Cylindric Algebras, Part I, With an introductory chapter: General theory of algebras, Stud. Logic Found. Math., 64, North-Holland, Amsterdam, 1971 ; Part II, Stud. Logic Found. Math., 115, North-Holland, Amsterdam, 1985 | MR | MR | Zbl

[24] A. G. Kurosh, Lectures in general algebra, Int. Ser. Monogr. Pure Appl. Math., 70, Pergamon Press, Oxford–London–Edinburgh–New York–Paris–Frankfurt, 1965 | MR

[25] A. I. Maltsev, Algebraicheskie sistemy, Nauka, M., 1970 ; A. I. Mal'cev, Algebraic systems, Die Grundlehren der mathematischen Wissenschaften, 192, Springer-Verlag, Berlin–Heidelberg–New York, 1973 | MR | MR

[26] A. Tsurkov, B. Plotkin, “Action type geometrical equivalence of representations of groups”, Algebra Discrete Math., 2005, no. 4, 48–79 | MR | Zbl

[27] P. Hall, “Some constructions for locally finite groups”, J. Lond. Math. Soc., 34 (1959), 305–319 | DOI | MR | Zbl

[28] O. H. Kegel, Regular limits of infinite symmetric groups, preprint | MR

[29] B. H. Neumann, “An essay on free products of groups with amalgamations”, Philos. Trans. Roy. Soc. London Ser. A, 246 (1954), 503–554 | DOI | MR | Zbl