Let $RG$ be the gruop ring of the group $G$ over ring $R$ and $\mathscr{U}(RG)$ be its unit group. Finding the structure of the unit group of a finite group ring is an old topic in ring theory. In, G. Tang et al: Unit Groups of Group Algebras of Some Small Groups. Czech. Math. J. 64 (2014), 149--157, the structure of the unit group of the group ring of the non abelian group $G$ with order $21$ over any finite field of characteristic 3 was established. In this paper, we are going to generalize their result to any non abelian group $G=T_{3m}$, where $T_{3m} = \langle x,y\,|\,x^m=y^3=1,\,x^y=x^t\rangle$.
Given an extension $R \subseteq S$ of rings with same set of local units, inspired by the works of Miyashita, we construct four exact sequences of groups relating Picard's groups of $R$ and $S$.
We show that the units found in torsion-free group rings by Gardam are twisted unitary elements. This justifies some choices in Gardam's construction that might have appeared arbitrary, and yields more examples of units. We note that all units found up to date exhibit non-trivial symmetry.
Using the Luthar--Passi method, we investigate the possible orders and partial augmentations of torsion units of the normalized unit group of integral group rings of Conway simple groups $Co_1$, $Co_2$ and $Co_3$.
The aim of this article is to draw attention towards various natural but unanswered questions related to the lower central series of the unit group of an integral group ring.
In this paper, we study the question of when the symmetric units in an integral group ring ZG form a multiplicative group. When G is periodic, necessary and sufficient conditions are given for this to occur.
Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of integral group rings of Janko sporadic simple groups. As a consequence, we obtain that the Gruenberg-Kegel graph of the Janko groups $J_1$, $J_2$ and $J_3$ is the same as that of the normalized unit group of their respective integral group ring.
Using the Luthar-Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Higman-Sims simple sporadic group HS. As a consequence, we confirm the Kimmerle's conjecture on prime graphs for this sporadic group.
We investigate the possible character values of torsion units of the normalized unit group of the integral group ring of Mathieu sporadic group $M_{22}$. We confirm the Kimmerle conjecture on prime graphs for this group and specify the partial augmentations for possible counterexamples to the stronger Zassenhaus conjecture.
We classify the finite groups $G$ such that the group of units of the integral group ring ${\mathbb Z} G$ has a subgroup of finite index which is a direct product of free-by-free groups.
We introduce structure theorems for the study of the unit conjecture for supersoluble group rings and apply our results to the (Passman) fours group G. We show that over any field K, the group algebra KG has no non-trivial units of length at most 3, and find that the Promislow set can never be the support of a unit in KG. We conclude our work with an introduction to the theory of "consistent chains" toward a preliminary analysis of units of higher length in KG.
We gather some classical results and examples that show strict inclusion between the families of unital rings, rings with enough idempotents, rings with sets of local units, locally unital rings, s-unital rings and idempotent rings.
The unit conjecture, commonly attributed to Kaplansky, predicts that if $K$ is a field and $G$ is a torsion-free group then the only units of the group ring $K[G]$ are the trivial units, that is, the non-zero scalar multiples of group elements. We give a concrete counterexample to this conjecture; the group is virtually abelian and the field is order two.
Let U be the group of units of an infinite twisted group algebra K_λG over a field K. We describe the maximal FC-subgroup of U and give a characterization of U with finitely conjugacy classes. In the case of group algebras we obtain the Cliff-Sehgal-Zassenhaus' theorem.
Let $G$ denote the projective special linear group $\text{PSL}(2,q)$, for a prime power $q$. It is shown that a finite 2-subgroup of the group $V(\mathbb{Z}G)$ of augmentation 1 units in the integral group ring $\mathbb{Z}G$ of $G$ is isomorphic to a subgroup of $G$. Furthermore, it is shown that a composition factor of a finite subgroup of $V(\mathbb{Z}G)$ is isomorphic to a subgroup of $G$.
For any ring \(R\), some characterizations are obtained for unit regular elements in a corner ring \(eRe\) in terms of unit regular elements in \(R\). \noindent {\bf Key Words}: von Neumann regular rings, unit regular rings, corner rings, idempotents \noindent {\bf AMS Classification}: 16A30
We investigate the group of normalized units of the group algebra $\mathbb{Z}_{p^e}G$ of a finite abelian $p$-group $G$ over the ring $\mathbb{Z}_{p^e}$ of residues modulo $p^e$ with $e\geq 1$.
Extending the discovery by Giles Gardam of a concrete counterexample to Kaplansky's unit conjecture in characteristic 2, a family of counterexamples for every prime characteristic is presented.
Let $R$ be an associative ring with identity and let $N$ be a nil ideal of $R$. It is shown that units of $R/N$ can be lifted to units in $R$. Under some mild conditions on the ring, a procedure is given to determine those lifted units in a recursive way. As an application, the units of several classes of rings are determined, including: matrix rings, chain rings, and group rings where the ring is a chain ring. Numerical examples are given illustrating the main results.
In this paper, it is proved that the group generated by Bass units contains a subgroup of finite index in the group of central units $\mathcal{Z}(\mathcal{U}(\mathbb{Z}G))$ of the integral group ring $\mathbb{Z}G$ for a subgroup closed monomial group $G$ with the property that every cyclic subgroup of order not a divisor of $4$ or $6$ is subnormal in $G$. If $G$ is a generalized strongly monomial group, then it is shown that the group generated by generalized Bass units contains a subgroup of finite index in $\mathcal{Z}(\mathcal{U}(\mathbb{Z}G))$. Furthermore, for a generalized strongly monom…
A ring $R$ is a UU ring if every unit is unipotent, or equivalently if every unit is a sum of a nilpotent and an idempotent that commute. These rings have been investigated in Călugăreanu \cite{C} and in Danchev and Lam \cite{DL}. In this paper, two generalizations of UU rings are discussed. We study rings for which every unit is a sum of a nilpotent and an idempotent, and rings for which every unit is a sum of a nilpotent and two idempotents that commute with one another.
Let E be a graded division ring finite-dimensional over its center with torsion-free abelian grade group, and let q(E) be its quotient division ring. Let tau be a degree-preserving unitary involution on E. We prove that SK_1(E, tau) is isomorphic to SK_1(q(E), tau).
We study clean group rings and also the group rings whose every element is a sum of two units. We also prove that if R is an Abelian exchange ring and G is a locally finite group, then the group ring RG has stable range one.
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to consider non-unital groupoid graded rings of a particular type that we call object unital. We determine when such rings are strongly graded, crossed products, skew groupoid rings and twisted groupoid rings. We also obtain necessary and sufficient criteria for when object unital groupoid graded rings are separable over their principal component, thereby generalizi…
We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a bi-equivalence of bicategories. A base ring extension of corings by adjunctions is also introduced.
We define the concepts of weakly precious and precious rings which generalize the notions of weakly clean and nil-clean rings. We obtain some fundamental properties of these rings. We also obtain certain subclasses of such rings and then offer new kinds of weakly clean rings and nil-clean rings.
Recently, the author characterized all artinian square-free rings with identity. Here, those results are extended to the setting of rings with local units. We use this characterization of square-free rings to derive many results similar to the artinian case and to determine, in cohomological terms, exactly when a square-free ring has an associated square-free algebra structure.
Laszlo Fuchs posed the following problem in 1960, which remains open: classify the abelian groups occurring as the group of all units in a commutative ring. In this note, we provide an elementary solution to a simpler, related problem: find all cardinal numbers occurring as the cardinality of the group of all units in a commutative ring. As a by-product, we obtain a solution to Fuchs' problem for the class of finite abelian $p$-groups when $p$ is an odd prime.
In this note, we study the notion of purely infinite simple ring in the case of non-unital rings, and we obtain an analog to Zhang's Dichotomy for $σ$-unital purely infinite simple C*-algebras in the purely algebraic context.
The object of study in this paper is the finite groups whose integral group rings have only trivial central units. Prime-power groups and metacyclic groups with this property are characterized. Metacyclic groups are classified according to the central height of the unit groups of their integral group rings.
In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$
We offer two comments on the beautiful papers of Giles Gardam and Alan Murray that yield counterexamples to the Kaplansky unit conjecture. First we discuss the determinants of these units in a certain $4\times 4$ matrix representation of the group ring. Then we explain why there is a doubly infinite family of units in the Murray paper.
Let $R$ be a finite unitary ring such that $R=R_0[R^*]$ where $R_0$ is the prime ring and $R^*$ is not a nilpotent group. We show that if all proper subgroups of $R^*$ are nilpotent groups, then the cardinal of $R$ is a power of prime number 2. In addition, if $(R/Jac(R))^*$ is not a $p-$group, then either $R\cong M_2(GF(2))$ or $R\cong M_2(GF(2))\oplus A$ where $M_2(GF(2))$ is the ring of $2\times 2$ matrices over the finite field $GF(2)$ and $A$ is a direct sum of finite field $GF(2)$.
We show that for every prime $r$ all $r$-subgroups in the normalized units of the integral group ring of $\operatorname{PSL}(2,p^3)$ are isomorphic to subgroups of $\operatorname{PSL}(2,p^3)$. This answers a question of M. Hertweck, C.R. Höfert and W. Kimmerle for this series of groups.
We investigate near-ring properties that generalize nearfield properties about units. We study zero symmetric near-rings $N$ with identity with two interrelated properties: the units with zero form an additive subgroup of $(N,+)$; the units act without fixedpoints on $(N,+)$. There are many similarities between these cases, but also many differences. Rings with these properties are fields, near-rings allow more possibilities, which are investigated. Descriptions of constructions are obtained and used to create examples showing the two properties are independent but related. Properties of the a…
Let R be a unitary ring of finite cardinality P^k, where p is a prime number and $p\nmid k$. We show that if the group of units of $R$ has at most one subgroup of order $p$, then $R\cong A\bigoplus B,$ where $B$ is a finite ring of order $k$ and $A$ is a ring of cardinality $p^β$ which is one of the six explicitly described types.
We discuss the projective line $\mathbb{P}(R)$ over a finite associative ring with unity. $\mathbb{P}(R)$ is naturally endowed with the symmetric and anti-reflexive relation "distant". We study the graph of this relation on $\mathbb{P}(R)$ and classify up to isomorphism all distant graphs $G(R, Δ)$ for rings $R$ up to order $p^5$, $p$ prime.
Let $D$ be a division ring infinite-dimensional over its center $k$ with multiplicative group $D^{\times}$. We show that if $D$ belongs to certain families, there exist free symmetric and unitary pairs in $D^{\times}$ with respect to a $k$-involution on $D$.
If $R$ is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) $R$ is unit-regular, (2) every factor ring of $R$ is directly finite, (3) the abelian group $K_0(R)$ is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right $R$-modules. For the class of semiartinian and unit-regular rings the canonical partial order of $K_0(R)$ is investigated and the directed abelian groups which are realizable as $K_0(R)$ of these rings are classified.
The augmentation powers in an integral group ring $\mathbb ZG$ induce a natural filtration of the unit group of $\mathbb ZG$ analogous to the filtration of the group $G$ given by its dimension series $\{D_n(G)\}_{n\ge 1}$. The purpose of the present article is to investigate this filtration, in particular, the triviality of its intersection.
In \cite[Problem 72]{Fuchs60} Fuchs asked the following question: which groups can be the group of units of a commutative ring? In the following years, some partial answers have been given to this question in particular cases. The aim of the present paper is to address Fuchs' question when $A$ is a {\it finite characteristic ring}. The result is a pretty good description of the groups which can occur as group of units in this case, equipped with examples showing that there are obstacles to a "short" complete classification. As a byproduct, we are able to classify all possible cardinalities of …
During the past three decades fundamental progress has been made on constructing large torsion-free subgroups (i.e. subgroups of finite index) of the unit group $\U (\Z G)$ of the integral group ring $\Z G$ of a finite group $G$. These constructions rely on explicit constructions of units in $\Z G$ and proofs of main results make use of the description of the Wedderburn components of the rational group algebra $\Q G$. The latter relies on explicit constructions of primitive central idempotents and the rational representations of $G$. It turns out that the existence of reduced two degree repres…
We use the theory of blocks of cyclic defect to prove that under a certain condition on the principal p-block of a finite group G the normalized unit group of the integral group ring of G contains an element of order pq if and only if so does G, for q a prime different from p. Using this we verify the Prime Graph Question for all alternating and symmetric groups and also for two sporadic simple groups.
It is shown that for any torsion unit of augmentation one in the integral group ring $\mathbb{Z} G$ of a finite solvable group $G$, there is an element of $G$ of the same order.
Let R be a commutative ring with unity and a let A be a not necessarily commutative R-algebra which is free as an R-module. If I is an ideal in A, one can ask when A/I is also free as an R-module. We show that if A has an admissible system and I has a unital Grobner basis then A/I is free as an R-module. We prove a version of Buchberger's theorem over R and, as a corollary, we obtain a Grobner basis proof of the Poincare-Birkhoff-Witt Theorem over a commutative ground ring.
We give a constructive proof of the theorem of Bass and Milnor saying that if $G$ is a finite abelian group then the Bass units of the integral group ring $\Z G$ generate a subgroup of finite index in its units group $\U(\Z G)$. Our proof provides algorithms to represent some units that contribute to only one simple component of $\Q G$ and generate a subgroup of finite index in $\U(\Z G)$ as product of Bass units. We also obtain a basis $B$ formed by Bass units of a free abelian subgroup of finite index in $\U(\Z G)$ and give, for an arbitrary Bass unit $b$, an algorithm to express $b^{φ(|G|)}…
A general method for constructing convolutional codes from units in Laurent series over matrix rings is presented. Using group ring as matrix rings, this forms a basis for in-depth exploration of convolutional codes from group ring encoding, wherein the ring in the group ring is itself a group ring. The method is used to algebraically construct series of convolutional codes. Algebraic methods are used to compute free distances and to construct convolutional codes to prescribed distances.
We describe an algorithm for obtaining generators of the unit group of the integral group ring ZG of a finite abelian group G. We used our implementation in Magma of this algorithm to compute the unit groups of ZG for G of order up to 110. In particular for those cases we obtained the index of the group of Hoechsmann units in the full unit group. At the end of the paper we describe an algorithm for the more general problem of finding generators of an arithmetic group corresponding to a diagonalizable algebraic group.
We construct an example of a unit-regular ring which is not strongly clean, answering an open question of Nicholson. We also characterize clean matrices with a zero column, and this allows us to describe an interesting connection between unit-regular elements and clean elements. It is also proven that given an element $a$ in a ring $R$, if $a,a^2,\ldots, a^k$ are all regular elements in $R$ (for some $k\geq 1$), then there exists $w\in R$ such that $a^{i}w^{i}a^{i}=a^{i}$ for $1\leq i\leq k$, and a similar statement holds for unit-regular elements. The paper ends with a large number of example…
