Search results

  • ...<math>F</math> into <math>E</math>, and <math>p</math> is a [[surjective]] homomorphism of <math>E</math> onto <math>G</math> such that the [[kernel]] of <math>p</ .../math> into <math>F\times G</math>, and <math>p</math> is the [[projection homomorphism]] onto <math>G</math>.
    5 KB (901 words) - 19:53, 27 May 2008
  • ...math>F</math> and <math>G</math> be groups, and let <math>\tau</math> be a homomorphism from <math>G</math> into the group of automorphisms of <math>F</math>. The ...[group extension]] of <math>G</math> by <math>F</math> with a section (the projection onto <math>G</math>). The converse is also true. Indeed, if <math>\mathca
    3 KB (488 words) - 20:51, 27 May 2008