• 1 Groups ▶
    • 1.1 Defining the Group
    • 1.2 Other Algebraic Structures
    • 1.3 Uniqueness Theorems
    • 1.4 Some Examples of Groups
    • 1.5 \(C_n\) as a Group
    • 1.6 \(D_n\) as a group
    • 1.7 \(S_n\) as a group
  • 2 Morphisms ▶
    • 2.1 Maps
    • 2.2 Intro to Morphisms
    • 2.3 Automorphisms
  • 3 Subgroups ▶
    • 3.1 Defining the Subgroup
    • 3.2 The Power Function
    • 3.3 Order
    • 3.4 Generators and the Cyclic Group
    • 3.5 More Examples of Subgroups
  • Dependency graph

Algebra in Lean

Will Harris Justin Morrill Dominic King Adam Kern Clara Henne Arim Lim William Ho Stavan Jain Anoushka Sinha Ricardo Prado Cunha

  • 1 Groups
    • 1.1 Defining the Group
    • 1.2 Other Algebraic Structures
    • 1.3 Uniqueness Theorems
    • 1.4 Some Examples of Groups
    • 1.5 \(C_n\) as a Group
    • 1.6 \(D_n\) as a group
    • 1.7 \(S_n\) as a group
  • 2 Morphisms
    • 2.1 Maps
    • 2.2 Intro to Morphisms
    • 2.3 Automorphisms
  • 3 Subgroups
    • 3.1 Defining the Subgroup
    • 3.2 The Power Function
    • 3.3 Order
    • 3.4 Generators and the Cyclic Group
    • 3.5 More Examples of Subgroups