Bonsoir vous tou(te)s
Voilà, j'ai repris un peu mes livres d'algèbre et je suis tombée sur une notion qui m'a toujours semblé obscure : la propriété universelle.
Voici la chose pour le produit direct de groupes :
Soient et deux groupes,
les projections canoniques de sur , .
Pour tout groupe et tout morphisme de groupes , ,
il existe un unique morphisme de groupes tel que
, .
A quoi cela sert-il ? Quel en est le sens ? Caractérise-t-il quelque chose ?
Merci d'avance pour vos réponses, Zoe-
Salut,
C'est juste une façon un peu compliquée de dire que h(x) = (f1(x),f2(x)) est bien défini et ce de manière unique.
la notion de propriété universelle est très importante - elle provient de la théorie des catégories. Elle permet d'énoncer et de comprendre "de façon synthétique" un certain nombre de résultats, en particulier en algèbre et en géométrie différentielle. Dans le cas présent, G1 x G2 est un objet universel, au sens où pour tous morphismes f1 : C -> G1 et
f2 : C -> G2, il existe un morphisme f permettant de factoriser les deux morphismes, et rendant le diagramme suivant commutatif :
--------C-------
| | |
f1 f f2
| | |
G1 <- G1xG2 -> G2
La théorie des catégories, c'est beaucoup de diagrammes comme ça et ça simplifie un peu la vie. Je ne peux que vous conseiller l'ouvrage de Serge Lang Algebra (qui a même été traduit en français), c'est très bien expliqué dedans.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :