Finite groups representation theory with Coq - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Finite groups representation theory with Coq

Sidi Ould Biha
  • Fonction : Auteur
  • PersonId : 859740

Résumé

Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems on matrices. Representation theory is the basis of character theory. In this paper we present a formalization of finite groups representation theory in the Coq system that includes a formalization of Maschke's theorem on reducible finite group algebra. This work is a part of the Mathematical Components project which aims to develop a formal proof of the Feit-Thompson theorem.
Fichier principal
Vignette du fichier
main.pdf (177.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00377431 , version 1 (21-04-2009)

Identifiants

  • HAL Id : inria-00377431 , version 1

Citer

Sidi Ould Biha. Finite groups representation theory with Coq. 8th International Conference on Mathematical Knowledge Management, Jul 2009, Grand Bend, Ontario, Canada. ⟨inria-00377431⟩

Collections

INRIA INRIA2
176 Consultations
1837 Téléchargements

Partager

Gmail Facebook X LinkedIn More