Let $G$ be a finite group and let $p$ be a prime. We continue the search for generic constructions of free products and free monoids in the unit group $\mathcal{U}(\mathbb{Z}G)$ of the integral group ring $\mathbb{Z}G$. For a nilpotent group $G$ with a non-central element $g$ of order $p$, explicit generic constructions are given of two periodic units $b_1$ and $b_2$ in $\mathcal{U}(\mathbb{Z}G)$ such that $\langle b_1 , b_2\rangle =\langle b_1\rangle \star \langle b_2 \rangle \cong \mathbb{Z}_p \star \mathbb{Z}_{p}$, a free product of two cyclic groups of prime order. Moreover, if $G$ is nilpotent of class $2$ and $g$ has order $p^n$, then also concrete generators for free products $\mathbb{Z}_{p^k} \star \mathbb{Z}_{p^m}$ are constructed (with $1\leq k,m\leq n $). As an application, for finite nilpotent groups, we obtain earlier results of Marciniak-Sehgal and Gon{ç}alves-Passman. Further, for an arbitrary finite group $G$ we give generic constructions of free monoids in $\mathcal{U}(\mathbb{Z}G)$ that generate an infinite solvable subgroup.
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.
We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the McLaughlin sporadic group McL. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs.
We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group $M_{24}$. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs.
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$.
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 Suzuki sporadic simple group Suz. As a consequence, for this group we confirm the Kimmerle's conjecture on prime graphs.
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.
Using the Luthar-Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Rudvalis sporadic simple group Ru. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs.
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 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 investigated the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the simple Mathieu group M11. As a consequence, for this group we confirm the conjecture by Kimmerle about prime graphs.
We give a list of finite groups containing all finite groups $G$ such that the group of units $\Z G^*$ of the integral group ring $\Z G$ is subgroup separable. There are only two types of these groups $G$ for which we cannot decide wether $ZG^*$ is subgroup separable, namely the central product $Q_8 Y D_8$ and $Q_8\times C_p{with} p \text{prime and} p\equiv -1 \mod (8)$.
For G = PSL(2,p^f) denote by ZG the integral group ring, by V(ZG) the group of normalized units of ZG and let r be a prime different from p. Using the so called HeLP-method we prove, that units of r-power order in V(ZG) are rationally conjugate to elements of G. As a consequence we prove, that subgroups of prime power order in V(ZG) are rationally conjugate to subgroups of G, provided p = 2 or f =1.
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$.
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$.
The prime graph question asks whether the Gruenberg-Kegel graph of an integral group ring $\mathbb Z G$ , i.e. the prime graph of the normalised unit group of $\mathbb Z G$ coincides with that one of the group $G$. In this note we prove for finite groups $G$ a reduction of the prime graph question to almost simple groups. We apply this reduction to finite groups $G$ whose order is divisible by at most three primes and show that the Gruenberg - Kegel graph of such groups coincides with the prime graph of $G$.
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.
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\…
It was conjectured by H. Zassenhaus that a torsion unit of an integral group ring of a finite group is conjugate to a group element within the rational group algebra. The object of this note is the computational aspect of a method developed by I.S. Luthar and I.B.S. Passi which sometimes permits an answer to this conjecture. We illustrate the method on certain explicit examples. We prove with additional arguments that the conjecture is valid for any 3-dimensional crystallographic point group. Finally we apply the method to generic character tables and establish a p-variation of the conjecture …
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.
The Prime Graph Question for integral group rings asks if it is true that if the normalized unit group of the integral group ring of a finite group $G$ contains an element of order $pq$, for some primes $p$ and $q$, also $G$ contains an element of that order. We answer this question for the three Conway sporadic simple groups after reducing it to a combinatorial question about Young tableaus and Littlewood-Richardson coefficients. This finishes work of V. Bovdi, A. Konovalov and S. Linton.
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 introduce the notion of the Frobenius-Perron dimension of an integral $\Bbb Z_+$-ring and give some applications of this notion to classification of finite dimensional quasi-Hopf algebras with a unique nontrivial simple module, and of quasi-Hopf and Hopf algebras of prime dimension $p$.
We prove that every non-finitely generated projective module over the integral group ring of a polycyclic-by-finite group G is free if and only if G is polycyclic.
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 calculus, an indefinite integral of a function $f$ is a differentiable function $F$ whose derivative is equal to $f$. In present paper, we generalize this notion of the indefinite integral from the ring of real functions to any ring. The main goal of the paper is to focus on the properties of such generalized integrals that are inherited from the well-known basic properties of indefinite integrals of real functions.
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.
We prove that the Zassenhaus conjecture is true for $PSL(2,8)$ and $PSL(2,17)$. This is a continuation of research initiated by W. Kimmerle, M. Hertweck and C. Höfert.
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 consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group M12. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs.
The Subgroup Isomorphism Problem for Integral Group Rings asks for which finite groups U it is true that if U is isomorphic to a subgroup of V(ZG), the group of normalized units of the integral group ring of the finite group G, it must be isomorphic to a subgroup of G. The smallest groups known not to satisfy this property are the counterexamples to the Isomorphism Problem constructed by M. Hertweck. However the only groups known to satisfy it are cyclic groups of prime power order and elementary-abelian p-groups of rank 2. We prove the Subgroup Isomorphism Problem for C_4 x C_2. Moreover we p…
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$.
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.
Let $p$ be a prime such that the multiplicative order $m$ of $2$ modulo $p$ is even. We prove that the integral group ring $\mathbb{Z}[Q_8 \times C_p]$ has the multiplicative Jordan decomposition property when $m$ is congruent to $2$ modulo $4$. There are infinitely many such primes and these primes include the case $p \equiv 3 \pmod{4}$. We also prove that $\mathbb{Z}[Q_8 \times C_5]$ has the multiplicative Jordan decomposition property in a new way.
It is shown that in the units of augmentation one of an integral group ring $\mathbb{Z} G$ of a finite group $G$, a noncyclic subgroup of order $p^{2}$, for some odd prime $p$, exists only if such a subgroup exists in $G$. The corresponding statement for $p=2$ holds by the Brauer--Suzuki theorem, as recently observed by W. Kimmerle.
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…
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.
In this paper we introduce new modules over the ring of ponderation functions, so we recover old results in harmonic analysis from the side of ring theory. Moreover, we prove that Laplace transform, Fourier transform and Hankel transform generate some kind of modules over the ring of ponderation functions.
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).
Let $D$ be a domain with fraction field $K$, and let $M_n(D)$ be the ring of $n \times n$ matrices with entries in $D$. The ring of integer-valued polynomials on the matrix ring $M_n(D)$, denoted ${\rm Int}_K(M_n(D))$, consists of those polynomials in $K[x]$ that map matrices in $M_n(D)$ back to $M_n(D)$ under evaluation. It has been known for some time that ${\rm Int}_{\mathbb{Q}}(M_n(\mathbb{Z}))$ is not integrally closed. However, it was only recently that an example of a polynomial in the integral closure of ${\rm Int}_{\mathbb{Q}}(M_n(\mathbb{Z}))$ but not in the ring itself appeared in t…
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 investigate the classical Zassenhaus conjecture for the unit group of the integral group ring of Mathieu simple group M23 using the Luthar-Passi method. This work is a continuation of the research that we carried out for Mathieu groups M11 and M12. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs.
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.
Let R be a Lie nilpotent algebra of index k over a field K of characteristic zero. If G is an n-element subgroup of Aut(R) of the K-automorphisms, then we prove that R is right integral over Fix(G) of degree n^k. In the presence of a primitive n-th root of unity e in K, for a K-automorphism d in Aut(R) with d^n=id, we prove that the skew polynomial algebra R[w,d] is right integral of degree n^k over Fix(d)[w^n].
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.
