Viewing topic: Relations Subgroup

See sub-topics for Relations Subgroup ... >> Mathematics >> Algebraic Topology >> Relations Subgroup

Highest Rated Sign

No video has been submitted for this term

Nobody has posted a sign yet.

Relations Subgroup

  • Definition: Given G, suppose we are given a family of generators {x_a}_(a in J) of generators for G. Let F be the the free group on the elements {x_a}. Then the obvious map h(x_a) = x_a of these elements into G extends to a homomorphism h: F -> G that is surjective. If N equals the kernel of h, then F/N is isomorphic to G. So one way of specifying G is to give a family {x_a} of generators for G, and somehow to specify the subgroup N. Each element of N is called a relation on F, and N is called the relations subgroup.

    Source: Topology (second edition) by James R. Munkres

  • There are no comments for this topic.