Algebraic integers on the unit circle - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T01:26:19Z http://mathoverflow.net/feeds/question/40728 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40728/algebraic-integers-on-the-unit-circle Algebraic integers on the unit circle Vagabond 2010-10-01T09:41:35Z 2010-10-01T14:42:53Z <p>Consider a set of algebraic integers which lie on the unit circle, they will generate a multiplicative subgroup of $\mathbb S^1$. Do these objects have a name? </p> <p>I would guess they contain useful arithmetic/number theoretic information, for example if the generating set is the set of roots of an irreducible polynomial, what kind of information would they contain? </p> <p>Has the group structure of the elements of a number field which lie on the unit circle $\mathbb S^1$ and the subgroup of it which is made up of algebraic integers been studied.</p> <p>Would greatly appreciate if you could suggest a reference.</p> <p>Regards Vagabond</p> <p>PS</p> <p>It would be real nice if you could answer keeping in mind that I do not know much Algebra/ commutative algebra/ algebraic geometry. But I hope that does not stop you from answering. </p> http://mathoverflow.net/questions/40728/algebraic-integers-on-the-unit-circle/40744#40744 Answer by Cam McLeman for Algebraic integers on the unit circle Cam McLeman 2010-10-01T13:35:04Z 2010-10-01T14:17:43Z <p>"Do these objects have a name"</p> <p>Probably not. "Multiplicative subgroup of $S^1$ generated by algebraic integers" is pretty descriptive, and not of such fundamental importance that it's worth shortening.</p> <p>"If the generating set is the set of roots of an irreducible polynomial, what kind of information would they contain?"</p> <p>Almost none. Assuming you're still talking about algebraic integers, if all of the roots of a monic irreducible polynomial have absolute value 1, then the polynomial is cylcotomic and the roots are roots of unity. Your multiplicative group is then finite and well-understood.</p> <p>I'm not sure I completely understand your third question, but it looks like Scott Carnahan's first comment points you in the right direction. To elaborate very slightly, note that if $\alpha$ is an algebraic integer on the unit circle, then so is $\alpha^r$ for any $r\in\mathbb{Q}$, so you get a copy of $\mathbb{Q}$ in your multiplicative subgroup for each "independent" such $\alpha$. Of course, if you're inside a <em>fixed</em> number field (which re-reading seems to be the focus of this question), you at least get the subgroup $\alpha^n$ for $n\in\mathbb{Z}$.</p> http://mathoverflow.net/questions/40728/algebraic-integers-on-the-unit-circle/40757#40757 Answer by Dror Speiser for Algebraic integers on the unit circle Dror Speiser 2010-10-01T14:42:53Z 2010-10-01T14:42:53Z <p>The question is a bit ambiguous because "lie on the unit circle" is ambiguous. A closely worded question is:</p> <blockquote> <p>Let $S$ be a set of <a href="http://en.wikipedia.org/wiki/Archimedean_valuation" rel="nofollow">archimedean places</a> of a number field $K$. What is the subgroup $K_S \subset K^{\times}$ of nonzero numbers with $|x|_v = 1$ for all $v \in S$ ?</p> </blockquote> <ol> <li><p>If we call the complement of $S$ (in the set of places) $\bar{S}$, then the above group is called <a href="http://en.wikipedia.org/wiki/S-unit" rel="nofollow">$\bar{S}$-units</a>. The notion is usually applied to finite $\bar{S}$ containing all archimedean places, so $S$ contains none. But we don't have to be so restrictive. So to answer the first question: the name should probably be "$\bar{S}$-units$\cap O_K^\times$"</p></li> <li><p>Assume $S$ is non empty. For a non-<a href="http://en.wikipedia.org/wiki/Cyclotomic_field" rel="nofollow">cyclotomic</a> quadratic field the group seems to be empty. For the two exceptional cyclotomic fields the group is of course the roots of unity. I would guess that for most fields the group is finite, and in fact consists of the roots of unity in the field (for most notions of "most fields" that most of us have). Of course this doesn't have to be the case - for example if the field has a <a href="http://en.wikipedia.org/wiki/Salem_number" rel="nofollow">Salem number</a>.</p></li> </ol>