Finite groups representation theory with Coq

Sidi Ould Biha 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Type de document :
Communication dans un congrès
8th International Conference on Mathematical Knowledge Management, Jul 2009, Grand Bend, Ontario, Canada. 2009
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00377431
Contributeur : Sidi Ould Biha <>
Soumis le : mardi 21 avril 2009 - 17:25:27
Dernière modification le : jeudi 11 janvier 2018 - 16:21:47
Document(s) archivé(s) le : vendredi 12 octobre 2012 - 17:10:59

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00377431, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

317

Téléchargements de fichiers

847