Bijection
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 27 Avr 2010, 16:13
Bonjour : :happy3:
Soit
_{i \in I} $)
une famille d'indeterminées.
On definit une

algèbre

des polynomes en les

.
Montrer que pour toute

algèbre

, l'application canonique
 \longrightarrow \mathrm{Hom}_{\mathrm{Ens}}(I,A) $)
definie par :
) $)
est une bijection.
Merci d'avance ! :happy3:
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 27 Avr 2010, 17:22
Je sais pas ce que tu prend comme définition de K[Xi], mais avec celle que j'aurais tendance à prendre, le résultat n'est vrai (quasi par définition) que si I est fini.
Si I est infini, on n'atteint que les applications de I dans A à support fini.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 28 Avr 2010, 11:48
Bonjour Ben314 : :happy3:
Merci de m'avoir repondu !
En fait :
_{i \in I}] = k[...,X_{1},...,X_{n},...] $)
. :happy3:
Si on considère :

, comment montrer cette proposition du premier poste ?
Merci infiniment ! :happy3:
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 107 invités