|
Logic in representations of groups
E. Aladovaa, A. A. Gvaramiyab, B. I. Plotkinc a Dep. Math., Bar-Ilan University, Ramat Gan, Israel
b Sukhum, Abkhazia
c Dep. Math., Hebrew University of Jerusalem, Jerusalem, Israel
Abstract:
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.
Keywords:
representations of groups, invariants of representations.
Received: 19.04.2011
Citation:
E. Aladova, A. A. Gvaramiya, B. I. Plotkin, “Logic in representations of groups”, Algebra Logika, 51:1 (2012), 3–40; Algebra and Logic, 51:1 (2012), 1–27
Linking options:
https://www.mathnet.ru/eng/al520 https://www.mathnet.ru/eng/al/v51/i1/p3
|
|