Notion derrière $\Z[\text{truc}]$
Dans les contre-exemples sur les anneaux, je lis souvent des choses du genre $\Z[\text{un nombre complexe particulier}]$. Même si je devine à quoi ça ressemble à chaque fois, ça n'est pas 100% clair pour moi et je n'ai jamais vu de définition générale.
Quelle est le concept général derrière ça ? J'ai trouvé sur Internet la définition des entiers de Gauss et des variantes mais j'aimerais avoir le cas général.
Est-ce cela : si $B$ est un sous-anneau d'un anneau $A$ et $a\in A$, alors $B[a]$ est le sous-anneau de $A$ engendré par $B\cup\{a\}$ (i.e. le plus petit sous-anneau de $A$ contenant $B\cup\{a\}$) ? Ou c'est autre chose ?
Quelle est le concept général derrière ça ? J'ai trouvé sur Internet la définition des entiers de Gauss et des variantes mais j'aimerais avoir le cas général.
Est-ce cela : si $B$ est un sous-anneau d'un anneau $A$ et $a\in A$, alors $B[a]$ est le sous-anneau de $A$ engendré par $B\cup\{a\}$ (i.e. le plus petit sous-anneau de $A$ contenant $B\cup\{a\}$) ? Ou c'est autre chose ?
Réponses
-
Tape "corps quadratique" dans un moteur de recherche.
-
Oui, c'est l'interprétation la plus logique.
Cette notation apparaît cependant dans d'autre contexte.
Si $M$ est un monoïde alors $\mathbb Z[M]$ est l'anneau avec variables $X^m$ (pour $m \in M$) et relations $X^mX^n = X^{m+n}$. Par exemple, $\Bbb Z[\mathbb N] = \mathbb Z[x], \mathbb Z[\mathbb Z] = \mathbb Z[x,x^{-1}]$.
Si $G$ est un groupe, alors $\mathbb Z[G]$ (l'algèbre de groupe) est engendré par les combinaisons formelles $\sum_{g \in G} a_g \cdot g$ où les $a_g$ sont des entiers presque tous nuls, avec multiplication induite par $G$.
(Edit : problème avec du latex) -
Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres