Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
100 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Produits de modules...

Envoyé par Thierry POMA 
Produits de modules...
il y a deux années
avatar
Bonsoir,

Voici une pièce jointe dans laquelle j'ai entouré la partie qui me pose problème. Cette partie est extraite du livre d'algèbre de Saint Bourbaki, A.II.10 conformément à la codification en usage dans le traité.

Conformément à E.II.32, si $\mathrm{I}=\emptyset$, alors
\[
\prod_{\iota\in\mathrm{I}}\mathrm{E}_{\iota}=\{\emptyset\}
\]
Je ne comprends alors pas le segment d'énoncé : la structure de module produit sur cet ensemble est alors celle pour laquelle cet unique élément est $0$.

Je vous remercie par avance.

Cordialement,

Thierry


Re: Produits de modules...
il y a deux années
Si les $E_i$ sont des modules, l'élément de $\prod_{i \in I} E_i$ que l'on note habituellement $0$ est l'application qui à tout élément $i$ de $I$ fait correspondre le neutre du groupe abélien $(E_i,+)$.
Lorque $I$ est vide, cette application est l'ensemble vide.
afk
Re: Produits de modules...
il y a deux années
Du point de vue catégorique, le produit direct sur la famille vide est canoniquement isomorphe à l'objet terminal.

Ça ne t'avance pas d'un clou si tu ne connais pas les catégories mais tu peux le conprendre comme: il y a une raison méta qui justifie que c'est la bonne convention. Au point que quelqu'un connaissant les catégories pourrait trouver ta question plus étonnante que l'affirmation de Bourbaki. Tu peux regarder la définition d'objet terminal pour t'en convaincre mais je n'y passerai pas trop de temps. Bourbaki est déjà bien assez dense.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 137 323, Messages: 1 329 157, Utilisateurs: 24 391.
Notre dernier utilisateur inscrit fonction.holomorphe.


Ce forum
Discussions: 17 303, Messages: 167 811.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page