Homomorphisme d'anneaux
Bonjour tout le monde, des suggestions si vous voulez. Je vous remercie.
Soit $K$ un corps, $n \geq 2$ et $R=K< a,b \mid a^n=0>$ (the free algebra generated by noncommuting indeterminates $a,b$ over $K$). On considére $T_2(R)$ (l'anneau des matrices triangulaires supérieures).
Est-ce qu'on peut construire un homomorphisme surjectif de $T_2(R)$ dans $R$ ?
Réponses
-
L'ensemble $I$ des matrices de la forme $\left(\begin{smallmatrix}*&*\\0&0\end{smallmatrix}\right)$ me semble être un idéal bilatère et le quotient $T_2(R)/I$ a l'air d'être isomorphe à $R$ – et ceci pour n'importe quel $R$ d'ailleurs. Me gouré-je ?
-
Le morphisme $\left(\begin{smallmatrix}x_{1,1}&x_{1,2}\\0&x_{2,2}\end{smallmatrix}\right)\mapsto x_{1,1}$ fait l'affaire aussi.
-
Avec $x_{2,2}$ ça marche aussi mais pas avec $x_{1,2}$... pour le voir c'est facile, tu prends la définition de morphisme d'anneau et tu vérifies que tout fonctionne avec $x_{1,1}$ et $x_{2,2}$ mais pas avec $x_{1,2}$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres