Normality in group rings

Two questions on semi-clean group rings

A commutative ring R is called J-rad clean in case, for any r ∈ R, there is an idempotent e ∈ R such that r−e ∈ U(R) and re ∈ J(R), where U(R) and J(R) denote the set of units and the Jacobson radical of R, respectively. Also, a ring R is called semiregular if R/J(R) is regular in the sense of von Neumann and idempotents lift modulo J(R). We demonstrate that these two concepts are, actually, equivalent and we portray a portion of the properties of this class of rings. In particular, as a direct application, we prove that the commutative group ring RG is J-rad clean if, and only if, R is a commutative J-rad clean ring and G is a torsion abelian group, provided that J(R) is nil.

Let B be any nite commutative ring with identity. In this case, B(X; 1 p kZ0) B(X; 1 p 2Z0) B(X; 1 p Z0), where p is a prime number and k 1, is the descending chain of commutative semigroup rings. All these semigroup rings are containing the polynomial ring B(X;Z0). In this paper, we introduced a construction technique of cyclic codes through the semi- group ring B(X; 1 p kZ0) instead of a polynomial ring.

Let G be an abelian group, R a commutative ring of prime characteristic p with identity and R t G a commutative twisted group ring of G over R. Suppose p is a fixed prime, G p and S(R t G) are the p-components of G and of the unit group U(R t G) of R t G, respectively. Let R* be the multiplicative group of R and let f α(S) be the α-th Ulm-Kaplansky invariant of S(R t G) where α is any ordinal. In the paper the invariants f n (S), n ∈ ℕ ∪ {0}, are calculated, provided G p = 1. Further, a commutative ring R with identity of prime characteristic p is said to be multiplicatively p-perfect if (R*)p = R*. For these rings the invariants f α(S) are calculated for any ordinal α and a description, up to an isomorphism, of the maximal divisible subgroup of S(R t G) is given.

Let G be an abelian group and let R be a commutative ring with identity. Denote by R t G a commutative twisted group algebra (a commutative twisted group ring) of G over R, by ℬ(R) and ℬ(R t G) the nil radicals of R and R t G, respectively, by G p the p-component of G and by G 0 the torsion subgroup of G. We prove that: i. If R is a ring of prime characteristic p, the multiplicative group R* of R is p-divisible and ℬ(R) = 0, then there exists a twisted group algebra R t 1 (G/G p ) such that R t G/ℬ(R t G) ≅ R t 1 (G/G p ) as R-algebras; ii. If R is a ring of prime characterisitic p and R* is p-divisible, then ℬ(R t G) = 0 if and only if ℬ(R) = 0 and G p = 1; and iii. If B(R) = 0, the orders of the elements of G 0 are not zero divisors in R, H is any group and the commutative twisted group algebra R t G is isomorphic as R-algebra to some twisted group algebra R t 1 H, then R t G 0 ≅ R t 1 H 0 as R-algebras.

In this paper some conditions for a skew group ring or a crossed product to have finite weak global dimension are given.Using these results we obtain some necessary conditions and some sufficient conditions for a skew group ring or a crossed product to be a Dubrovin valuation ring.If R*G is a skew group ring, where the coefficient ring R is a commutative ring and G is a finite group, then we prove that the conditions we obtained become necessary and sufficient conditions.In particular, if R is a commutative valuation ring, then R*G is a Dubrovin valuation ring if and only if G T=<1>,where G T is the inertial group of R.

Let RG denote the group ring of a group G over a commutative ring with unity R. Given a homomorphism σ:G → {± 1} and an involution ϕ of the group G, an oriented invoultion σϕ of RG is defined in a natural way. We characterize when the set of symmetric elements under this involution is a subring. This gives a unified setting for earlier work of several authors.

Let R be a ring with identity of characteristic two and G a nontrivial torsion group. We show that if the units in the group ring $RG$ are all trivial, then G must be cyclic of order two or three. We also consider the case where R is a commutative ring with identity of odd prime characteristic and G is a nontrivial locally finite group. We show that in this case, if the units in $RG$ are all trivial, then G must be cyclic of order two. These results improve on a result of Herman et al. [‘Trivial units for group rings with G-adapted coefficient rings’, Canad. Math. Bull.48(1) (2005), 80–89].

Commutative weakly nil clean unital rings

Let S be a cancellative monoid with quotient group of torsion-free rank a.We show that the monoid ring R[S] is a Hilbert ring if and only if the polynomial ring R[{ X, },s/] is a Hilbert ring, where |/| = a.Assume that R is a commutative unitary ring and G is an abelian group.The first research problem listed in [K, Chapter 7] is that of determining equivalent conditions in order that the group ring R[G] should be a Hilbert ring.Matsuda has considered this question in [Ml, 6].His results show that for G finitely generated, R[G] and R are simultaneously Hilbert rings; if G is not finitely generated, then R[G] a Hilbert ring implies that R is a Hilbert ring, but the converse fails.In [M2, 5] Matsuda considers briefly the corresponding Hilbert-ring-characterization problem for a monoid ring R[S], where S is torsion-free and cancellative.Let a be the torsion-free rank of G and let {Xj)lsl be a set of indeterminates over R of cardinality a.In Corollary 1 we show that R[G] and P[{^,},e/] are simultaneously Hilbert rings.While the problem of determining equivalent conditions for P[{Ar,}/e/] to be a Hilbert ring has not been completely resolved, it has been worked on extensively [Kr, Go, L, Gl, H], and a significant body of positive results exists concerning this problem.The proof of Theorem 1 suggests the following conjecture: if S is a cancellative commutative monoid with quotient group G, then R[S] is a Hilbert ring if and only if R[G] is a Hilbert ring; this result is established in Theorem 2.All monoids considered are assumed to be commutative, and rings are assumed to be commutative and unitary.The statement of Theorem 1 uses the following terminology.For a cardinal number a, an extension ring T of R is said to be a-generated over R if T is generated over R by a set of cardinality at most a.Theorem 1. Assume that X = {XA is a set of indeterminates of cardinality a over the ring R. Denote by Za the direct sum of a copies of the additive group Z of integers.The following conditions are equivalent.(1) R[X] is not a Hilbert ring.(2) There exists a prime ideal P of R such that R/P admits an a-generated extension ring that is a G-domain, but not afield.(3) The group ring R[Za] is not a Hilbert ring._

The Grothendieck ring of a finite group

Let RG be the group ring of a finite group G over a commutative ring R with 1. An element x in RG is said to be skew-symmetric with respect to an involution $$\sigma $$ of RG if $$\sigma (x)=-x.$$ A structure theorem for the Lie algebra of skew-symmetric elements of FG is given where F is an algebraic extension of $$\mathbb {Q}$$ which generalizes some previously known results in this direction.

We explain a new relationship between formal group laws and ring spectra in\nstable homotopy theory. We study a ring spectrum denoted DB which depends on a\ncommutative ring B and is closely related to the topological Andre-Quillen\nhomology of B. We present an explicit construction which to every 1-dimensional\nand commutative formal group law F over B associates a morphism of ring spectra\nF_*: HZ --&gt; DB from the Eilenberg-MacLane ring spectrum of the integers. We\nshow that formal group laws account for all such ring spectrum maps, and we\nidentify the space of ring spectrum maps between HZ and DB. That description\ninvolves formal group law data and the homotopy units of the ring spectrum DB.\n

In this paper we give a detailed exposition of some of the results announced in [18]. The primary motivation for this work is Witt's observation [31, Satz 7] that if F is a field of characteristic #72, his ring 1V(F) of classes of anisotropic quadratic forms may be written as Z[G]/K where G is an abelian group of exponent two (actually G =F*/F*2), Z[G] is the integral group ring of G, and K is an ideal of Z[G] generated by elements of the form gl + g2-g3g4 and 1 + g5 with gi in G. Of course these elements can be described more explicitly, but for our purposes the only information we need about K is that any homomorphism of Z[G] -> Z sends K to 0 or to an ideal of the form 2nZ. In this introduction we shall call any ideal of Z[G] with this property admissible. In [26], Pfister proved certain structure theorems for IV(F) usilg his theory of multiplicative forms. His proofs were simplified in [11, 22, 23, 29, 30]. Harrison [11] and Leicht and Lorenz [22] gave important complements to Pfister's results concerning the ideal theory of WV(F). The main goal of our paper is to understand and generalize these structure theorems using standard techniques of commutative algebra. In [28] and [3], Scharlau and Belskii have introduced and studied Witt and Witt-Grothendieck rings for profinite groups. Their definitions generalize the usual notions of Wit.t rings, WV(F), and Witt-Grothendieck rings, K (F), of quadratic forms over fields of characteristic #72. These rings also have the form Z[G]/K with G an abelian group of exponent two and K an admissible ideal of Z[G]. Here we are mainly iinterested in another generalization of 1V(F) and K(F), namely the Witt rings, IV(C, J), and the Witt-Grothendieck rings, K(C,J) of classes of hermitian forms over a connected commutative semilocal ring C with involution J. Since J may be the identity these include the Witt and Witt-Grothendieck rings of classes of symmetric bilinear forms

We calculate, only in terms of a commutative unital ring R of prime characteristic p and an abelian p-mixed group G, the classical Warfield q-invariants Wα,q(VR(G)) of the group VR(G) of all normalized units in the group ring R(G). This continues our results in (Extr. Math., 2005), (Collect. Math., 2008) and (J. Alg. Appl., 2008).