Title:Determining unit groups and $\mathrm{K}_1$ of finite rings
Abstract:We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem is equivalent to the number theoretic problems of factoring integers and solving discrete logarithms in finite fields. A similar equivalence is shown for the problem of determining the abelianization of the unit group or the first $K$-group of finite rings. | | | | - | - | | Subjects: | Number Theory (math.NT); Symbolic Computation (cs.SC); K-Theory and Ho…
Title:Determining unit groups and $\mathrm{K}_1$ of finite rings
Abstract:We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem is equivalent to the number theoretic problems of factoring integers and solving discrete logarithms in finite fields. A similar equivalence is shown for the problem of determining the abelianization of the unit group or the first $K$-group of finite rings. | | | | - | - | | Subjects: | Number Theory (math.NT); Symbolic Computation (cs.SC); K-Theory and Homology (math.KT); Rings and Algebras (math.RA) | | MSC classes: | Primary 68W30, 19D50, 20C05, 19-08, 11Y16, Secondary 16Z05 | | Cite as: | arXiv:2506.00266 [math.NT] | | | (or arXiv:2506.00266v1 [math.NT] for this version) | | | https://doi.org/10.48550/arXiv.2506.00266 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Tommy Hofmann [view email] [v1] Fri, 30 May 2025 22:00:47 UTC (20 KB)