Determining if Subset is a Subgroup by using Group Presentation

  • Thread starter Bacle
  • Start date
662
1
Hi, Algebraists:

Say I'm given a group's presentation G=<X|R>, with

X a finite set of generators, R the set of relations. A couple of questions, please:

i)If S is a subset of G what condition must the generators of

S satisfy for S to be a subgroup of G ? I know there is a condition

that if for any a,b in S, then S is a subgroup of G if ab^-1 is in S, but

I am tryng to work only with the generating set.

ii) If A,B are known to be subgroups of G; G as above: what

condition do I need on the generators of A,B respectively,

in order to tell if A is a subgroup of G? Is inclusion enough?

Thanks.
 
1,545
10
I think a subset of a group which is generated by a set of generators is automatically a subgroup. I may be wrong though.
 
662
1
I got this one: a necessary and sufficient condition is that every generator of A can be
written as a word in B.
 

Related Threads for: Determining if Subset is a Subgroup by using Group Presentation

Replies
19
Views
7K
Replies
4
Views
2K
Replies
1
Views
539
  • Posted
Replies
4
Views
997
  • Posted
Replies
3
Views
2K
Replies
19
Views
2K
Replies
1
Views
511

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