Discussion:Théorème de factorisation
Toutes les conditions sont donnés comme suffisantes alors qu'elles sont aussi nécessaires.
modifierEst-ce un parti pris (on ne mets pas ce qui est évident), ou une omission. Personnellement, je préfère être lourd et redondant. Sinon, je trouve que c'est un bon débuit MAIS il faut des liens in et out . --Palustris (d) 17 novembre 2009 à 08:21 (CET)
Oui, c'est express. Mon expérience personnelle est qu'on se sert rarement des conditions nécessaires dans ces énoncés. Mais si tu veux les ajouter, il n'y a pas de problème. Pour les liens, vas-y. Liu (d) 17 novembre 2009 à 21:22 (CET)
Relation entre le théorème de factorisation et le théorème d'isomorphisme
modifierSalut,
j'aimerai savoir quel est la différence entre le théorème de factorisation et le théorème d'isomorphisme et d’où est tiré (de quel livre) le le théorème de factorisation et s'il vous plait qui est K un groupe ? Merci — Le message qui précède, non signé, a été déposé par Kiroro (discuter), le 15/11/2013.
Preuve(s) dans le cas des ensembles
modifierPour répondre à cette discussion au Thé, j'ai enrichi la première boîte déroulante de quelques variantes. J'ai voulu conserver en premier la preuve existante (simple), et mettre 2 preuves sourcées. Je précise que la 2e preuve est une copie fidèle de celle de Bourbaki, qui utilise donc explicitement une section. La 4e est un TI (mais probablement sourçable) pour équilibrer. J'avais voulu mettre des titres simples mais c'est à revoir, car la preuve de Bourbaki est la seule qui utilise vraiment l'axiome du choix. Anne, 2/9/15, 9 h 38
Catégories
modifierNe pourrait-on donner la traduction dans le langage des catégories (ensemble quotient considéré comme objet initial ?), ou au moins la référence correspondante à Ens IV (Structures) chez Bourbaki ?--Dfeldmann (discuter) 2 septembre 2015 à 11:01 (CEST)