Finite group theory
Content created by Egbert Rijke, Fredrik Bakke, Jonathan Prieto-Cubides and Victor Blanchi.
Created on 2022-03-14.
Last modified on 2023-05-06.
Files in the finite group theory folder
module finite-group-theory where open import finite-group-theory.abstract-quaternion-group public open import finite-group-theory.alternating-concrete-groups public open import finite-group-theory.alternating-groups public open import finite-group-theory.cartier-delooping-sign-homomorphism public open import finite-group-theory.concrete-quaternion-group public open import finite-group-theory.delooping-sign-homomorphism public open import finite-group-theory.finite-groups public open import finite-group-theory.finite-monoids public open import finite-group-theory.finite-semigroups public open import finite-group-theory.finite-type-groups public open import finite-group-theory.groups-of-order-2 public open import finite-group-theory.orbits-permutations public open import finite-group-theory.permutations public open import finite-group-theory.permutations-standard-finite-types public open import finite-group-theory.sign-homomorphism public open import finite-group-theory.simpson-delooping-sign-homomorphism public open import finite-group-theory.subgroups-finite-groups public open import finite-group-theory.tetrahedra-in-3-space public open import finite-group-theory.transpositions public open import finite-group-theory.transpositions-standard-finite-types public
Recent changes
- 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
- 2023-05-03. Victor Blanchi. Sorting algorithms (#572).
- 2023-03-12. Fredrik Bakke and Jonathan Prieto-Cubides. Generate module indexes (#501).
- 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).
- 2023-03-03. Jonathan Prieto-Cubides. Hide imports, toc and many other fixes (#480).