I The quotient group of a group with a presentation

1,456
44
Suppose that we know that ##G=\langle S \mid R\rangle##, that is, ##G## has a presentation. If ##N\trianglelefteq G##, what can be said about ##G/N##? I know that for example, if ##G=\langle x,y \rangle##, then ##G/N = \langle xN, yN \rangle##. But is there anything that can be said about the relations in ##G##as they might correspond to relations for ##G/N##, or is there no correspondence in the relations?
 

fresh_42

Mentor
Insights Author
2018 Award
11,594
8,060
Suppose that we know that ##G=\langle S \mid R\rangle##, that is, ##G## has a presentation. If ##N\trianglelefteq G##, what can be said about ##G/N##?
That it is a group.
I know that for example, if ##G=\langle x,y \rangle##, then ##G/N = \langle xN, yN \rangle##. But is there anything that can be said about the relations in ##G##as they might correspond to relations for ##G/N##, or is there no correspondence in the relations?
A relation is a word with letters from the set of generators which multiplies to ##1##. Now ##\pi\, : \,G \twoheadrightarrow G/N## is a group homomorphism, so ##\pi(R)=1_{G/N}## where the left hand side is a word with letters from the images of the generators. Say ##R=a^nb^m## then ##N=(a^nb^m)N=(aN)^n(bN)^m##. You could say that ##\bar{R}=\pi(R)## is a relation in ##G/N##.
 

Want to reply to this thread?

"The quotient group of a group with a presentation" You must log in or register to reply here.

Related Threads for: The quotient group of a group with a presentation

Replies
8
Views
2K
  • Posted
Replies
4
Views
2K
  • Posted
Replies
2
Views
2K
Replies
4
Views
2K
  • Posted
Replies
4
Views
2K
  • Posted
Replies
2
Views
1K
  • Posted
Replies
7
Views
3K
Replies
1
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top