What Does dad^-1 Equal for Elements in a Left-Coset Outside C_G(a)?

[Lengalicious]

Homework Statement

I need to determine dad^1 for each element d in the left-coset formed by acting on the elements in C_G(a) with the element c such that c is not an element of the subgroup C_G(a)

Homework Equations

The Attempt at a Solution

I don't really understand what the question is asking me to do? I'm fairly new to group theory and understand that d are the elements in the left-coset of the subgroup and that a is the fixed element of the group G but I'm not really familiar with d^1, why is there a 1 in the exponent of the element?

Can anyone start me off here? Or at least give me an outline of the goal?

 

[Fredrik]

I would guess that it's a prime, not a 1. d and d' are just the notations they use for two different elements of that set. (Or is it perhaps $d^{-1}$, the inverse of $d$?)

Is that the full problem statement? What is the definition of $C_G(a)$?

 

[pasmith]

Homework Statement

I need to determine dad^1

Should that not be dad^{-1}?

for each element d in the left-coset formed by acting on the elements in C_G(a) with the element c such that c is not an element of the subgroup C_G(a)

How does C_G(a) relate to the element a?

Homework Equations

The Attempt at a Solution

I don't really understand what the question is asking me to do? I'm fairly new to group theory and understand that d are the elements in the left-coset of the subgroup and that a is the fixed element of the group G but I'm not really familiar with d^1, why is there a 1 in the exponent of the element?

 

[Lengalicious]

I have updated the opening post with an attachment of the question, hopefully its more clear

 

[ChrisVer]

It obviously meant to be the inverse (it's easier to lose a minus than misclick ' for 1)...
In any case, what you are asked to do is to find dad^{-1} with a\in G and d \in cG, c does not belong to a's centralizer, that means that it doesn't commute with a...
you should try to write d and d^-1 and check what you can do...

 

[Lengalicious]

It obviously meant to be the inverse (it's easier to lose a minus than misclick ' for 1)...
In any case, what you are asked to do is to find dad^{-1} with a\in G and d \in cG, c does not belong to a's centralizer, that means that it doesn't commute with a...
you should try to write d and d^-1 and check what you can do...

Thanks for the hints and clarification

 

[Lengalicious]

It obviously meant to be the inverse (it's easier to lose a minus than misclick ' for 1)...
In any case, what you are asked to do is to find dad^{-1} with a\in G and d \in cG, c does not belong to a's centralizer, that means that it doesn't commute with a...
you should try to write d and d^-1 and check what you can do...

I'm really confused still, does the left coset commute with any of the elements? also does it obey any group axioms, or is this not relevant

Am I supposed to start with d or d^-1 = something and keep doing valid operations on it until i get to dad^-1 = something?

 

[Fredrik]

I'm also very confused by the problem statement. It appears to have at least one more typo.

The first thing you need to do is to write down the definitions of the relevant sets. The only difficulty is that the problem statement is so confusing. I would guess that "some element cG" actually means "some element $c\in G$". I don't think it can mean "some element of cG", because $cG=\{cg|g\in G\}=G$. (For all $g\in G$, we have $g=c(c^{-1}g)\in cG$).

 

[Lengalicious]

Is there a different definition for a coset of a centralizer vs a coset of a standard subgroup? And I think you are correct about the 2nd typo, I have emailed my professor to check though.

 

[micromass]

I think it's this. Take an element $a\in G$ and define

C_G(a) = \{b\in G~\vert~ba=ab\}

Take an element $c\in G$ such that $c\notin C_G(a)$, then we consider the coset $cC_G(a)$. The question is to calculate $dad^{-1}$ for each $d\in cC_G(a)$. And with that, I think you need to show that $dad^{-1}$ does not depend on $d\in C_G(a)$, but only of $a$ and $c$.

 

[Lengalicious]

I think it's this. Take an element $a\in G$ and define

C_G(a) = \{b\in G~\vert~ba=ab\}

Take an element $c\in G$ such that $c\notin C_G(a)$, then we consider the coset $cC_G(a)$. The question is to calculate $dad^{-1}$ for each $d\in cC_G(a)$. And with that, I think you need to show that $dad^{-1}$ does not depend on $d\in C_G(a)$, but only of $a$ and $c$.

Is this what I am finding? The conjugates of elements in the centralizer?

http://www.proofwiki.org/wiki/Conjugates_of_Elements_in_Centralizer

 

[Fredrik]

That's a very similar result. But I think we have told you enough to give the problem a shot now. I would recommend that you do it without looking at solutions of similar problems. Just write down the definitions of the sets mentioned in the problem statement, and then you're almost done.

 

[Lengalicious]

That's a very similar result. But I think we have told you enough to give the problem a shot now. I would recommend that you do it without looking at solutions of similar problems. Just write down the definitions of the sets mentioned in the problem statement, and then you're almost done.

Of course, sorry, this is just the 1st ever problem I've attempted in group theory and its a struggle to get my head around.

From the definition of the left coset is it correct to say $cS_G(a)=\{d~\epsilon~ G:\exists~ g ~\epsilon~ S_G(a):d=cg\}$

so $dad^{-1}=cgad^{-1}$ ?

 

[Fredrik]

From the definition of the left coset is it correct to say $cS_G(a)=\{d~\epsilon~ G:\exists~ g ~\epsilon~ S_G(a):d=cg\}$

Yes, but you can simplify the notation to $cS_G(a)=\{cg:g\in S_G(a)\}$.

so $dad^{-1}=cgad^{-1}$ ?

Good start, but you need to handle $d^{-1}$ as well.