← all areas

Namespace MazurAdmissible 6 theorems

— 3 · AdmissibleChain 3

directly in MazurAdmissible 3

• Chain-independence of the invariant α at odd primes MazurAdmissible.filtAlpha_eq_filtAlpha 0 below · cited by 1 · depth 11
• Order of an admissible Galois module is q^ℓ MazurAdmissible.natCard_eq_pow_filtLength 0 below · cited by 1 · depth 11
• Splicing admissible chains: α and length are additive MazurAdmissible.exists_admissibleChain_filtAlpha_eq_add 0 below · cited by 1 · depth 12

MazurAdmissible.AdmissibleChain 3

• At p=2 admissible chains admit arbitrary tag counts MazurAdmissible.AdmissibleChain.exists_filtAlpha_eq_of_le_filtLength_two 0 below · cited by 1 · depth 11
• Transport of admissible chains along an equivariant isomorphism MazurAdmissible.AdmissibleChain.exists_map_addEquiv 0 below · cited by 2 · depth 11
• Admissible chains restrict to Galois-stable subgroups MazurAdmissible.AdmissibleChain.nonempty_of_addSubgroup 2 below · cited by 1 · depth 11