Schur-Siegel-Smyth-Serre-Smith

If \(\alpha\) is an algebraic number, the normlized trace of \(\alpha\) is defined to be \( \displaystyle{T(\alpha):=\frac{\mathrm{Tr}(\alpha)}{[\mathbf{Q}(\alpha):\mathbf{Q}].}}\) If \(\alpha\) is an algebraic integer that is totally positive, then the normalized trace is at least one. This follows from the AM-GM … Continue reading →