1.2.3 Anneaux de matrices
Soit Aun anneau commutatif, alors l’ensemble des matrices carr´es d’ordre
n`a coefficients dans A,muni des formules d’addition et de multiplication
habituelles, forme un anneau not´eMn(A);l’application qui `a un ´el´ementde
Aassocie la matrice scalaire correspondante d´efinit une structure d’alg`ebre.
Si Aest un sous anneau de B,alors Mn(A)est un sous-anneau de Mn(B).
Exercice1.2.9.1. D´emontrer qu’une matrice M∈Mn(Z)est inversible
si et seulementsi son d´eterminantest inversible.
2. D´efinir le d´eterminantd’une matrice carr´ee `a coefficients dans un an-
neau commutatif, et g´en´eraliser le r´esultat pr´ec´edent.
1.2.4 Anneau de groupe
SoientGun groupe, not´emultiplicativementet Aun anneau commutatif. On
note A[G]l’ensemble des familles, index´ees par Get `a support fini, d’´el´ements
de A.La famille de termes λg,g∈G,est not´ee :
X
g
λgg.
L’ensemble A[G]est naturellementun groupeab´elien. On obtientun anneau
(et mˆeme une alg`ebre sur A), avec le produit (et le morphisme λ7→ λe):
(X
g
λgg)(X
h
µhh)=X
uX
gh=u
λgµhu.
Remarque 1.2.10.Dans le cas o`uKest un corps, K[G]est un espace vectoriel
de base G.
Exercice1.2.11.1. Montrer que l’alg`ebre C[S3]du groupesym´etriqueS3
n’est pas int`egre.
2. D´eterminer le centre de l’alg`ebre C[S3](on rappelle que le groupeS3
est engendr´epar deux ´el´ements).
3. D´eterminer les idempotents centraux del’alg`ebre C[S3], i.e. les ´el´ements
pdu centre qui v´erifientp2=p.
4. Un idempotentcentral zest minimal si et seulementsi, pour tout idem-
potentcentral w,on a:zw=0ou zw=z.
Montrer que l’unit´ede l’alg`ebre C[S3]s’´ecrit comme somme d’idempo-
tents centraux minimaux.
5. Montrer que l’alg`ebre C[S3]est isomorphe `a un produit d’alg`ebres de
matrices.
5