Discriminants of \(\mathfrak G n\)-orders (Q2828367)

Let \(\alpha\) be an algebraic integer of degree \(n\geq 2\) whose complex conjugates are \(\alpha_1, \alpha_2, \dots, \alpha_n\). Suppose that the Galois group of the closure of \(\mathbb Q(\alpha)\) is the symmetric group \(S_n\). The author proves that \(\mathbb Z[\alpha_1, \alpha_2, \dots, \alpha_n]\) is a free \(\mathbb Z\)-module of rank \(n!\), calculates its discriminant and exhibits a nice \(\mathbb Z\)-basis of \(\mathbb Z[\alpha_1, \alpha_2, \dots, \alpha_n]\). He concludes his paper by showing that the problem is more difficult if \(\mathbb Q(\alpha) \) is already a Galois extension of \(\mathbb Q\).NEWLINENEWLINEThe proofs are interesting and elementary, and the tools used are classic ones.