![](//s1.studylibfr.com/store/data-gzf/dd5bccb0c5175df436fbd2bd3c51c6b7/1/000413926.htmlex.zip/bg4.jpg)
1.2.1. D´efinition. Un id´eal `a gauche (respectivement, `a droite, bilat`ere) de l’anneau A
s’appellent id´eal `a gauche (respectivement, `a droite, bilat`ere) de l’alg`ebre A.
Par exemple, 0 et Asont deux id´eaux bilat`eres.
Remarque. Un id´eal `a gauche ou `a droite de Aest un sous-module du K-module
(A, +,•).
1.2.2. Proposition. Si {Iλ|λ∈Λ}est une famille d’id´eaux `a gauche (respectivement,
`a droite, bilat`ere) de A, alors l’intersection ∩λ∈ΛIλet la somme Pλ∈ΛIλsont des id´eaux `a
gauche (respectivement, `a droite, bilat`ere).
1.2.3. Proposition. Soit Aune K-alg`ebre avec Iun id´eal bilat`ere. Alors
A/I ={a=a+I|a∈A}
est une K-alg`ebre, appel´ee le quotient de Amodulo par I.
1.2.4. Proposition. Soient Iun id´eal bilat`re de A.
(1) Si Jest un id´eal `a gauche (respectivement, `a droite, bilat`ere) de A, alors J/I =
{a+I|a∈J}l’est aussi. En outre, J/I = (J+I)/I.
(2) L’application J7→ J/I donne une bijection de l’ensemble des id´eaux `a gauche (re-
spectivement, `a droite, bilat`ere) contenant Ide Asur l’ensemble des id´eaux `a gauche (re-
spectivement, `a droite, bilat`ere) de A/I, qui pr´eserve l’ordre d’inclusion.
1.2.5. D´efinition. Une K-alg`ebre Aest dite simple s’il n’a pas d’id´eal bilat`ere propres.
Exemple. Si Kest un corps, alors tout sur-corps de Kest simple.
Remarquons, pour tout n≥1, que l’ensemble Mn(A) des matrices carr´ees d’ordre nsur
Aest une K-alg`ebre.
1.2.6. Th´eor`eme. Soit Dun sur-corps de K. Alors pour tout n≥1, Mn(D) est une
K-alg`ebre simple. En particulier, Mn(K) est simple.
D´emonstration. Pour tous 1 ≤i, j ≤net d∈D, d´esignons par eij (a)∈Mn(D) dont
le (i, j)-terme est aet les autres termes sont tous nuls. Alors
eij (a)·ekl(b) = (eil(ab),si j=k
0,si j6=l.
Soit Iun id´eal bilat`ere non nul de Mn(D). Prenons B= (bij )n×n∈Itelle que brs 6= 0
pour certains 1 ≤r, s ≤n. Remarquons B=P1≤k,l≤nekl(bkl). Pour tout 1 ≤i≤n, on a
I3eir(1D)·B·esi(1D) = X
1≤k,l≤n
bkleir (1D)ekl(bkl)esi(1D) = eii(brs),
4