## Group Theory Clarification

**Moderators:** gmalivuk, Moderators General, Prelates

### Group Theory Clarification

A problem I'm working with gives a group, a normal subgroup, and then asks me to identify G\H by using the first isomorphism theorem. What, exactly, does it mean by "identify"? Just fine another, better-known group (right now I've got the reals under multiplication) that G\H is isomorphic to? Should I also mention what the cosets of H look like?

What they (mathematicians) define as interesting depends on their particular field of study; mathematical anaylsts find pain and extreme confusion interesting, whereas geometers are interested in beauty.

### Re: Group Theory Clarification

I would probably do both, just to be safe. Say what G\H is isomorphic to, as well as a description of what the group "looks" like.

Of course, the easier thing to do is just e-mail the professor and ask what kind of answer he's looking for.

Of course, the easier thing to do is just e-mail the professor and ask what kind of answer he's looking for.

### Re: Group Theory Clarification

[imath]G/H[/imath], not [imath]G\backslash H[/imath]. [imath]G\backslash H[/imath] would be the group resulting from their set difference or something (if it's even a group).

Using the first isomorphism theorem suggests to me finding a homomorphism [imath]\phi[/imath] such that [imath]\ker \phi = H[/imath]. Then [imath]G/H[/imath] could be 'identified' as the image of [imath]\phi[/imath].

Using the first isomorphism theorem suggests to me finding a homomorphism [imath]\phi[/imath] such that [imath]\ker \phi = H[/imath]. Then [imath]G/H[/imath] could be 'identified' as the image of [imath]\phi[/imath].

Code: Select all

`_=0,w=-1,(*t)(int,int);a()??<char*p="[gd\`

~/d~/\\b\x7F\177l*~/~djal{x}h!\005h";(++w

<033)?(putchar((*t)(w??(p:>,w?_:0XD)),a()

):0;%>O(x,l)??<_='['/7;{return!(x%(_-11))

?x??'l:x^(1+ ++l);}??>main(){t=&O;w=a();}

- majikthise
**Posts:**155**Joined:**Sun Jun 10, 2007 2:28 am UTC**Location:**Bristol, UK

### Re: Group Theory Clarification

Qoppa wrote:[imath]G/H[/imath], not [imath]G\backslash H[/imath]. [imath]G\backslash H[/imath] would be the group resulting from their set difference or something (if it's even a group).

Using the first isomorphism theorem suggests to me finding a homomorphism [imath]\phi[/imath] such that [imath]\ker \phi = H[/imath]. Then [imath]G/H[/imath] could be 'identified' as the image of [imath]\phi[/imath].

Which it clearly wouldn't be, due to the lack of an identity element.

Erm, I have nothing real to add. Sorry.

Is this a wok that you've shoved down my throat, or are you just pleased to see me?

### Re: Group Theory Clarification

It would probably help if you just told us what the problem is. We shouldn't solve it for you, but it would be easier to see what the expected form of the answer is.

### Who is online

Users browsing this forum: No registered users and 15 guests