- #1

- 1,456

- 44

- I
- Thread starter Mr Davis 97
- Start date

- #1

- 1,456

- 44

- #2

fresh_42

Mentor

- 13,580

- 10,704

That it is a group.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##?

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##.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?

- Last Post

- Replies
- 8

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 2K

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 7

- Views
- 3K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 1

- Views
- 3K