Number field

Norm of a number field

Let be a number field. Then the Field norm of is given by

where enumerate the field embeddings of into the complex numbers. #m/thm/num/alg

Proof

#missing/proof


#state/develop | #lang/en | #SemBr