Discriminating and square-like groups
Küçük Resim Yok
Tarih
2004
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Walter De Gruyter Gmbh
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
A group is discriminating if and only if it discriminates its direct square, and square-like if and only if it is universally equivalent to its direct square. It is known that any discriminating group is square-like. These notions were introduced and studied in a series of papers by Baumslag, Myasnikov and Remeslennikov and by Fine, Gaglione, Myasnikov and Spellman. We prove that any square-like group is elementarily equivalent to a countable discriminating group. This answers a question of the second group of authors. We provide an explicit universal - existential axiom system for the class of square-like groups. We show that the theory of the class of discriminating groups is computably enumerable but undecidable. We give a criterion for determining whether a group is discriminating. We propose a construction method for discriminating groups and use it to construct in various group varieties many discriminating non-abelian groups that do not embed their squares. We construct square-like, nondiscriminating nilpotent p-groups of arbitrary nilpotency class; all previously known square-like, non-discriminating groups were abelian.
Açıklama
Anahtar Kelimeler
Kaynak
Journal of Group Theory
WoS Q Değeri
Q2
Scopus Q Değeri
Q2
Cilt
7
Sayı
4
