← all areas

Namespace integralClosure 6 theorems

• Integral closure of a complete DVR in a finite separable extension integralClosure.finite_and_isDiscreteValuationRing_and_isAdicComplete_maximalIdeal 0 below · cited by 29 · depth 9
• Two maps from the algebraic integers differ by a ℂ-automorphism integralClosure.exists_complex_ringEquiv_apply_eq 0 below · cited by 4 · depth 12
• Quotients of an integral closure in an algebraically closed field integralClosure.isAlgClosed_of_surjective 0 below · cited by 1 · depth 19
• Transitive automorphism action on maximal ideals forces local normalisation integralClosure.isLocalRing_of_forall_isMaximal_exists_comap_galRestrict_eq 0 below · cited by 1 · depth 21
• Integral closure in a finite separable extension as valuation subring integralClosure.exists_valuationSubring_toSubring_eq_decompositionSubgroup_eq_top 1 below · cited by 2 · depth 22
• Finiteness of the integral closure in a finite reduced algebra integralClosure.moduleFinite_of_isReduced_of_charZero 0 below · cited by 1 · depth 27