Finite algebra
Content created by Egbert Rijke and Victor Blanchi.
Created on 2023-05-25.
Last modified on 2023-05-25.
Files in the finite algebra folder
module finite-algebra where open import finite-algebra.commutative-finite-rings public open import finite-algebra.dependent-products-commutative-finite-rings public open import finite-algebra.dependent-products-finite-rings public open import finite-algebra.finite-abelian-groups public open import finite-algebra.finite-commutative-monoids public open import finite-algebra.finite-fields public open import finite-algebra.finite-groups public open import finite-algebra.finite-monoids public open import finite-algebra.finite-rings public open import finite-algebra.finite-semigroups public open import finite-algebra.homomorphisms-commutative-finite-rings public open import finite-algebra.homomorphisms-finite-rings public open import finite-algebra.products-commutative-finite-rings public open import finite-algebra.products-finite-rings public open import finite-algebra.semisimple-commutative-finite-rings public
Recent changes
- 2023-05-25. Victor Blanchi and Egbert Rijke. Towards Hasse-Weil species (#631).