Finite algebra

Content created by Fredrik Bakke, Egbert Rijke and Victor Blanchi.

Created on 2023-05-25.
Last modified on 2024-09-23.

Modules in the finite algebra namespace

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-fields public
open import finite-algebra.finite-rings 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