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 70.52.10.169 (talk) 01:01, 12 November 2007 (UTC)

Generalization[edit]

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.--130.166.149.204 (talk) 17:03, 18 October 2010 (UTC)