If $S$ is a subring of $R$ of finite index as an abelian group, does it follow that the subgroup of units $S^\star$ has finite index in $R^\star$ as a multiplicative group?

  • $\begingroup$ Can you give an example of a pair of infinite rings $S,R,$ such that $R$ is connected (i.e. $R$ is not the direct sum of subrings) and $(R,+)/(S,+)$ is finite? $\endgroup$ – jspecter Dec 22 '11 at 4:19
  • $\begingroup$ I'll answer my own question. Let $A$ be any subring of a number field which is not integrally closed. Then $(A, +)$ and $(\mathcal{O}_{K(A)},+)$ are $\mathbb{Z}$-modules of the same rank. It follows their quotient is finite. $\endgroup$ – jspecter Dec 22 '11 at 4:43

In the case $R$ is commutative the answer is yes.

Let $R \supset S$ be rings such that the quotient $(R,+)/(S,+)$ is finite.

Let $I = \{s \in S: sr \in S \mbox{ for all } r \in R\}.$ We claim $I$ is an ideal of $R.$ Clearly, $I$ is an $S$-module. We must show $I$ is stable under multiplication by elements of $R$. Let $r \in R.$ Then if $s' \in I,$ then $rs' = s'r \in S$ such that $rs'r' =s(rr') \in S$ for any $r' \in R.$ Hence, $rI \subset I.$ It follows $I$ is an ideal of $R.$

Now consider the ring $R/I.$ We claim $|R/I|$ is a finite. Observe that the $S$ action on $R$ descends to an action on $(R,+)/(S,+)$ and the kernel of this action is $I.$ Hence, $S/I$ acts faithfully on $(R,+)/(S,+)$ via left multiplication. As the set of endomorphisms of $(R,+)/(S,+),$ as an abelian group, is finite, it follows $S/I$ is a finite ring. Then as $S/I$ has finite index in $R/I,$ we obtain the ring $R/I$ is a finite.

The group $R^{\times}$ acts on $R/I$ via left multiplication as $R$-module automorphisms. Consider the kernel of this action, $K.$ Because the group $\mathrm{Aut}_R(R/I)$ is finite, the index $[R^{\times}:K]$ is finite. We claim $K \subset S^{\times}.$ Let $r \in K.$ Because $r$ acts on $R/I$ as the identity, $r = 1 + s$ for some $s\in I \subset S.$ Hence, $r \in S.$ An identical argument shows $r^{-1} \in S.$ It follows $r \in S^{\times}$ and therefore $K \subset S^{\times}.$

We conclude

$$[R^{\times}:S^{\times}] \le [R^{\times}:K] < \infty.$$

| cite | improve this answer | |
  • $\begingroup$ Are you assuming that $R$ is commutative? $\endgroup$ – Jyrki Lahtonen Dec 22 '11 at 18:48
  • $\begingroup$ But surely he is talking about the additive structure at that point. The multiplicative structure is not a group - only a monoid. $\endgroup$ – Jyrki Lahtonen Dec 22 '11 at 18:56
  • $\begingroup$ Actually, I think the same argument works (with a few cosmetic changes) in the noncommutative case by making $I$ the two-sided ideal where $r_1sr_2\in S$ $\forall r_1,r_2\in R$. Nice work! $\endgroup$ – Kevin Ventullo Dec 23 '11 at 3:32
  • $\begingroup$ @jspecter, thanks for the nice answer! $\endgroup$ – Nicky Hekster Dec 23 '11 at 9:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.