Trough

Reducibility of p-torsion of the Frey curve

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
    
    Fermat's Last Theorem (Imperial)
    
    Introduction
    
    First reductions of the problem
    
    Reducibility of p-torsion of the Frey curve
    
    Reducibility of p-torsion of the Frey curve
    
    Overview
    
    Hardly ramified representations
    
    An example of an automorphic form
    
    Automorphic forms and the Langlands Conjectures
    
    Miniproject: Frobenius elements
    
    Miniproject: Adeles
    
    Miniproject: Haar Characters
    
    Miniproject: Fujisaki's Lemma
    
    Miniproject: Quaternion algebras
    
    Miniproject: Hecke Operators
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Fermat's Last Theorem (Imperial)
Reducibility of p-torsion of the Frey curve

Loading the map…

← Reducibility of p-torsion of the Frey curve

Reducibility of p-torsion of the Frey curve

Overview
Hardly ramified representations

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.