← all areas

Namespace KummerTheory 4 theorems

• Kummer theory for K(√[n]u : u ∈ S) KummerTheory.powerSubgroup_eq_closure_sup_range_of_isSplittingField 10 below · cited by 2 · depth 16
• Automorphism fixing all n-th roots of a finite set is trivial KummerTheory.algEquiv_eq_one_of_forall_apply_eq_of_isSplittingField 0 below · cited by 2 · depth 17
• Multi-radical Kummer extensions are abelian of exponent n KummerTheory.isGalois_and_commute_and_pow_eq_one_of_isSplittingField_prod_X_pow_sub_C 0 below · cited by 3 · depth 17
• Kummer theory: #Gal(L/K) as a power-subgroup index KummerTheory.natCard_algEquiv_eq_natCard_powerSubgroup_quotient 7 below · cited by 2 · depth 17