Discussion:Théorie des groupes/Produit direct et somme restreinte
Propriété universelle de la somme restreinte interne
modifierDans l'énoncé, je crois qu'on pourrait préciser :
- Si est une famille à support fini telle que pour chaque i, xi appartienne à Gi, f applique sur .
(je mets du gras pour montrer ce que je change, je ne suggère pas de mettre cela en gras dans le théorème)
Même chose dans la démo, dans la phrase contenant « pour toute famille , avec pour tout i » : on pourrait, me semble-t-il, insérer « à support fini » ou bien parler de « toute famille appartenant à S », puisque S désigne dans la démo la somme restreinte externe des .
Merci ! --Flo R. (discussion) 17 août 2018 à 16:58 (UTC)
- Vous avez de nouveau raison. Je vais corriger. Je suis heureux d'avoir un lecteur attentif et judicieux ! Marvoir (discussion) 18 août 2018 à 07:59 (UTC)
- Merci pour vos retours et les corrections appliquées. J'ai également lu tout le chapitre sur les actions de groupes (partie cours, pas exercices), je n'ai pas trouvé une seule coquille. C'est peut-être d'ailleurs pour ça qu'il n'y a pas beaucoup de commentaires dans les pages de discussion ! En tout cas, vos cours sont clairs et apportent un éclairage différent et complémentaire de ce que j'ai dans mon livre de travail, c'est très appréciable.
- --Flo R. (discussion) 18 août 2018 à 09:35 (UTC)
Théorème relatif aux morphismes conduisant à un morphisme entre les sommes restreintes externes
modifierDans la démonstration du théorème suivant :
Soient et deux familles de groupes et une famille d'homomorphismes de groupes. Si G (resp. H) désigne la somme restreinte externe des Gi (resp. des Hi), alors l’application est un homomorphisme de G dans H. Si chaque gi est un isomorphisme de Gi sur Hi, g est un isomorphisme de G sur H.
il est fait référence à deux reprises au « théorème précédent », mais il me semble que le résultat utilisé est la propriété universelle de la somme restreinte externe, qui a été énoncée certes avant, mais un peu plus avant, je crois, que ce que suggère l'expression « théorème précédent ». :-) Sauf si j'ai mal saisi le raisonnement, bien-sûr.
--Flo R. (discussion) 17 août 2018 à 20:51 (UTC)
- Il y a en effet un problème. Inadvertance lors d'une restructuration du chapitre, je suppose. Je vais corriger, en espérant ne pas introduire de nouvelles erreurs analogues. Restez vigilant... Marvoir (discussion) 18 août 2018 à 08:40 (UTC)