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 , where similar results were derived for one-sorted algebras.
Bibliographical noteFunding Information:
∗Supported by the Minerva Foundation through the Emmy Noether Research Institute. ∗∗Supported by the Israel Science Foundation (grant No. 1178/06). ∗∗∗Supported by ISF Center (grant No. 1691/10).
- invariants of representations
- representations of groups