Développement : Anneau des entiers algébriques et degré d'une représentation irréductible

Détails/Enoncé :

1. L'ensemble des entiers algébriques est un anneau,
2. Le degré d'une représentation irréductible d’un groupe fini G sur un espace vectoriel complexe, divise l’ordre de G.