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
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