Idéaux des entiers relatifs
Bonjour,
On sait que pour tout anneau A on peut définir (peut-être faut-il se limiter aux anneaux commutatifs pour simplifier ?) une somme et un produit d'idéaux.
Cet ensemble d'idéaux muni de + et x (ou indépendamment pour chacune de ces opérations) a-t-il une structure algébrique spécifique ? Qu'en est-il pour les idéaux de l'anneau principal des entiers relatifs Z ?
Merci par avance de votre aide.
Euzenius
On sait que pour tout anneau A on peut définir (peut-être faut-il se limiter aux anneaux commutatifs pour simplifier ?) une somme et un produit d'idéaux.
Cet ensemble d'idéaux muni de + et x (ou indépendamment pour chacune de ces opérations) a-t-il une structure algébrique spécifique ? Qu'en est-il pour les idéaux de l'anneau principal des entiers relatifs Z ?
Merci par avance de votre aide.
Euzenius
Réponses
-
Salut
Tu parles de l'ensembles des idéaux? Si on définit bien "+" et "*" il me semble qu'il est stable pour ces deux opérations. (La somme de deux idéaux, qui l'ensemble des éléments de A s'écrivant comme somme d'éléments des idéaux, en est un aussi et idem pour le produit).
Un idéal de Z (et de n'importe quel anneau d'ailleurs) est avant tout un sous-groupe de (Z,+) (resp (A,+)) donc de la forme nZ. Il est très facile de vérifier que ce sont tous des idéaux, je te laisse faire la vérification.
-
Merci Ayoub pour ces précisions, mais je demande quelle structure algébrique plus spécifique qu'un magma peut-on coller sur l'ensemble des idéaux d'un anneau commutatif avec pour loi la somme de deux idéaux. Il me semble avoir vu quelque part qu'il s'agit d'un monoïde, mais je n'en suis pas sûr.
Si quelqu'un a le résultat et les références, alors merci.
Euzenius -
Pour la structure de monoide commutatif, tous les axiomes résultent directement de la définition, sauf peut-être l'associativité, mais elle résulte du fait que (I+J)+K est engendré par les {i+j+k | i∈I, j∈J, k∈K} que tu peux prouver assez simplement.
-
OK le barbant raseur, et merci
associativité, élément neutre (l'idéal engendré par 0), commutativité et donc jamais plus (hormis le cas trivial si l'anneau est un corps) ?
Euzenius -
C'est déjà pas mal non? Fallait pas s'attendre à tomber sur un anneau non plus.
-
euzenius a écrit:associativité, élément neutre (l'idéal engendré par 0), commutativité et donc jamais plus (hormis le cas trivial si l'anneau est un corps) ?
Cette question me laisse perplexe.
Qu'a-t-on de "plus" si l'anneau est un corps ?
Pour la seule loi +, je ne vois pas.
Si tu veux parler du fait que (idéaux(A),+,x) forme un semi-anneau, c'est vrai pour n'importe quel anneau A.
Tu fais peut-être allusion à une structure booléenne ? -
A mon avis il fait surtout référence au fait que le idéaux d'un corps forment un ensemble assez simple.
-
Bonsoir,
KHCTX a parfaitement saisi le point entre parenthèses, la simplicité de ce cas n'ayant aucun intérêt au regard de la question qui était posée concernant la structure annélide de l'ensemble des idéaux sur un anneau, donc de propriétés particulières des lois en lien avec des propriétés particulières de l'anneau de base (principalité,... voire le cas de Z). Les particularités sortent du domaine structurel si l'on peut dire, et je me contente parfaitement de la noton de semi-anneau.
Merci à vous tous.
Euzenius
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.9K Toutes les catégories
- 58 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 57 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 50 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 83 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 77 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 334 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 796 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres