SkRIES FORMELLES ETALGkBRES 45
1
reconnaft S. La representation est dite finie si 9JI est un K-module de type
fini, et suijective si ,u est surjective.
EXAMPLE.
Une representation de S est le triplet (K(X), id, S) oti id est
l’homomorphisme d’identite K(X) + K(X).
A la serie formelle S, associons l’ensemble
3’S = {P E K(X) 1 V Q,
R E K(X), (S, QPR) = 0).
-7, est clairement un ideal (biladre) de K(X) contenu dans Ker S et c’est le
plus grand ideal ayant cette propriett. II est appelt l’idkal syntactique de S.
L’algebre quotient !UIm, = K(X)/Ts est appelee 1’algGbre syntactique de S et
l’on note ,u, l’homomorphisme canonique: K(X) + mm,. Comme Z’S c Ker S,
S induit sur m, une forme lintaire, notee 9s, telle que S = 9s 0 ps.
Le triplet (!UIm,, pus, cps) est done une representation surjective de S, appelee
la reprksentation minimale de S. Elle posstde la propriete universelle
suivante:
TH~OR~ME
1.2.1. Soit (mm, ,a, cp) une reprtkentation subjective de S. II
existe un homomorphisme d’algsbres (necessairement unique et surjectlfi v:
9l+ W, tel que p, = v 0 ,u.
Preuve. On a par definition: S = 9 0 b. Par suite Ker p c Ker S, done
Ker p c Zs. Comme p est surjectif, il existe un et un seul homomorphisme v:
!JJI -+ W, tel que ,us = v 0 ~1. Comme ps est surjectif, v Vest aussi. u
Si IIJZ, , im, sont deux algebres, on dit que !UI r divise W,, ce qu’on note
9JI, < !U& , si !JJI, est isomorphe a un quotient d’une sous-algibre de 9JI,.
COROLLAIRE
1.2.2. Si 93 reconnait S, alors mm, divise !N.
Preuve. Dire que !UI reconnait S implique par definition qu’il existe une
representation de S de la forme (W,p, 9). Soit W’ = ,B(K(X)) et 9’ la
restriction de 9 a W’. Alors (9JI’,p, 9’) est une representation surjective de S.
D’apres 1.2.1, !YI, divise Wm. 1
LEMMA
1.2.3. Soit SE K{(X)) et 2’ un id&al (bilat&e) de I112, contenu
duns Ker 9,. Alors 3’ = {O}.
Preuve. 7 c Ker 9,s * pal c Ker(9, 0 ps) = Ker S. Or p; ‘(7) est
un ideal de K(X), done pi ‘(7) c J”, puisque zs est le plus grand ideal de
K(X) contenu dans Ker S. Par suite, 7 =,uJ,u,~(J)) = (0). m
Remarque. On peut, a tout couple, (!UI, 9) ou YUi est une algebre et 9 une
forme lineaire sur W, associer un ideal syntactique (c’est le plus grand ideal