← all areas

Namespace M4aLocalCFT 8 theorems

• Unramified local units: both Tate vanishings for cyclic G M4aLocalCFT.unitsDecomp_cohTrivial_of_inertia_eq_bot 0 below · cited by 3 · depth 17
• Norm index of field units equals decomposition group order M4aLocalCFT.fieldUnitsDecomp_card_tateH0_eq_card 6 below · cited by 2 · depth 22
• Cyclic Hilbert 90 for a decomposition group on L^× M4aLocalCFT.fieldUnitsDecomp_norm_ker_le_derive_range 0 below · cited by 2 · depth 22
• Herbrand quotient |G| for L^× under a cyclic decomposition group M4aLocalCFT.fieldUnitsDecomp_herbrandQuotient_eq_card 4 below · cited by 2 · depth 23
• Herbrand quotient of the units of a complete DVR equals one M4aLocalCFT.unitsDecomp_herbrandQuotient_eq_one 3 below · cited by 1 · depth 24
• Herbrand quotient is 1 modulo a trivial finite-index subgroup M4aLocalCFT.herbrandQuotient_eq_one_of_cohTrivial_finiteIndex 0 below · cited by 1 · depth 25
• Finite-index cohomologically trivial subgroup of local units M4aLocalCFT.unitsDecomp_exists_cohTrivial_finiteIndex 1 below · cited by 1 · depth 25
• Integral normal basis with invariant denominator for a valuation ring M4aLocalCFT.decompositionSubgroup_exists_integralNormalBasis 0 below · cited by 1 · depth 26