REISNER Adrien

13 Rue Pele 75011 Paris

Anneau fini Exercice 3

Adrien.Reisner@enst.fr
___________________________________________________________________________

Soit ( A , + , , 1 ) un anneau dordre p 2 o p est un nombre premier , avec lment neutre 1 . Montrer que cet anneau A est commutatif . Olympiades Iran 22 juillet 2010 Rings of Size p2
Just as in the case of rings of size 4, there are eleven rings of size p2, as follows:

Three rings over Zp2. Eight rings over Zp+Zp: o Three commutative with unity. o Three commutative without unity. o Two non-commutative.

Benjamin Fine's article (discussed above) contains an abstract description of these eleven rings.

Mail Hugues
La classification des anneaux commutatifs unitaires p2 lments est la suivante : * ou bien l'ordre additif de 1 est p2. Alors l'anneau est Z/p^2Z (avec sa multiplication habituelle). * ou bien l'ordre additif de 1 est p. Alors l'anneau est isomorphe l'anneau quotient A=Z/pZ[t]/P(t) o P est un polynme de degr 2 sur Z/pZ. Si p n'est pas gal 2, par un changement de variable on se ramne au cas o P est de la forme P(t)=t2-a. Il y a alors essentiellement trois sous-cas: ** a=0 alors A=Z/pZ[t]/t2 admet un lment nilpotent ** a=b2 est un carr non nul, alors A=Z/pZ[t]/(t2-b2) est isomorphe l'anneau produit Z/pZ x Z/pZ ; il est non-intgre, mais n'admet pas d'lment nilpotent (i.e. il est rduit) ** a est non-carr, alors A est le corps p2 lments (unique isomorphisme prs). (Exercice: mme discussion pour p=2.) Au final, isomorphisme d'anneaux prs, il y a quatre anneaux commutatifs unitaires p2 lments : * Z/p^2Z (cyclique) * Z/pZ[t]/t2 (non-cyclique, non-rduit) * Z/pZ x Z/pZ (non-cyclique, rduit mais non-intgre) (corps) * F_{p2} Voir aussi dans l'encyclopdie des suites de Sloane : http://www.research.att.com/~njas/sequences/A037291 http://www.research.att.com/~njas/sequences/A127707 http://www.research.att.com/~njas/sequences/A127708

REISNER Adrien
13 Rue Pele 75011 Paris

Anneau fini

Adrien.Reisner@enst.fr
___________________________________________________________________________

Exercice 3
Soit ( A , + , , 1 ) un anneau dordre p 2 o p est un nombre premier , avec lment neutre 1 . Montrer que cet anneau A est commutatif . Olympiades Iran 22 juillet 2010

Solution
Je considre le groupe ablien ( A , + ) dordre p 2 . Lordre additif o ( 1 ) de llment neutre 1 divise lordre p 2 du groupe ablien . Par suite o ( 1 ) = p 2 ou o ( 1 ) = p . Si o ( 1 ) = p 2 , A = Z / p 2 Z et A est effectivement commutatif Si o ( 1 ) = p alors tout autre lment de A est dordre additif p : p est la caractristique de lanneau A . Dans ce cas lanneau A contient lensemble E= Z/pZ.1 Z/pZ.a o a est un lment quelconque nappartenant pas Z / p Z . 1 ( un tel lment a existe puisque Card ( Z / p Z . 1 ) = p et Card A = p 2 ) . [ tout lment x de E est de la forme x = x 1 + x 2 a o x 1 , x 2 Z / p Z ] E est dailleurs un espace vectoriel sur le corps Z / p Z de dimension 2 ayant pour base ( 1 , a ) . Or E tant de cardinal Card E = p 2 et tant contenu dans lanneau A on a A = E = Z / p Z . 1 Z / p Z . a et A est encore commutatif . Remarques . Soit ( A , + , ) un anneau pas forcment unitaire de caractristique p premier . Si A est dordre fini alors cet ordre est une puissance de p : Card A = p n . En effet dans le groupe ablien ( A , + ) lordre additif de chaque lment de A tant p , p divise lordre du groupe ( A , + ) do le rsultat : Card A = p n . p est dailleurs lexposant du groupe ablien ( A , + ) i.e. le p.p.c.m. des ordres des lments de A ( voir Algbre Tome1 Arnaudis Fraysse page 166 ) A est un Z / p Z espace vectoriel . Si ( a 1 , a 2 a n ) est une base de cet espace vectoriel A = Z / p Z . a 1 Z / p Z . a 2 . Z / p Z . a n i.e. tout lment de A est de la forme x = x = x 1 a 1 + x 2 a 2 .. + x n a n o x 1 , x 2 x n Z / p Z . ________________________