Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Montrer qu'un anneau intègre fini est un corps

Posté par
Tolokoban
02-11-08 à 17:41

Bonjour,

Dans un exercice de cours sur les corps, on nous demande de démontrer
qu'un anneau intègre fini (A,+,*) est un corps.

Dans la réponse, on prend un élément a non nul de A et on montre qu'il est inversible.
Pour cela, on considère la fonction f_a : x \mapsto a*x.
Si cette application est bijective, on peut trouver un b tel que f(b)=1 (1 étant l'élément neutre de *)
et dans ce cas, f(b) = 1 = a*b, ce qui prouve que a est inversible.

Jusque là tout va bien, mais c'est lorsau'on nous démontre que f est bijective que je ne comprends pas.

Il est dit : "Comme c'est une application d'un ensemble fini dans lui-même, il en vient qu'elle est surjective".

Quelqu'un pourrait-il me donner les indices qu'il me manque pour être convaincu par la phrase ci-dessus ?
Si je prends l'ensemble {0,1,2,3} muni de la multiplication usuelle, par exemple,
l'application f_2 : x \mapsto (2\times x) \text{ modulo } 4 ne me paraît pas surjective.

Merci.

P.S. :
J'ai trouvé cet exercice dans le livre suivant :
Précis d'algèbre (Tome 1) 3ème édition
D. Guinin, F. Aubonnet, B. Joppin
ISBN 285 394 644 4
Aux éditions Bréal (1993)

Posté par
1 Schumi 1
re : Montrer qu'un anneau intègre fini est un corps 02-11-08 à 17:53

Salut

Si tu prends f une application de E dans lui même injective alors fatalement card(f(E))>= card(E) et on a donc égalité puisque f(E) est inclus dans E.

Finalement card(F(E))=card(E) et f(E)=E (ie, f esst surjective).

Moralité:
Soit E un ensemble fini et f:E->E. Alors on a équivalence entre:
i)   f est bijective.
ii)  f est injective.
iii) f est sujective.

Posté par
jeanseb
re : Montrer qu'un anneau intègre fini est un corps 02-11-08 à 18:05

bonsoir

Citation :
f une application de E dans lui même injective alors fatalement card(f(E))>= card(E)


Je n'ai pas compris...

Posté par
jeanseb
re : Montrer qu'un anneau intègre fini est un corps 02-11-08 à 18:06

Oui, ok...

Posté par
Tolokoban
re : Montrer qu'un anneau intègre fini est un corps 02-11-08 à 19:00

Cool, merci !

Posté par
1 Schumi 1
re : Montrer qu'un anneau intègre fini est un corps 02-11-08 à 19:01

Pas de quoi.

Posté par
Arnaud
re : Montrer qu'un anneau intègre fini est un corps 24-09-09 à 20:01

Bonsoir,

petite question stupide (mais mon prof m'a mit le doute tout à l'heure!):

on n'a pas besoin de supposer notre anneau commutatif pour démontrer se résultat, ou je me trompe?

Et une remarque pour le début du topic, l'existance de l'élément unité devrait être prouvée puisque l'anneau n'est pas supposé unitaire, ou je me trompe aussi...

Posté par
1 Schumi 1
re : Montrer qu'un anneau intègre fini est un corps 25-09-09 à 06:42

Dans la littérature française, quand on parle de corps on parle de "corps commutatifs" sauf si c'est explicitement dit que "les corps ne sont pas supposés commutatifs".
De même (mais là, même dans la littérature anglo saxonne ça reste vrai en général) les anneaux sont, sauf mention contraire, toujours supposés unitaire.

Posté par
Arnaud
re : Montrer qu'un anneau intègre fini est un corps 25-09-09 à 10:09

Merci!!



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !