When is $\mathbb{G}_m(R)$ enough to determine $R$? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T17:36:11Z http://mathoverflow.net/feeds/question/79667 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/79667/when-is-mathbbg-mr-enough-to-determine-r When is $\mathbb{G}_m(R)$ enough to determine $R$? Adam Hughes 2011-11-01T00:04:57Z 2011-11-01T14:29:19Z <p>Say I have a ring, $R$, with 1 which I consider my universe, and I know its group of units $G=\mathbb{G}_m(R)$. Then given a subgroup, $H\le G$, can I determine if there is there a subring $S_H$ such that $\mathbb{G}_m(S)=H$? If so, is $S_H$ unique with this group of units? If so, is there in fact a--canonical in the sense above--1-1 correspondence between subgroups of $G$ and subrings of $R$ with 1? Preliminary attempts at a solution don't indicate any problems with the truth of the statement, but naturally one should be skeptical of limited data especially in a subject with so many intricacies as groups and rings.</p> <p>The motivating example is $\overline{\mathbb{Q}}/\mathbb{Q}$, due to some interesting number theory that could come out of such a correspondence.</p> <p>In the case of fields the question is supposed to collapse into the question "Can I add 0 to a subgroup of the group of units of some big field and get a subfield without doing anything else?"</p> <p>There is no possibility for general rings, but are there assumptions on $R$ or $G$ which can ensure existence or uniqueness? And it is also fine to induce assumptions on what kind of $S$ we are allowed to have as well, fields instead of just rings for example.</p> http://mathoverflow.net/questions/79667/when-is-mathbbg-mr-enough-to-determine-r/79668#79668 Answer by Steven Landsburg for When is $\mathbb{G}_m(R)$ enough to determine $R$? Steven Landsburg 2011-11-01T00:26:33Z 2011-11-01T11:15:17Z <p>Uniqueness is hopeless; let $k$ be any reduced ring and $R=k[x]$. Then $k\subset R$ and $R\subset R$ have the same group of units.</p> <p>Existence is also hopeless in general: Let $S=Z/5Z$, and let $H$ be the subgroup conisting of 1 and 4. </p> http://mathoverflow.net/questions/79667/when-is-mathbbg-mr-enough-to-determine-r/79701#79701 Answer by Salvatore Siciliano for When is $\mathbb{G}_m(R)$ enough to determine $R$? Salvatore Siciliano 2011-11-01T11:29:19Z 2011-11-01T14:29:19Z <p>It is also worth to recall that if $F$ is a field then a free algebra $F[X]$ has $F^\times$ as group of units for any set $X$...</p> <p>Anyway, there is an extensive literature devoted to study rings with a fixed group if units. A sample of this is the paper:</p> <p>I. Stewart: Finite rings with a specified group of units, Math. Z. 126 (1972), 51-58.</p>