Trough

Miniproject: Haar Characters

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
    
    An example of an automorphic form
    
    Automorphic forms and the Langlands Conjectures
    
    Miniproject: Frobenius elements
    
    Miniproject: Adeles
    
    Miniproject: Haar Characters
    
    Miniproject: Haar Characters
    
    The goal
    
    Initial definitions
    
    Examples
    
    Algebras
    
    Left and right multiplication
    
    Finite Products
    
    Some measure-theoretic preliminaries
    
    Restricted products
    
    Adeles
    
    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)
Miniproject: Haar Characters

Loading the map…

← Miniproject: Haar Characters

Miniproject: Haar Characters

The goal
Initial definitions
Examples
Algebras
Left and right multiplication
Finite Products
Some measure-theoretic preliminaries
Restricted products
Adeles

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.