Trough

Ring theory

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - 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
    
    Formal Frontier
    
    Commutative algebra
    
    Ring theory
    
    Ring theory
    
    Group rings
    
    Projective modules
    
    Stable range
    
    Algebraic geometry
    
    Number theory
    
    Group theory
    
    Homological algebra and category theory
    
    Topology
    
    Analysis
  - Coverage
  - Sources

Home
Trough
Formal Frontier
Ring theory

Loading the map…

← Ring theory

Ring theory

The Formal Frontier libraries on ring theory, one section each.

Group rings
Projective modules
Stable range

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.