Centers, Normalizers, and Units of Integral Group Rings
Status Partially solved · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedPartially solvedOpenStatement
Definitions and mathematical statement
The source bundles four separate group-ring questions.- For finite groups $G,H$, if $Z({\mathbb{Z}}[G])\cong Z({\mathbb{Z}}[H])$ as rings, must the groups have equivalent character tables, with class sums corresponding? A class sum is $\sum_{g\in C}g$ for a conjugacy class $C$; these give the usual integral basis of the center. Ordinary character tables have irreducible complex characters as rows and conjugacy classes as columns. The source does not define table equivalence or say whether the given ring isomorphism must preserve class sums, or whether some suitable correspondence is sought. These are distinct requirements.
- For torsion-free $G$, is $U(K[G])$ trivial? The field $K$ is unspecified. Literally a trivial unit group would mean only the identity, whereas group elements and nonzero scalars already give units. The usual intended "trivial units" property is $U(K[G])=\{ag:a\in K^\times,g\in G\}$. This likely convention is recorded for review, not silently substituted for the ambiguous wording.
- If the normalizer problem holds for every finite normal subgroup of $G$, must it hold for $G$, and can groups satisfying it be classified? In the common integral-group-ring convention the property is \[ N_{U({\mathbb{Z}}[G])}(G)=G\,Z(U({\mathbb{Z}}[G])). \] The source does not specify this ring convention, or whether the premise concerns each finite normal subgroup's own group ring or its relative normalizer inside the ambient unit group. No one interpretation is selected as a definitive universal theorem.
- For the finite-dimensional algebra $A$ arising from a noncentral finite-conjugacy center of the unit group of a ${\mathbb{Z}}$-order, determine its structure and Wedderburn--Malcev decomposition. The finite-conjugacy center of a group $U$ is $\{u\in U:\text{the conjugacy class of }u\text{ in }U\text{ is finite}\}$. The record does not define the construction of $A$ from that subgroup or the order. A Wedderburn--Malcev description ordinarily separates the Jacobson radical from a suitable semisimple subalgebra, but the field, hypotheses, and desired classification data are absent.
All four questions are retained without imposing one common finite-group hypothesis. The fourth concerns orders and a derived algebra rather than automatically the group algebra from the first three. The dated assessment counts three themes, whereas the statement and verification explicitly contain four; it cannot supply a status assessment of the fourth by omission.
Short English statement
The entry contains four distinct questions about center isomorphisms, trivial units, normalizer properties, and an algebra associated with finite conjugacy classes in order-unit groups. Several terms and scopes are ambiguous, especially trivial units and the normalizer premise.Sources
- Local UnsolvedMath registry, permanent ID 30000882, code catalogue entry, "Centers, Normalizers, and Units of Integral Group Rings." Proposed year 2007; proposer unspecified.
- Mini-Workshop: Arithmetik von Gruppenringen (2008), Oberwolfach Reports, pp. 3209--3240, DOI 10.4171/owr/2007/55; https://doi.org/10.4171/owr/2007/55. The displayed report year 2008 differs from the DOI and proposed year 2007.
- Supplied "normalizer problem results": https://doi.org/10.1006/jabr.2001.8724.
- Supplied "centers of integral group rings": https://arxiv.org/abs/math/0612436.
- Statement status corrected_verified; the supplied note explicitly preserves all four questions and restores integral-ring/algebra notation.
- Literature triage checked 2026-08-21: partially solved. It reports substantial special cases for character-table correspondence, torsion-free trivial-unit questions, and the normalizer property, but no general resolution of those three themes; it does not separately assess the fourth algebra question. Created 2026-08-25; updated 2026-09-16. Exact hypotheses and current statuses require independent verification.
- Registry curation by Ulam AI / UnsolvedMath Contributors, CC BY 4.0; underlying report and literature provenance remain as supplied. Unreviewed statement-only draft.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.