Integral basis of a nonexceptional pure cubic field
ID: integral-basis-of-a-nonexceptional-pure-cubic-field
If is a square-free integer, , and , then is an integral basis of the pure cubic number field, with field discriminant . The discriminant-index formula for an integral lattice restricts a possible index to primes dividing . At primes dividing the different exponent is by tame ramification. A shifted Eisenstein polynomial gives total wild ramification at , so its different exponent is at least . These exponents exhaust the polynomial discriminant and force index one.
New to topics? Read the docs here!