← all areas

Namespace RibetIrr 8 theorems

• Absolute irreducibility at level prime to p RibetIrr.irreducible_of_point_of_not_dvd 2,265 below · cited by 1 · depth 12
• Flatness at p transports along a Galois-equivariant isomorphism over K RibetIrr.isFlatAt_of_linearEquiv_baseChange 2 below · cited by 1 · depth 12
• Two-dimensional Galois representations with equal characteristic polynomials RibetIrr.linearEquiv_of_charpoly_eq_of_span_eq_top 1 below · cited by 1 · depth 12
• Module-finiteness over ℤₚ of a p-adic discrete valuation ring RibetIrr.module_finite_padicInt_of_isDiscreteValuationRing 0 below · cited by 6 · depth 12
• Inertia at p fixes a stable line or its quotient RibetIrr.line_fixed_or_quotient_fixed_by_inertia_of_isFlatAt 19 below · cited by 1 · depth 13
• Burnside span for ρ from a companion representation RibetIrr.span_range_baseChange_eq_top_of_companion 684 below · cited by 1 · depth 13
• Few primes in (X/3,X] with large weight-two coefficient RibetIrr.card_primes_apLarge_isBigO 0 below · cited by 1 · depth 14
• Dickson trace identity in the non-absolutely-irreducible case RibetIrr.exists_dickson_eval_eq_of_span_ne_top 18 below · cited by 1 · depth 14