Finite group theory

Content created by Egbert Rijke, Fredrik Bakke, Jonathan Prieto-Cubides and Victor Blanchi.

Created on 2022-03-14.
Last modified on 2024-09-23.

Modules in the finite group theory namespace

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-abelian-groups public
open import finite-group-theory.finite-commutative-monoids 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