This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Georgian Mathematical Journal Volume 16 (2009), Number 1, 4954 ISOMORPHISM CHARACTERIZATION OF DIVISIBLE GROUPS IN MODULAR ABELIAN GROUP RINGS PETER DANCHEV Abstract. Suppose G is an abelian group with a psubgroup H and R is a commutative unitary ring of prime characteristic p with trivial nilradical. We give a complete description up to isomorphism of the maximal divisi ble subgroups of 1 + I ( RG ; H ) and (1 + I ( RG ; H )) /H , respectively, where I ( RG ; H ) denotes the relative augmentation ideal of the group algebra RG with respect to H . This paper terminates a series of works by the author on the topic, first of which are [4] and [5]. 2000 Mathematics Subject Classification: 16U60, 20K10, 20K21. Key words and phrases: Divisible groups, rank, isomorphism description, torsion units. I. Introduction Throughout the present paper, we assume that G is an abelian group with p component of torsion elements G p and psocle G [ p ] and that R is a commutative ring with identity (often called a commutative unitary ring ) of prime charac teristic p with the ideal of nilpotent elements N ( R ) and with maximal perfect (often termed maximal divisible ) subring dR . For such R and G , where G is written multiplicatively as it is customary when dealing with group rings, RG denotes the group algebra of G over R with the normalized group V ( RG ) of invertible elements in RG (often named as normalized units ) and its subgroup of ptorsion elements S ( RG ). For a subgroup H of G , I ( RG ; H ) denotes the relative augmentation ideal of RG with respect to H . When H G p , we denote by S ( RG ; H ) the sum 1+ I ( RG ; H ); clearly, S ( RG ; H ) is a subgroup of S ( RG ) and S ( RG ) = S ( RG ; G ) when G = G p . All other notions as well as the notation are standard and follow essentially those from the existing literature with the exception of dG which means the maximal divisible subgroup of G and G * the maximal pdivisible subgroup of G . The isomorphism classification of the maximal divisible subgroup dS ( RG ) of S ( RG ) was started by MollovNachev in [13] when G is a pgroup, and independently by Mollov in [9] when R is a field. Later, Nachev generalized in [10] and [11] these results to arbitrary abelian groups and arbitrary commutative unitary rings of prime characteristic. Concerning the mixed and torsion cases, we classify in [4] and [6] dV ( RG ) up to isomorphism assuming that either G is pmixed and R is a field, or G is a special torsion group and R is a special decomposable or indecomposable ISSN 1072947X / $8.00 / c Heldermann Verlag www.heldermann.de 50 P. DANCHEV ring, respectively; it is noteworthy that the first result for pmixed groups was slightly extended by Kuneva [8] to an indecomposable ring R ....
View Full
Document
 Winter '11
 PhanThuongCang

Click to edit the document details