Results 1 to 5 of 5

Thread: Prove that for any a E G, Ca is a subgroup of G.

  1. #1
    Member
    Joined
    Feb 2010
    Posts
    84

    Prove that for any a E G, Ca is a subgroup of G.

    For a fixed element a of a group G, the set Ca = {x E G | ax = xa } is the centralizer of a in G.

    Prove that for any a E G, Ca is a subgroup of G.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by rainyice View Post
    For a fixed element a of a group G, the set Ca = {x E G | ax = xa } is the centralizer of a in G.

    Prove that for any a E G, Ca is a subgroup of G.
    Where is it you are stuck on this question?

    Let $\displaystyle x, y \in C_a$. Then you need to check that $\displaystyle xy \in Ca$ and $\displaystyle x^{-1} \in Ca$. This is precisely what you would always do to check something is a subgroup.

    Checking that $\displaystyle xy$ is in $\displaystyle C_a$ is almost elementary (substitute $\displaystyle `xy'$ in the above condition for $\displaystyle `x$), but the fact that $\displaystyle x^{-1} \in C_a$ is not immediately obvious. However, just take the condition, and pre- and post-multiply by $\displaystyle x^{-1}$ to get that the condition also holds for $\displaystyle x^{-1}$
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Feb 2010
    Posts
    84
    Quote Originally Posted by Swlabr View Post
    Where is it you are stuck on this question?

    Let $\displaystyle x, y \in C_a$. Then you need to check that $\displaystyle xy \in Ca$ and $\displaystyle x^{-1} \in Ca$. This is precisely what you would always do to check something is a subgroup.

    Checking that $\displaystyle xy$ is in $\displaystyle C_a$ is almost elementary (substitute $\displaystyle `xy'$ in the above condition for $\displaystyle `x$), but the fact that $\displaystyle x^{-1} \in C_a$ is not immediately obvious. However, just take the condition, and pre- and post-multiply by $\displaystyle x^{-1}$ to get that the condition also holds for $\displaystyle x^{-1}$

    Currently, this is my first time start to know Group Theory. I don't really know how to prove if it is a subgroup or not because I do not know where and how I should start...
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by rainyice View Post
    Currently, this is my first time start to know Group Theory. I don't really know how to prove if it is a subgroup or not because I do not know where and how I should start...
    It'll be in your notes. To prove that $\displaystyle H$ is a sugroup of $\displaystyle G$ you have to prove two things,

    That for all $\displaystyle g, h \in H$ then $\displaystyle g*h \in H$, and for all $\displaystyle h \in H$, $\displaystyle h^{-1} \in H$.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Apr 2010
    Posts
    78
    Quote Originally Posted by Swlabr View Post
    It'll be in your notes. To prove that $\displaystyle H$ is a sugroup of $\displaystyle G$ you have to prove two things,

    That for all $\displaystyle g, h \in H$ then $\displaystyle g*h \in H$, and for all $\displaystyle h \in H$, $\displaystyle h^{-1} \in H$.
    And you'll also need to show there's at least something in the group, usually $\displaystyle e\in H$ suffices. The reason is that the empty set satisfies those two conditions but it's not a group
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove H is a subgroup
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Sep 2nd 2011, 10:34 AM
  2. Prove C is a subgroup of G...
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Sep 29th 2010, 12:55 AM
  3. prove it is a subgroup
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Oct 13th 2008, 10:41 AM
  4. Prove C(H) is a subgroup of G
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Sep 28th 2008, 10:08 AM
  5. prove for subgroup
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Mar 20th 2008, 08:15 PM

Search Tags


/mathhelpforum @mathhelpforum