Are all solvable groups *regularly* realizable over Q(x)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T21:20:02Z http://mathoverflow.net/feeds/question/46687 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/46687/are-all-solvable-groups-regularly-realizable-over-qx Are all solvable groups *regularly* realizable over Q(x)? Makhalan Duff 2010-11-19T22:32:16Z 2010-11-20T05:13:16Z <p>It is known for Hilbertian fields that all groups that are abelian, solvable, \$A_n\$ or \$S_n\$ are realizable over them. \$\mathbb{Q}(x)\$ is one such field, but it's not obvious that the extensions that are guaranteed by this theorem will be regular extensions.</p> <p>\$A_n\$ and \$S_n\$ are regularly realizable through the symmetric polynomials. Is it known whether all solvable (or even abelian) groups are <em>regularly</em> realizable over \$\mathbb{Q}(x)\$?</p> <p>Remark: for those who aren't familiar with the terminology, by regularly realizable over \$\mathbb{Q}(x)\$ I mean that there's an extension of it, \$L\$, such that \$L\$ over \$\mathbb{Q}(x)\$ is \$G\$-Galois, and such that the algebraic closure of \$\mathbb{Q}\$ in \$L\$ is \$\mathbb{Q}\$.</p> http://mathoverflow.net/questions/46687/are-all-solvable-groups-regularly-realizable-over-qx/46710#46710 Answer by Alex Bartel for Are all solvable groups *regularly* realizable over Q(x)? Alex Bartel 2010-11-20T04:48:08Z 2010-11-20T05:13:16Z <p>It is known that all finite abelian groups are regularly realisable over \$\mathbb{Q}(x)\$. See e.g. B.H. Matzat, Konstruktive Galoistheorie, p. 224, M. Fried and M. Jarden, Field Arithmetic, Lemma 24.46, or J.P Serre, Topics in Galois Theory, p. 36. It is also known that, e.g., the set of regularly realisable groups is closed under wreath products, which gives you some non-abelian soluble groups.</p> <p>But according to Jack Sonn, <a href="http://www.springerlink.com/index/Y0874238L4X4R417.pdf" rel="nofollow">Brauer groups, embedding problems, and nilpotent groups as Galois groups</a>, Israel Journal of Mathematics 85, which, alas, is 16 years old, it is not even known whether all finite nilpotent groups are regularly realisable over \$\mathbb{Q}(x)\$. I don't know of any more recent developments (there has been quite a lot of work over "large" fields instead of \$\mathbb{Q}\$).</p>