Bonjour,
Soitun corps commutatif.
Sur le lien suivant : https://fr.wikipedia.org/wiki/Alg%C3..._sur_un_anneau , on définit un morphismeentre deux
-algèbres non unitaires
et
pour les lois internes (addition et multiplication) et le produit par des scalaires par :
-
-
-
pour touset pour tout
.
Ma question est la suivante :
Si, et
la
- algèbre unitaire des complexes, et
une
- algèbre non unitaire, à quoi est égale,
puisque,
est non unitaire et donc, ne peut pas vérifier,
puisque
n'existe pas dans
? Est ce que,
s'injecte dans
dans ce cas là, qui est non unitaire, qui fait de lui une
- algèbre ?
Merci d'avance.
-----