Discussion:Théorème de factorisation

Dernier commentaire : il y a 9 ans par Dfeldmann dans le sujet Catégories
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Toutes les conditions sont donnés comme suffisantes alors qu'elles sont aussi nécessaires.

modifier

Est-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)Répondre

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)Répondre

Relation entre le théorème de factorisation et le théorème d'isomorphisme

modifier

Salut,

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

modifier

Pour 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

modifier

Ne 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)Répondre

Revenir à la page « Théorème de factorisation ».