Namespace QuotientGroup 1 theorems
- No p-power torsion in (K^×)^s/Δ K^× in characteristic p
QuotientGroup.eq_one_of_pow_char_pow_eq_one_pi_units_quotient_constRange0 below · cited by 1 · depth 16
QuotientGroup 1 theoremsQuotientGroup.eq_one_of_pow_char_pow_eq_one_pi_units_quotient_constRange 0 below · cited by 1 · depth 16