15.07.2013 Views

Codes sur des anneaux nis et r eseaux arithm ... - Alexis Bonnecaze

Codes sur des anneaux nis et r eseaux arithm ... - Alexis Bonnecaze

Codes sur des anneaux nis et r eseaux arithm ... - Alexis Bonnecaze

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapitre 1<br />

Preliminaires mathematiques<br />

L'obj<strong>et</strong> de ce chapitre est de presenter certains outils ou notions de base (les <strong>anneaux</strong> de<br />

Galois, le code de Golay binaire, <strong>et</strong> la theorie <strong>des</strong> invariants) qui seront utilises dans les<br />

chapitres suivants. Il s'agit donc avant tout de donner, ou rappeler, quelques de nitions<br />

<strong>et</strong> propri<strong>et</strong>es perm<strong>et</strong>tant une comprehension plus aisee de la these.<br />

1.1 Les <strong>anneaux</strong> de Galois<br />

Il semble que ce soit Krull qui en 1923 [Kru23] ait <strong>et</strong>udie <strong>et</strong>developpe pour la premiere<br />

fois les <strong>anneaux</strong> de Galois, puis en 1979, Shankar [Sha79] qui les ait utilises en theorie<br />

<strong>des</strong> co<strong>des</strong> dans le cadre d'<strong>et</strong>u<strong>des</strong> <strong>sur</strong> les co<strong>des</strong> BCH <strong>sur</strong> <strong>des</strong> <strong>anneaux</strong>. Nous allons voir<br />

qu'il existe une analogie profonde entre les <strong>anneaux</strong> <strong>et</strong> les corps de Galois. Ainsi, le r^ole<br />

joue par les <strong>anneaux</strong> de Galois est souvent similaire a celui joue par les corps de Galois<br />

dans la theorie traditionnelle, les problemes centraux <strong>et</strong>ant toujours <strong>des</strong> problemes de<br />

divisibilite <strong>et</strong> de factorisation de polyn^omes.<br />

Nous <strong>et</strong>udions ici les <strong>anneaux</strong> de Galois <strong>et</strong> les extensions galoisiennes dont les propri<strong>et</strong>es<br />

seront utiles lors <strong>des</strong> constructions <strong>des</strong> co<strong>des</strong>. Nous ne considerons que <strong>des</strong> <strong>anneaux</strong> <strong>nis</strong>.<br />

Un expose plus d<strong>et</strong>aille <strong>sur</strong> l'<strong>et</strong>ude <strong>des</strong> <strong>anneaux</strong> <strong>nis</strong> peut ^<strong>et</strong>re trouve dans [McD74b],<br />

[Lan80] <strong>et</strong> certaines autres propri<strong>et</strong>es dans [Nec91].<br />

Nous rappelons dans un premier temps quelques de nitions <strong>et</strong> propri<strong>et</strong>es elementaires.<br />

1.1.1 De nitions <strong>et</strong> propri<strong>et</strong>es fondamentales<br />

Dans toute la suite, R represente un anneau ni.<br />

Notons l'element neutre multiplicatif 1.<br />

Un diviseur de zero de R est un element x \qui divise" zero, c'est a dire pour qui il existe<br />

y 6= 0 dans R tel que xy =0. Uninversible de R est un element X de R qui \divise 1".<br />

En d'autres termes, on a xy = 1 pour un certain y dans R. L'element y est alors note x ;1 .<br />

De nition 1.1 R est un anneau de Galois s'il est commutatif, unitaire, <strong>et</strong> si l'ensemble<br />

de tous les diviseurs de zero est de la forme pR, p <strong>et</strong>ant un entier premier.<br />

15

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!