Non-trivial units of complex group rings

Giles Gardam

2024-10-30

Abstract:The Kaplansky unit conjecture for group rings is false in characteristic zero.

Group Theory,Rings and Algebras

What problem does this paper attempt to address?

Units, zero-divisors and idempotents in rings graded by torsion-free groups

Johan Öinert

2023-07-20

Abstract:The three famous problems concerning units, zero-divisors and idempotents in group rings of torsion-free groups, commonly attributed to I. Kaplansky, have been around for more than 60 years and still remain open in characteristic zero. In this article, we introduce the corresponding problems in the considerably more general context of arbitrary rings graded by torsion-free groups. For natural reasons, we will restrict our attention to rings without non-trivial homogeneous zero-divisors with respect to the given grading. We provide a partial solution to the extended problems by solving them for rings graded by unique product groups. We also show that the extended problems exhibit the same (potential) hierarchy as the classical problems for group rings. Furthermore, a ring which is graded by an arbitrary torsion-free group is shown to be indecomposable, and to have no non-trivial central zero-divisor and no non-homogeneous central unit. We also present generalizations of the classical group ring conjectures.

Rings and Algebras
On the Cuspidal Cohomology of Arithmetic Groups

Jian-Shu Li,Joachim Schwermer

DOI: https://doi.org/10.1353/ajm.0.0073

IF: 1.835

2009-01-01

American Journal of Mathematics

Abstract:It is the main objective of this paper to show a vanishing result for cuspidal cohomology of arithmetic groups in classical groups~$G$ defined over some number field~$k$.Our approach relies on the fact that cuspidal automorphic forms are nonsingular in the sense of Howe. This result puts a strong constraint on the (archimedean components of) irreducible cuspidal automorphic representations of $G$that can possibly contribute to the cuspidal cohomology. Combining this with the classification of Vogan-Zuckerman of unitary representations with nonzero cohomologyprovides a constant $r_0(G/k)$, only depending on $G/k$, below which the cuspidal cohomology vanishes. We will give a formula for this constant for each classical group of type (I) in the classification scheme due to Weil. We conclude with making this result explicit for some split classical groups over a totally real algebraic number field.
On units with Galois complex conjugates of equal absolute value

Stefan Deaconu

2024-10-12

Abstract:We prove, using a theorem of Northcott, that if a number field K with s real embeddings and 2t complex ones has a group of units U such that all elements in U have all its complex conjugates of same absolute value, then one necessarily has t = 1. This fact has an interesting implication in complex hermitian geometry, namely it describes all Oeljeklaus-Toma manifolds carrying locally conformally Kahler structures. It is then shown that the same method also works for the situation concerning the existence of pluriclosed metrics on Oeljeklaus-Toma manifolds.

Number Theory
The Total Rank Conjecture in Characteristic Two

Keller VandeBogert,Mark E. Walker

2024-04-11

Abstract:The Total Rank Conjecture is a coarser version of the Buchsbaum-Eisenbud-Horrocks conjecture which, loosely stated, predicts that modules with large annihilators must also have ``large'' syzygies. This conjecture was proved by the second author for rings of odd characteristic by taking advantage of the Adams operations on the category of perfect complexes with finite length homology. In this paper, we prove a stronger form of the Total Rank Conjecture for rings of characteristic two. This result may be seen as evidence that the Generalized Total Rank Conjecture (which is known to be false in odd characteristic) actually holds in characteristic two. We also formulate a meaningful extension of the Total Rank Conjecture over non Cohen-Macaulay rings and prove that this conjecture holds for any ring containing a field (independent of characteristic).

Algebraic Topology
Trivial unit conjecture and homotopy theory

Shengkui Ye

DOI: https://doi.org/10.1016/j.jalgebra.2013.12.019

IF: 0.908

2014-03-01

Journal of Algebra

Abstract:A homotopy theoretic description is given for trivial unit conjecture in the group ring ZG.

mathematics
Computing the unit group of a commutative finite $\mathbb{Z}$-algebra

Martin Kreuzer,Florian Walsh

2024-07-30

Abstract:For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to compute generators and the structure of this group. This is achieved by reducing the task first to the case of reduced rings, then to torsion-free reduced rings, and finally to an order in a reduced ring. The simplified cases are treated via a calculation of exponent lattices and various algorithms to compute the minimal primes, primitive idempotents, and other basic objects. All algorithms have been implemented and are available as a SageMath package. Whenever possible, the time complexity of the described methods is tracked carefully.

Commutative Algebra,Group Theory,Rings and Algebras
Rings where a non-nilpotent sum of units is a unit

Neil Epstein,Jay Shapiro

2024-08-23

Abstract:A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about semigroup rings, showing among other things that an affine semigroup ring $A[M]$ is unit-additive if and only if $A$ is unit-additive and $M$ has no nontrivial invertible elements. In the algebraic variety setting, we get a characterization of unit additivity in terms of the nonexistence of nonconstant maps to the punctured affine line, which can be seen in terms of extensions of the Fundamental Theorem of Algebra. Specializing to elliptic curves, we show that the affine coordinate ring of an elliptic curve is always unit-additive. The concept of unit additivity leads to the related concept of unit-additivity dimension -- i.e. how far is an integral domain from being unit-additive? It turns out that rings of unit-additivity dimension 1 are of some interest, as they include the rings of integers of number fields, all power series rings, and most local rings. We construct rings of all unit-additivity dimensions and show that in the affine setting, unit-additivity dimension is bounded above by Krull dimension. We also construct the *unit-additive closure* of an integral domain $D$, being the smallest subring of the fraction field of $D$ that is unit-additive, as a localization at a certain multiplicative set in $D$.

Commutative Algebra
Units of twisted group rings and their correlations to classical group rings

Geoffrey Janssens,Eric Jespers,Ofir Schnabel

2024-10-17

Abstract:This paper is centered around the classical problem of extracting properties of a finite group $G$ from the ring isomorphism class of its integral group ring $\mathbb{Z} G$. This problem is considered via describing the unit group $\mathcal{U}( \mathbb{Z} G)$ generically for a finite group. Since the $`90s$ several well known generic constructions of units are known to generate a subgroup of finite index in $\mathcal{U}(\mathbb{Z } G)$ if $\mathbb{Q} G$ does not have so-called exceptional simple epimorphic images, e.g. $M_2 (\mathbb{Q})$. However it remained a major open problem to find a {\it generic} construction under the presence of the latter type of simple images. In this article we obtain such generic construction of units. Moreover, this new construction also exhibits new properties, such as providing generically free subgroups of large rank. As an application we answer positively for several classes of groups recent conjectures on the rank and the periodic elements of the abelianisation $\mathcal{U}(\mathbb{Z} G)^{ab}$. To obtain all this, we investigate the group ring $R \Gamma$ of an extension $\Gamma$ of some normal subgroup $N$ by a group $G$, over a domain $R$. More precisely, we obtain a direct sum decomposition of the (twisted) group algebra of $\Gamma$ over the fraction field $F$ of $R$ in terms of various twisted group rings of $G$ over finite extensions of $F$. Furthermore, concrete information on the kernel and cokernel of the associated projections is obtained. Along the way we also launch the investigations of the unit group of twisted group rings and of $\mathcal{U}( R\Gamma)$ via twisted group rings.

Rings and Algebras,Group Theory,Representation Theory
On Krull-Schmidt decompositions of unit groups of number fields

Asuka Kumon,Donghyeok Lim

2024-03-14

Abstract:We prove that the Krull-Schmidt decomposition of the Galois module of the $p$-adic completion of algebraic units is controlled by the primes that are ramified in the Galois extension and the $S$-ideal class group. We also compute explicit upper bounds for the number of possible Galois module structures of algebraic units when the Galois group is cyclic of order $p^{2}$ or $p^{3}$.

Number Theory
On the Nilpotency of Some Modules Over Group Rings

Leonid Kurdachenko,Oleksandr Pypka,Igor Subbotin,Kurdachenko, Leonid,Pypka, Oleksandr,Subbotin, Igor

DOI: https://doi.org/10.1007/s11253-024-02279-x

2024-04-07

Ukrainian Mathematical Journal

Abstract:We study RG -modules that do not contain nonzero G -perfect factors. In particular, it is shown that if a group G is finite and R is a Dedekind domain with some additional restrictions, then these RG -modules are G -nilpotent.

mathematics, applied
Rings for which general linear forms are exact zero divisors

Ayden Eddings,Adela Vraciu

2024-07-23

Abstract:We investigate the standard graded $k$-algebras over a field $k$ of characteristic zero for which general linear forms are exact zero divisors. We formulate a conjecture regarding the Hilbert function of such rings. We prove our conjecture in the case when the ring is a quotient of a polynomial ring by a monomial idea, and also in the case when the ideal is generated in degree 2 and all but one of the generators are monomials.

Commutative Algebra
Non-integrality of some Steinberg modules

Jeremy Miller,Peter Patzt,Jennifer C. H. Wilson,Dan Yasaki

DOI: https://doi.org/10.1112/topo.12132

2019-10-21

Abstract:We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ring is Euclidean. We also construct new cohomology classes in the top dimensional cohomology group of the special linear group of some quadratic imaginary number rings.

Algebraic Topology,Geometric Topology,Number Theory
Units of hyperelliptic curves over $\mathbb{F}_2$

Justin Chen,Vishal Muthuvel

2023-06-08

Abstract:We study unit groups of rings of the form $\mathbb{F}_2[x,y]/(y^2 + gy + h)$, for $g, h \in \mathbb{F}_2[x]$ -- in particular, the question of (non)triviality of such unit groups. Up to automorphisms of $\mathbb{F}_2[x,y]$ we classify such rings into 3 distinct types. For 2 of the types we show that the unit group is always trivial, and conjecture that the unit group is always nontrivial for the 3rd type. We provide support for this conjecture both theoretically and computationally, via an algorithm that has been used to compute units in large degrees.

Commutative Algebra
Width bounds and Steinhaus property for unit groups of continuous rings

Josefin Bernard,Friedrich Martin Schneider

2024-12-23

Abstract:We prove an algebraic decomposition theorem for the unit group $\mathrm{GL}(R)$ of an arbitrary non-discrete irreducible, continuous ring $R$ (in von Neumann's sense), which entails that every element of $\mathrm{GL}(R)$ is both a product of $7$ commutators and a product of $16$ involutions. Combining this with further insights into the geometry of involutions, we deduce that $\mathrm{GL}(R)$ has the so-called Steinhaus property with respect to the natural rank topology, thus every homomorphism from $\mathrm{GL}(R)$ to a separable topological group is necessarily continuous. Due to earlier work, this has further dynamical ramifications: for instance, for every action of $\mathrm{GL}(R)$ by homeomorphisms on a non-void metrizable compact space, every element of $\mathrm{GL}(R)$ admits a fixed point in the latter. In particular, our results answer two questions by Carderi and Thom, even in generalized form.

Group Theory,Rings and Algebras
Unit Groups of Remainder Class Rings Module U（Z_n）

居腾霞,王立周

DOI: https://doi.org/10.3969/j.issn.1673-2340.2011.04.017

2011-01-01

Abstract:This paper uses the structure theorem of unit groups U（Zn） of number theory to show that the unit groups of remainder class rings Zn of which all the non-identity elements have order 2,are,U（Z3）,U（Z4）,U（Z6）,U（Z8）,U（Z12）and U（Z24）;the unit groups,of which all the non-identity elements have order primep（p 2）,don′t exist;the unit groups,of which all the non-identity elements have order powers of 2（not necessarily same）,are U（Z2apa11…pall）,where and are non-negative integers,0 ≤ a ≤ 1 and,p1,…,p1 are Fermat primes.This paper also uses unit groups to discuss the number of solutions of quadratic congruence x 2≡ 1（mod n）.
Non-existence of Ulrich modules over Cohen-Macaulay local rings

Srikanth B. Iyengar,Linquan Ma,Mark E. Walker,Ziquan Zhuang

2024-03-23

Abstract:Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are known nowadays as Ulrich modules. We answer this question in the negative by constructing families of two dimensional Cohen-Macaulay local rings that have no Ulrich modules. Some of these examples are Gorenstein normal domains; others are even complete intersection domains, though not normal.

Commutative Algebra,Algebraic Geometry
Zassenhaus conjecture for cyclic-by-abelian groups

Mauricio Caicedo,Leo Margolis,Ángel del Río

DOI: https://doi.org/10.48550/arXiv.1202.3877

2012-02-17

Abstract:Zassenhaus Conjecture for torsion units states that every augmentation one torsion unit of the integral group ring of a finite group G is conjugate to an element of G in the units of rational group algebra QG. This conjecture has been proved for nilpotent groups, metacyclic groups and some other families of groups. We prove the conjecture for cyclic-by-abelian groups.

Representation Theory,Group Theory,Rings and Algebras
ON THE MINKOWSKI UNIT IN FUNCTION FIELDS

KQ FENG,L CHENG

1989-01-01

Abstract:Suppose that K is a cyclic number field with odd prime degree. The unit group U_K of the integer ring O_K is U_K={+1}×V_K (direct product), where V_K is the group of units with norm 1. By Dirichet Unit Theorem, V_K is free Abelian group
Complete group of central units in some group rings over and

Vitor Araujo Garcia,Raul Antonio Ferraz

DOI: https://doi.org/10.1080/00927872.2024.2370482

2024-07-14

Communications in Algebra

Abstract:In the present work, we contribute with new results that enabled us to give an explicit description of the groups of central units of integral group rings and group rings with coefficients in Z[θ] , for certain groups G , where θ is a p− primitive root of unity and p is a prime number. In particular, we find a set of generators for the case where G is the Heisenberg Group.

mathematics

Non-trivial units of complex group rings

Units, zero-divisors and idempotents in rings graded by torsion-free groups

On the Cuspidal Cohomology of Arithmetic Groups

On units with Galois complex conjugates of equal absolute value

The Total Rank Conjecture in Characteristic Two

Trivial unit conjecture and homotopy theory

Computing the unit group of a commutative finite $\mathbb{Z}$-algebra

Rings where a non-nilpotent sum of units is a unit

Units of twisted group rings and their correlations to classical group rings

On Krull-Schmidt decompositions of unit groups of number fields

On the Nilpotency of Some Modules Over Group Rings

Rings for which general linear forms are exact zero divisors

Non-integrality of some Steinberg modules

Units of hyperelliptic curves over $\mathbb{F}_2$

Width bounds and Steinhaus property for unit groups of continuous rings

Unit Groups of Remainder Class Rings Module U（Z_n）

Non-existence of Ulrich modules over Cohen-Macaulay local rings

Zassenhaus conjecture for cyclic-by-abelian groups

ON THE MINKOWSKI UNIT IN FUNCTION FIELDS

Complete group of central units in some group rings over and