CC BY
10
Владикавказский математический журнал апрель-июнь, 2007, Том 9, Выпуск 2
UDC 512.742
ON A DECOMPOSITION EQUALITY IN MODULAR GROUP RINGS
P. V. Danchev
Let G be an abelian group such that A < G with p-component Ap and B < G, and let R be a commutative ring with 1 of prime characteristic p with nil-radical N(R). It is proved that if Ap % Bp or N(R) = 0, then S(RG) = S(RA)(1 + Ip(RG; B)) ^^ G = AB and Gp = APBP. In particular, if Ap = 1 or N(R) = 0, then S(RG) = S(RA) x (1 + Ip(RG; B)) ^^ G = A x B. So, the question concerning the validity of this formula is completely exhausted. The main statement encompasses both the results of this type established by the author in (Hokkaido Math. J., 2000) and (Miskolc Math. Notes, 2005). We also point out and eliminate in a concrete situation an error in the proof of a statement due to T. Zh. Mollov on a decomposition formula in commutative modular group rings (Proceedings of the Plovdiv University-Math., 1973).
Mathematics Subject Classification (2000): 16S34, 16U60, 20K10, 20K21. Key words: direct factors, decompositions, normed unit groups, homomorphisms.
1. Introduction
Traditionally, suppose RG is the group ring (often regarded as an R-algebra) of an abelian group G over a commutative ring with identity of prime characteristic, for instance, p. As usual, V(RG) denotes the group of normalized units in RG, and S(RG) is its Sylow p-component. For any subgroup C of G, the symbol I (RG; C) will designate the relative augmentation ideal of RG with respect to C, and Ip(RG; C) designates its nil-radical.
For an abelian group G, the letter Gp will denote its p-torsion part and for a commutative unitary ring R, the letter N(R) denotes its nil-radical.
In a series of our investigations (e. g. [1-4, 6, 7]), we study how the direct decomposition of G can be translated on S(RG); another treatment but of Gp was demonstrated in [5].
In [9] we generalized the foregoing results of this direction by considering an ordinary, not necessarily direct, decomposition and by exploring how such a decomposing of S(RG) implies a corresponding one of G and Gp.
The aim of this article is to strengthen the aforementioned results from [9] and to settle completely the existence of such a decomposition formula for S(RG). In doing that, we use some helpful facts that are of independent interest as well.
In closing, we correct a proof by Mollov [11] in a rather special case. The generalized version is wide-open yet. Likewise, we demonstrate that some assertions from [13] are not original and can be simplified in a more convenient form not as they stand.
© 2007 Danchev P. V.
2. Direct Factors and Decompositions in Modular Abelian Group Rings
Our point of departure here is to proceed by proving the following two main assertions, motivated the writing up of the paper presented.
Theorem (Decomposition). Suppose G is an abelian group with proper subgroups A and B, and suppose R is a commutative ring with unity of prime characteristic p. If Ap £ Bp or N(R) = 0, then the following equivalence holds:
S(RG) = S(RA)(1 + Ip(RG;B)) ^ G = AB and Gp = ApBv. (1)
As an immediate consequence, we obtain the following.
Corollary (Direct Decomposition). Suppose that G is an abelian group with proper subgroups A and B, and suppose that R is a commutative ring with unity of prime characteristic p. If Ap = 1 or N(R) = 0, then the following relationship is fulfilled:
S(RG) = S(RA) x (1 + Ip(RG; B)) ^ G = A x B. (2)
Before starting with the detailed proofs, we give a brief comment. As indicated in [9], the report [12] was false. The incorrectness arises from the fact that Mollov [12], without any concrete arguments, said that our proof of a statement from [1] is incorrect. In [9] we have shown that the Mollov's sentence is really inadequate. In this work we once again illustrate this. To avoid such purported reviewer's reports in the future, we shortly represent some trivial, but crucial, facts concerning the inner construction of the basis group members from the canonical record of any element of the group algebra.
If rigi + .. .+rtgt £ S(RG) is in canonical form, then there is an index, say j, 1 ^ j ^ t £ N, such that gj £ Gp. Besides, if fibi +... + fs bs £ 1 +1 (RG; B) is in canonical form, then there exists an index, say i, 1 ^ i ^ s £ N, so that bi £ B.
However, unfortunately, even when fibi + ... + fsbs £ 1 + Ip(RG; B), for all i £ [1, s] the relation bi £ Bp may occur. For example, such is the element 1 + (1 — gp)(b — 1) = gp — gpb + b where gp £ Gp \ Bp and b £ B \ Bp.
Now, we have at our disposal all the information necessary for
< Proof of the Theorem. What we need to argue is that G = AB holds under the additional restrictions that Ap £ Bp or N(R) = 0, because the other ratio Gp = ApBp plus the converse part half were done in [9].
In order to do this, we first presume that Ap £ Bp. In the case when G = Gp everything is made. Henceforth, G = Gp and there exist g £ G \ Gp and gp £ Ap \ B. We easily see that 1 + g — ggp = 1 + g(1 — gp) £ S(RG) is in canonical type. Furthermore, we write 1+g — ggp — (riai +... + nat) = fibi +... + fsbs £ Ip(RG; B) where riai +...+rtat £ S(RA). Since by what we have already shown in [9], gp £ ApBp (even gp £ AB is completely enough), via the previous commentary it is only a technical matter to detect by comparing the canonical forms of the left and the right hand-sides that g £ AB, as required.
In the situation when (Gp = 1 but) N(R) = 0, we construct the element 1 + r(1 — g) where r £ N(R) \ {0} and g £ G \ {1}. Observe that 1 + r — rg is in canonical type. Then the same argument applies to this element to infer once again that g £ AB.
Combining these two derivations, we conclude that G = AB, as expected.
We also wish to give two new independent confirmations of the implication that S(RG) = S(RA)(1 + Ip(RG; B)) forces Gp = ApBp, the first of which is similar to the presented above, but requires the extra limitation that N (R) = 0 which insures that S(RG) = 1 + I (RG; Gp) and S (RA) = 1 + I (RA; Ap).
In fact, for each gp £ Gp C S(RG) we can analogously write as above that gp(riai + ... + rtat) = /161 + ... + /t6t £ 1 + Ip(RG; B). By comparison of the two canonical forms we have gpOj = 6j V j: 1 ^ j ^ t. Since t is always an odd natural number, multiplying all equalities in a way so that 6fc-i&-1 £ B and 6;—16—1 £ Ap for all appropriate chosen indices £ [1,t] and taking into account the preliminary discussion alluded to above, it is simple to check that gp £ ApBp. Therefore, Gp = ApBp, as promised.
Next, we shall continue with the second smooth verification of the implication mentioned; here the condition N(R) =0 is not necessary. This method is universal and can be successfully employed even to prove that S(RG) = S(RA)(1 + Ip(RG; B)) implies G = AB whenever Ap C Bp or N(R) = 0; see, for example, the Claim stated below. And so, consider the natural map 0 : G ^ G/B and its induced restrictions 0gp : Gp ^ GpB/B and 0a: A ^ AB/B. The first one can be linearly extended to $: RG ^ R(G/B) with kernel I (RG; B). Thus $: S(RG) ^ S(R(G/B)) and $: S(RA) ^ S(R(AB/B)). Next, bearing $ in both sides of gp £ S(RG) = S(RA)(1 + Ip(RG; B)), we have that gpB = ra*B since $(1 +
Ip(RG; B)) C $(1 + I (RG; B)) = 1. The key moment here is that 0: Ap ^ ApB/B and thereby $: S(RAp) ^ S(R(ApB/B)). Thus, in view of the preliminary comments, the writing of£n=1 r«a«B in canonical form yields that gpB = amB for some index m, 1 ^ m ^ n such that rm = 1 and such that am £ ApB. That is why gp £ ApB, i. e. gp £ ApBp. Consequently, Gp = ApBp, as claimed and we are finished.
If now 1 + g — ggp is the already constructed above element from S(RG), the action of $ gives that B + gB — ggpB = u^B + ... + usasB for some m,..., us £ R and 01,..., as £ A. This equality obviously allows us to conclude that g £ AB as required. >
Remark. If Ap C Bp = Gp and N(R) = 0, the theorem is no longer true. Indeed, S (RA) = 1 + I (RA; Ap) C 1 + I (RG; Bp) C 1 + Ip(RG; B) and S (RG) = 1 + I (RG; Gp) = 1 + I (RG; Bp) = 1 + Ip(RG; B) = S(RA)(1 + Ip (RG; B)) without G = AB.
The following technicality is listed only for the convenience of the reader.
Lemma [8, Lemma 1]. Let C ^ G be an abelian group and R a commutative ring with identity of prime char(R) = p. Then
Ip(RG; C) = 0 ^ a) Gp = 1, N(R) = 0, C = 1; 6) C = 1, N(R) = 0.
Now, we are ready with
< Proof of the Corollary. With point (1) in hand, what suffices to show is that A n B = 1. In fact, referring to the second dependence of Lemma (Intersection) from [3], we establish that S(RA) n (1 + Ip(RG; B)) = 1 + Ip(RA; A n B). Thus Ip(RA; A n B) = 0 and since either Ap = 1 or N(R) = 0, we deduce by the foregoing Lemma that A n B = 1, as wanted. On the other hand, the identity Gp = Ap x Bp is a plain consequence of G = A x B, hence it may be dropped off. >
Before examining the special direct decompositions in V(RG), it will be convenient to recollect some facts about certain direct decompositions of subgroups in S(RG), and to quote an easy technical claim for later use.
Firstly, we notice the well-known classical fact mainly due to May that V(RG) = GS(RG), whenever G is a p-mixed abelian group (that is the only torsion is p-torsion) and R is a commutative unital ring without nontrivial idempotents (in particular, without nontrivial zero divisors) of char(R) = p.
Is is worthwhile noticing that the following lemma is already derived as a consequence of our main result (see, e. g., Corollary (Direct Decomposition)).
Lemma [3]. Given that G = A x B is an abelian group and R is a commutative ring with identity of prime char(R) = p. Then
S(RG) = S(RA) x (1 + IP(RG; B)).
We now list two inclusions which allow one to discover the intersection between certain components of a product in V(RG).
Lemma [10]. Assume that G is an abelian group with A ^ G and B ^ G and that R is a commutative ring with identity of prime char(R) = p. Then
(B n A)(1 + I(RA; A n B)) D [B(1 + IP(RG; B))] n V(RA) D (B n A)(1 + IP(RA; A n B)).
We are now able to state and attack the following.
Proposition. Let G be a p-mixed abelian group and R a commutative ring with 1 with no nontrivial idempotent elements of char(R) = p. Then
V(RG) = V(RA) x [B(1 + Ip(RG; B))] ^ G = A x B.
< Foremost, we deal with the sufficiency and so we may apply the first Lemma to get that S(RG) = S(RA) x (1 + Ip(RG; B)). But by the observation preceding this Lemma, we find that V(RG) = GS(RG) and by symmetry V(RA) = AS(RA). Knowing this, it is now an elementary exercise to demonstrate that V(RG) = V(RA)[B(1 + Ip(RG; B))]. With the aid of the second Lemma we are in position to check that V(RA) n [B(1 + Ip(RG; B))] = 1. Indeed, since A n B = 1, we derive at once that this holds true. So, the desired decomposition now follows and thereby we are finished.
As for the necessity, it is simple observed that A n B C V(RA) n [B(1 + Ip(RG; B))] = 1, whence A n B = 1. Moreover, since each element of 1 + Ip(RG; B) contains in its support an element from B, it is a plain technical exercise to see that the given direct decomposition for V(RG) implies a decomposition for its subgroup G. >
Remark. The crux of that decomposing problem in the general case, namely provided that G is not p-mixed, is whether among the subgroups of V(RG) there exist appropriate members so that they are in interrelation with GS(RG) or its sections.
We close with the correction of a big flaw in the proof of Mollov [11, Theorem 2] who has proposed the following assertion-[sic]:
Proposition (Mollov, 1973). Let H be a subgroup of the abelian p-group G and L a commutative ring with 1 of prime characteristic p. The subgroup S(LH) is a direct factor of the group S(LG) ^^ the subgroup H is a direct factor of the group G.
Unfortunately, as was already noted in [5], the Mollov's proof of the necessity is wrong and contains a simple mistake. In fact, he wrote: «Suppose S(LG) = S(LH) x Q and G n Q = B. Then H n B = 1. If g £ G, the given above direct decomposition for S(LG) implies g = Ei aihi)(J2j fljbj), where hi £ H, hence g = ahb = 1hb, where h £ H and b £ G (our commentary: g = hb is always true for some h £ H and b £ G which is a clear fact since g = h.(h-lg)). Because g £ S(LG) and h £ S(LH), it follows that b £ Q (our commentary: this is the main defect in the Mollov's conclusion), whence b £ B. Therefore G = HB and G = H x B».
We observe as in [5] that the Direct Factor Conjecture, which says that the abelian p-group G is a direct factor of the group S(LG) of normalized units in the commutative group ring LG of prime characteristic p, settles the part of «necessity» of the Mollov's affirmation. However,
this conjecture is still in question, but nevertheless in some concrete cases we can obtain a particular confirmation provided that the complementary factor Q is explicitly described. For instance, Q = 1 + I(LG; C) whenever C ^ G is p-primary.
In the next lines we give a simpler proof of the incorrect part in this special variant than the proofs in [1, 2, 4, 6], where the attainment below was used intensively many times.
Claim. Assume L is a commutative unitary ring and G is an abelian group with M ^ G and C < G. Then
V(LG) = V(LM) x [(1 + I(LG; C)) n V(LG)] ^ G = M x C.
< Consider the natural map 0 : G ^ G/C. It is well-known that it may be linearly extended to a group homomorphism $: V (LG) ^ V (L(G/C)) with kernel (1 + I (LG; C)) n
V (LG). Thus $([1 +1 (LG; C)] n V (LG)) = 1 and $(V (LM)) C V (L(MC/C)). Furthermore, if g lies in G then by assumption g belongs to V (LM )([1 +1 (LG; C)] n V (LG)) and by taking $ in both sides, we deduce gC = ^j rj(mjC) where rj £ L and mi £ C. Consequently, the canonical record implies that gC £ (MC)/C whence g £ MC. Finally, this yields that G = MC.
Moreover, M n C C V (LM) n ([1 +1 (LG; C)] n V (LG)) = 1, hence G = M x C as asserted, and so we are done. >
It is also noteworthy that Lemmas 5.2, 5.3 and 5.4 as well as Propositions 5.5 and 5.7 from [13] are well-known classical facts. Moreover, their formulation can be simplified. Indeed, Proposition 5.5 claims that if G = A x Gp with char(R) = p, then S(RG) = [1 + N(R).I(RA; A)] x (1 + I(RG; Gp)). The proof in [13] is too long and unnecessary in-tricated. It follows easily like this: It is well-known that S(RG) = S(RA) x (1 + I(RG; Gp)). But it is a folklore fact that S(RA) can be generally represented as S(RA) = (1 + I(RA; Ap)) x M[N(R); n(A/Ap)], where M[N(R); n(A/Ap)] = {1 + £aen{A/AP) ^ - 1)|ra £ N(R)} C 1 + N(R).I(RA; A) = 1 + I(N(R)A; A) C S(RA) with f](A/Ap) a complete set of representatives of A with respect to Ap containing the identity element of A. Hence S(RA) = M[N(R); n(A/{1})] since Ap = 1. That is why, it is clear that the last inclusion is tantamount to the equality S(RA) = 1 + N(R).I(RA; A) and the claim sustained.
On the other hand, Proposition 5.7 asserts that if R is indecomposable of char(R) = p and G is p-mixed such that G = F x Gp, then V(RG) = (G/Gp) x S(RG). Again the proof in [13] is complicated and can be simplified as follows: It is well-known that V(RG) =
V (RF) x (1 +1 (RG; Gp)) and hence S (RG) = S (RF) x (1 +1 (RG; Gp)). But it is readily seen that V(RF) = S(RF) x F because V((R/N(R))F) = F since R/N(r) is indecomposable reduced (a classical result for trivial units in commutative group rings due to Karpilovsky). Finally, combining these identities, we infer that V(RG) = F x S(RG) = (G/Gp) x S(RG), as stated.
Besides, we would like to emphasize that there is no a novelty in the approach used in [13]; only the idea from our paper in Glasgow Math. J. (2001) is imitated, although that this paper is not cited there.
References
1. Danchev P. Isomorphism of modular group algebras of direct sums of torsion-complete abelian p-groups // Rend. Sem. Mat. Univ. Padova.—1999.—V. 101.—P. 51-58.
2. Danchev P. The splitting problem and the direct factor problem in modular abelian group algebras // Math. Balkanica.—2000.—V. 14, № 3/4.—P. 217-226.
3. Danchev P. Modular group algebras of coproducts of countable abelian groups // Hokkaido Math. J.—2000.—V. 29, № 2.—P. 255-262.
4. Danchev P. Commutative group algebras of cardinality Ni // Southeast Asian Bull. Math.—2001/2002.— V. 25, № 4.—P. 589-598.
5. Danchev P. The direct factor problem for modular group algebras of isolated direct sums of torsion-complete abelian p-groups // Southeast Asian Bull. Math.—2002.—V. 26, № 4.—P. 559-565.
6. Danchev P. Commutative group algebras of direct sums of a-summable abelian p-groups // Math. J. Okayama Univ.—2003.—V. 45, № 2.—P. 1-15.
7. Danchev P. Commutative group algebras of direct sums of countable abelian groups // Kyungpook Math. J.—2004.—V. 44, № 1.—P. 21-29.
8. Danchev P. Algebraically compactness of Sylow p-groups in abelian group rings of characteristic p // Riv. Mat. Univ. Parma.—2004.—V. 3.—P. 61-67.
9. Danchev P. On a decomposition formula in commutative group rings // Miskolc Math. Notes.—2005.— V. 6, № 2.—P. 153-159.
10. Danchev P. Basic subgroups in modular abelian group algebras // Czechoslovak Math. J.—2007.—V. 57, № 1.—P. 173-182.
11. Mollov T. Zh. Pure subgroups and a separation of direct factors in the unit group of modular group algebras of abelian p-groups // N. tr. Plovdiv Univ.-Math.—1973.—V. 11, № 1.—P. 9-15.—In Bulgarian.
12. Mollov T. Zh. Zbl. Math. 959: 20003.
13. Mollov T. Zh., Nachev N. A. Unit groups of commutative group rings // Comm. Alg.—2006.—V. 34, № 10.—P. 3835-3857.
Received July 3, 2006.
Dr. Danchev Peter. V.
Plovdiv State University «Paissii Hilendarski»,
Plovdiv, 4003, BULGARIA
E-mail: [email protected]
