Exotic Units in a Finite Group Ring

Definitions and mathematical statement

For a positive integer $n$, let $C_n$ denote a cyclic group of order $n$, and set \[ G=C_2\times C_2\times C_2\times C_6. \] The integral group ring ${\mathbb{Z}} G$ consists of sums $\sum_{g\in G}a_g g$, with $a_g\in{\mathbb{Z}}$, with coefficientwise addition and multiplication determined by the multiplication in $G$ and distributivity. Its unit group is \[ \mathrm{U}({\mathbb{Z}} G)=\{u\in{\mathbb{Z}} G:\text{ there exists }v\in{\mathbb{Z}} G\text{ with }uv=vu=1\}. \] Source conjecture, with unresolved terminology. There exists a unit $u\in\mathrm{U}({\mathbb{Z}} G)$ that is an "exotic unit" in the sense intended by the cited report.

The supplied record does not define "exotic unit" or specify the class of units against which exoticity is measured. It supplies no additional augmentation, order, equivalence, or generation conditions on the sought unit. Consequently, the displayed existential formulation records the intended conjecture but does not provide a fully specified mathematical predicate. The supplied literature assessment also warns that the extracted group context is incomplete; the group displayed above is retained exactly as supplied, pending review of that context.

Short English statement

The source conjectures that the integral group ring of $C_2\times C_2\times C_2\times C_6$ contains an exotic unit. The meaning of "exotic" and possibly relevant surrounding group context are missing, so a precise existence statement requires human review of the cited report. The record labels the problem open; this status is supplied curation, not an independently verified conclusion.

Sources

• Local registry: data/unsolvedmath/problems.json, permanent UnsolvedMath ID $30001859$, source problem code catalogue entry; collection: Oberwolfach Reports Open Problems. The record gives proposed year 2011 and supplies no named proposer.
• Supplied source citation: Computational Group Theory (2012), Oberwolfach Reports, DOI 10.4171/owr/2011/37, pp. 2113--2161. https://doi.org/10.4171/owr/2011/37. The supplied background describes these reports as documenting mathematical workshops and their open-problem discussions.
• Supplied literature source, labeled "OWR report 37": https://doi.org/10.4171/owr/2011/37. Literature checked at: 2026-08-21. This is supplied dated curation, not independently verified. Its assessment labels the problem open, warns that the extracted group context is incomplete, describes the exotic-unit assertion as a conjecture, and reports that no authoritative resolution for the named group was found. The background explicitly requests independent verification of time-sensitive status and cited claims.
• Supplied statement-verification metadata labels the statement corrected_verified and says that the official report confirms the conjecture, that an extraction label was removed, and that the group notation was restored. These are claims of the supplied record; no independent source inspection is asserted here.