Primalité dans un anneau

Primalité dans un anneau: En algèbre commutative, dans un anneau intègre, un élément p est dit irréductible s'il n'est ni inversible, ni produit de deux éléments non inversibles. Il est dit premier s'il n'est ni nul ni inversible et si, pour tout produit ab divisible par p, l'un des deux facteurs a ou b est divisible par p. Tout élément premier est irréductible. Dans un anneau factoriel (comme l'anneau des entiers ou l'anneau des polynômes à coefficients dans un corps), ces deux notions sont équivalentes.

Deux éléments a et b sont dits premiers entre eux si tout diviseur commun à a et b est inversible.

Sommaire

1 Introduction

2 Éléments premiers entre eux et élément irréductible

3 Éléments indissolubles entre eux et élément premier

4 Éléments étrangers et élément extrémal

5 Liens entre ces trois notions

6 Article connexe

7 Bibliographie

Introduction

Dans l'anneau des entiers, il existe différentes caractérisations des nombres premiers et des nombres premiers entre eux qui, dans un anneau quelconque, conduisent à trois couples de notions différentes. Dans la suite, A est un anneau intègre et a, b, p sont des éléments de A. Un idéal de A est dit propre s'il est différent de A. La notation $(a)$ désigne l'idéal principal engendré par $a$ (c'est-à-dire l'ensemble des multiples de $a$ ).

Éléments premiers entre eux et élément irréductible

On dit que a et b sont premiers entre eux ou que a est premier avec b si tout diviseur commun à a et b est inversible.

Conditions équivalentes :

le PGCD de a et b (existe et) est égal à 1

L'idéal $(a)+(b)~$ n’est inclus dans aucun idéal principal propre de $A~$ .

Probablement par influence des polynômes, la notion suivante n'est pas baptisée "élément premier", mais "élément irréductible" :

On dit que $p~$ est irréductible s'il n'est ni nul ni inversible et s'il est premier avec tout élément qu'il ne divise pas.

Conditions équivalentes :

$p~$ n'est ni inversible, ni produit de deux éléments non inversibles

$p~$ n'est ni nul ni inversible, et ses seuls diviseurs sont les inversibles ou les éléments associés à $p~$

$(p)~$ est non nul, et maximal dans l’ensemble des idéaux principaux propres de $A~$ .

Éléments indissolubles entre eux et élément premier

On dit que a et b sont indissolubles entre eux (ou "premiers entre eux au sens de Gauss") si pour tout élément x de A,

si a divise bx alors a divise x.
Conditions équivalentes (d'après les deux dernières, cette notion est donc symétrique en a et b) :

b est simplifiable (ou : non diviseur de 0) dans l'anneau quotient A/(a)

tout multiple de a et b est multiple de ab

le PPCM de a et b (existe et) est égal au produit ab.

La définition correspondante est alors :

$p$ est dit premier (ou indissoluble) s'il est non nul, non inversible, et indissoluble avec tout élément qu'il ne divise pas.

Conditions équivalentes :

p est non nul, non inversible, et pour tout produit ab divisible par p, l'un des facteurs a ou b est divisible par p

p est non nul et $A / (p)$ est intègre

(p) est un idéal premier non nul de A.

Éléments étrangers et élément extrémal

La notion d'éléments étrangers correspond à la caractérisation des nombres premiers entre eux par le théorème de Bachet-Bézout.

On dit que a et b sont étrangers s'il existe des éléments u et v de A tels que au+bv=1, condition qui s'écrit aussi sous la forme (a)+(b)=A.

La définition correspondante est alors :

On dit que p est extrémal s'il est non nul, non inversible, et étranger à tout élément qu'il ne divise pas.

Conditions équivalentes :

p est non nul et non inversible, et tout élément de A non multiple de p est inversible modulo p

(p) est un idéal maximal non nul de A

p est non nul et A/(p) est un corps.

Liens entre ces trois notions

Dans les contre-exemples ci-dessous, K désigne un corps, et A = K[X²,XY,Y²] le sous-anneau de K[X,Y] formé des polynômes dont chaque monôme est de degré total pair (cet anneau est isomorphe à K[X,Y,Z]/(Z²-XY), via le morphisme induit par X→X², Y→Y², et Z→XY).

étrangers ⇒ indissolubles entre eux ⇒ premiers entre eux.
Les réciproques sont fausses :
Dans $K[X,Y]~$ , $X~$ et $Y~$ sont indissolubles entre eux mais pas étrangers.
Dans l'anneau A, les éléments $XY~$ et $X^2~$ sont premiers entre eux mais pas indissolubles entre eux (car $XY~$ divise $X^2Y^2~$ mais pas $Y^2~$ ).

extrémal ⇒ premier ⇒ irréductible.
Les réciproques sont fausses :
Dans $K[X,Y]~$ , $X~$ est premier non extrémal (en fait K[X,Y] ne contient aucun élément extrémal).
Dans A, l'élément $XY~$ est irréductible mais non premier (il divise $X^2Y^2~$ mais ni $X^2~$ , ni $Y^2~$ ).

Dans un anneau de Gauss (anneau où tout couple d'éléments possède un PGCD), et donc en particulier dans un anneau factoriel, premiers entre eux équivaut à indissolubles entre eux (donc irréductible équivaut à premier).

Dans un anneau de Bézout (anneau intègre dans lequel tout idéal de type fini est principal), et donc en particulier dans un anneau principal (comme $\mathbb{Z}~$ ou $K[X]~$ ), les trois notions (étrangers, indissolubles entre eux, premiers entre eux) sont équivalentes (donc irréductible équivaut à premier équivaut à extrémal).

Article connexe

Factorisation des polynômes

Bibliographie

Serge Lang, Algèbre [détail des éditions]

Portail des mathématiques

Catégorie :
Algèbre commutative

Contenu soumis à la licence CC-BY-SA. Source : Article Primalité dans un anneau de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

Primalite dans un anneau — Primalité dans un anneau Sommaire 1 Introduction 2 Éléments premiers entre eux et élément irréductible 3 Éléments premiers entre eux au sens de Gauss (ou indissolubles) et élément premier … Wikipédia en Français
Élément irréductible — Primalité dans un anneau Sommaire 1 Introduction 2 Éléments premiers entre eux et élément irréductible 3 Éléments premiers entre eux au sens de Gauss (ou indissolubles) et élément premier … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Arithmétique des polynômes — En algèbre, l arithmétique des polynômes décrit les propriétés des polynômes qui peuvent se déduire de l arithmétique et qui sont un peu analogues à celles des nombres entiers. Par exemple, l anneau commutatif des polynômes K[X] à une… … Wikipédia en Français
Factorisation des polynômes — En mathématiques, la factorisation d un polynôme consiste à écrire celui ci comme produit de polynômes. Les factorisations intéressantes sont celles permettant d écrire le polynôme initial en produit de plusieurs polynômes non inversibles. Un… … Wikipédia en Français
Nombres premiers entre eux — En mathématiques, on dit que des entiers a et b sont premiers entre eux, que a est premier avec b ou encore que a et b sont copremiers s ils n ont aucun facteur premier en commun ; en d autres termes, s ils n ont aucun diviseur autre que 1… … Wikipédia en Français
Polynôme irréductible — Cet article court présente un sujet plus développé dans : Factorisation des polynômes, Arithmétique des polynômes et Primalité dans un anneau. En algèbre, un polynôme irréductible à coefficients dans un anneau commutatif est un polynôme qui… … Wikipédia en Français
Diophantienne — Équation diophantienne Édition de 1670 des Arithmétiques de Diophante d Alexandrie. Une équation diophantienne, en mathématiques, est une équation dont les coefficients sont des nombres entiers et dont les solutions recherchées sont également… … Wikipédia en Français
Equation diophantienne — Équation diophantienne Édition de 1670 des Arithmétiques de Diophante d Alexandrie. Une équation diophantienne, en mathématiques, est une équation dont les coefficients sont des nombres entiers et dont les solutions recherchées sont également… … Wikipédia en Français
Équation diophantienne — Édition de 1670 des Arithmétiques de Diophante d Alexandrie. Une équation diophantienne, en mathématiques, est une équation dont les coefficients sont des nombres entiers et dont les solutions recherchées sont également entières. Le terme est… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Primalité dans un anneau

Sommaire

Introduction

Éléments premiers entre eux et élément irréductible

Éléments indissolubles entre eux et élément premier

Éléments étrangers et élément extrémal

Liens entre ces trois notions

Article connexe

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Primalité dans un anneau

Sommaire

Introduction

Éléments premiers entre eux et élément irréductible

Éléments indissolubles entre eux et élément premier

Éléments étrangers et élément extrémal

Liens entre ces trois notions

Article connexe

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link