Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
84 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
INTRODUCTION next up previous
suivant: DEFINITIONS CONSENSUELLES monter: LA QUINTESSENCE DE LA précédent: NOTATIONS

INTRODUCTION

A l'origine de cet article il y a un certain malaise que j'ai éprouvé(et je ne dois pas être le seul) en constatant que la définition d'élément premier d'un acui,qui est censée généraliser celle d'entier premier dans $\mathbb{N}$, fluctuait suivant les auteurs avec des propositions qui n'étaient pas toujours logiquement équivalentes. Ceci m'a amené à proposer
une définition ne faisant appel qu'à l'inversibilité
en partant du principe que ce qui caractérise un élément premier c'est le fait qu'il ne puisse se factoriser en un produit de 2 facteurs que si l'un des facteurs est inversible et pas l'autre.D'où le titre.
Par négation un élément non premier $n$ sera donc un élément pour lequel il existera une factorisation en 2 facteurs inversibles($n$ sera alors inversible) ou en 2 facteurs non inversibles(on dira alors que $n$ est un élément composé). La structure la plus générale où l'on puisse développer ces idées est celle de demi-goupe multiplicatif abélien, comme $(\mathbb{N},$x), pour disposer de la notion d'élément inversible. On se retrouve ainsi dans le cadre naturel où s'est forgé le concept de nombre entier premier. Formalisons cela en considérant un demi-groupe abelien ($E$,x) d'élément neutre 1.On notera $\mathcal{U}$ l'ensemble des éléments inversibles de $E$( $1\in \mathcal{U}$) et $\mathcal{P}(E)$ l'ensemble des éléments
premiers de $E $obtenu grâce à l'une des 2 définitions équivalentes suivantes:
$\forall p\in E\quad$ p premier $\Longleftrightarrow \forall (a,b)\in E^2\quad p=ab
\Rightarrow (a,b)\notin \mathcal{U}^2\bigcup (E\backslash\mathcal{U})^2$(I)
$\forall p\in E\quad$ p premier $\Longleftrightarrow \forall (a,b)\in E^2\quad p=ab
\Rightarrow a $ou bien $b\in \mathcal{U}$
C'est à dire que $p $ ne peut s'écrire comme produit de 2 facteurs que si l'un est inversible et pas l'autre.
D'où par négation:
$\forall p\in E\quad$ p non premier $\Longleftrightarrow \exists (a,b)\in E^2\quad p=ab$ et $(a,b)\in \mathcal{U}^2\bigcup (E\backslash \mathcal{U})^2$
On obtient ainsi une classification des éléments d'un demi-groupe abélien multiplicatif:
Chaque élément d'un tel demi-groupe est soit premier,soit inversible,soit composé(i.e.factorisable en un produit de 2 éléments non inversibles) chaque cas excluant les deux autres.
On peut remarquer facilement que tout élément inversible $x $ n'est pas premier car il est produit de 2 inversibles $x=x.1\quad$donc dans un groupe il n'y a pas d'éléments premiers.
Un carré $x^2 $n'est jamais premier car suivant que $x $est inversible ou pas $x^2 $est le produit de 2 inversibles ou de 2 non inversibles.
D'autre part dans le cas du demi-groupe (A,x) d'un acui A l'élément 0 n'est pas premier car il est produit de 2 non inversibles $0=0.0 $. Donc 0 est même un élément composé.
Si A est un acu on pourra bien sûr appliquer cette définition au demi-groupe abelien (A,x) i.e. hors intégrité de l'anneau.

next up previous
suivant: DEFINITIONS CONSENSUELLES monter: LA QUINTESSENCE DE LA précédent: NOTATIONS
Guy_Philippe_pour_les-mathematiques
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page