Talk:Fundamental theorem on homomorphisms
Can we link to Commutative diagram on this page to explain the diagram?
A more general theorem
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(φ)).
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.--188.8.131.52 (talk) 17:03, 18 October 2010 (UTC)