Let . The power-basis discriminant isIf were a proper sublattice of , part (a) would produce a prime whose square divides and a new integral element with denominator . The only possible prime is . But is Eisenstein at , and part (b) says that every integral element of already belongs to . This is a contradiction. Hence
Articles by others on the same topic
There are currently no matching articles.