Sous-anneau engendré par une partie
dans Algèbre
Bonjour
Soit $(A,+,\times)$ un anneau et $S\in \mathcal{P}(A)$.
L'ensemble sous-jacent au sous-anneau de $(A,+,\times)$ engendré par $S$ est
$$\Big\{ \displaystyle{\sum_{\text{ finie} } {s_{i_1}}^{n_{i_1}}\times \cdots \times {s_{i_k}}^{n_{i_k}} }\ |\ s_{i_j} \in S\ \text{ et }\ n_{i_j} \in \mathbb{N} \Big\}.
$$ Je ne suis pas sûr de comprendre la notation. Quel est l'indice de sommation ? Est-ce le même ensemble que
$$\bigg\{ \displaystyle{\sum_{(i_1,\dots{},i_k)\in I^k } {s_{i_1}}^{n_{i_1}}\times \cdots\times {s_{i_k}}^{n_{i_k}} }\ |\ I \text{ un ensemble},\ k\in \mathbb{N},\ s_{i_j} \in S\ \text{ et }\ n_{i_j} \in \mathbb{N} \bigg\}.
$$ Merci d'avance.
Soit $(A,+,\times)$ un anneau et $S\in \mathcal{P}(A)$.
L'ensemble sous-jacent au sous-anneau de $(A,+,\times)$ engendré par $S$ est
$$\Big\{ \displaystyle{\sum_{\text{ finie} } {s_{i_1}}^{n_{i_1}}\times \cdots \times {s_{i_k}}^{n_{i_k}} }\ |\ s_{i_j} \in S\ \text{ et }\ n_{i_j} \in \mathbb{N} \Big\}.
$$ Je ne suis pas sûr de comprendre la notation. Quel est l'indice de sommation ? Est-ce le même ensemble que
$$\bigg\{ \displaystyle{\sum_{(i_1,\dots{},i_k)\in I^k } {s_{i_1}}^{n_{i_1}}\times \cdots\times {s_{i_k}}^{n_{i_k}} }\ |\ I \text{ un ensemble},\ k\in \mathbb{N},\ s_{i_j} \in S\ \text{ et }\ n_{i_j} \in \mathbb{N} \bigg\}.
$$ Merci d'avance.
Réponses
-
Bonjour.
Une fois rectifiée la notation (les $x$ sont des $s$), on a une idée naturelle : on prend l'ensemble des produits finis d'éléments de $S$. Je n'ai pas vu l'intérêt de rajouter des exposants, les puissance étant déjà des produits finis.
Cordialement. -
gerard0 : l'ensemble des sommes finies de produits finis ;-)
(tu as raison pour les exposants; je pense qu'ils ont été mis pour faire le lien avec les polynômes)
Victor : Le $I^k$ dans ce que tu as écrit est un peu bizarre et fait que ce n'est pas tout à fait ça.
C'est plutôt $\{\sum_{(x_1,\ldots,x_k)\in I} x_1\cdots x_k \mid k\in \mathbb N, I\subset S^k\} $ (avec des exposants si ça nous chante mais ils ne sont pas nécessaires)
(la différence avec ce que tu as écrit c'est qu'il y a des sous-ensembles de $S^k$ qui ne sont pas de la forme $I^k$). -
Merci pour votre réponse. L'ensemble des produits finis d'éléments de $S$ est
$$\left\{ s_1\times \cdots{} \times s_n\mid n\in \mathbb{N} \text{ et } (s_1,\dots{},s_n)\in S^n\right\}.
$$ Si on regroupe les $s_i$ égaux on peut écrire
$$\left\{ {s_1}^{n_1}\times \cdots{} \times {s_n}^{n_p}\mid (p,n_1,\dots,n_p)\in \mathbb{N}^{p+1} \text{ et } (s_1,\dots,s_n)\in S^n \text{ distincts deux à deux }\right\}.
$$ Je ne retrouve pas l'ensemble donné avec votre idée.
Edit : Je viens de voir le message de Maxtimax. -
Merci Maxtimax pour votre réponse, c'est clair.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres