Talk:Fundamental theorem on homomorphisms

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Can we link to Commutative diagram on this page to explain the diagram?

A more general theorem[edit]

This theorem is a special case of the same theorem but in witch G/K is replaced by any group L and φ is replaced by any surjective homomorphism from G to L such that kernel(φ) is included in kernel(f) (this is equivallent to K included in kernel(f) since in this special case, K = kernel(φ)).

The conclusion is the same: a unique g from L to H such that f = g o φ. —Preceding unsigned comment added by (talk) 01:01, 12 November 2007 (UTC)


We should work on a more general form based on algebra formalisms since this theorem exists for vector spaces, and rings, etc. also and can be proved more generally for a suitable algebraic structure.-- (talk) 17:03, 18 October 2010 (UTC)