0
$\begingroup$

Let $C_G(x)$ be the centralizer of $x$, $G=D_{2p}$ with $2p$ elements the dihedral group and $C_p$ the cyclic group. I'm looking for an element $x\in G$, that does NOT hold the equation $$C_G(x \bmod C_p ) = C_G(x) C_p $$ Can anyone help me please?

  • 1
    You cannot compute a centralizer in $G$ of an element of $G/C_p$, so $C_G(x\bmod C_p)$ does not really make sense. Do you mean, $C_{G/C_p}(x\bmod C_p)$? And is $p$ necessarily a prime? An odd prime?2012-04-19
  • 0
    I'm using the text http://www.ams.org/mathscinet-getitem?mr=276318 and try to get, that the inequation $k(G). For this I need that $C(σ modN)=C(σ)N $ is wrong for one element of $G$. The notations are the same as in the article. And yes, $p$ is an odd prime.2012-04-19
  • 0
    Doesn't really matter what text you are using, what you wrote makes no sense for the reason I explained: you cannot compute the centralizer in $G$ of an element in $G/C_p$, which is neither a subgroup nor an overgroup of $G$. The mathreview in question is abusing notation, probably to mean something along the lines of what I wrote. And what about $p$?2012-04-19
  • 0
    Sorry, I wasn't ready with my comment2012-04-19
  • 0
    Ok, would it make sense, if the first centralizer would be $C_{G/C_p}$?2012-04-19
  • 0
    Yes: in that case, $r$ itself works.2012-04-19
  • 0
    Great, thank you very much!2012-04-19

1 Answers 1

1

Let $D_{2n} = \langle r,s\mid r^n = s^2 = 1,\ sr=r^{-1}s\rangle.$

We have, with $0\leq i,t\lt n$, $0\leq j,k \lt 2$, $$(r^is^j)(r^ts^k) = \left\{\begin{array}{cc}r^{(i-t)\bmod n}s^{(j+k)\bmod 2}&\text{if }j=1\\ r^{(i+t)\bmod n}s^{(j+k)\bmod 2}&\text{if }j=0.\end{array}\right.$$ So:

  1. If $j=k=0$, then $r^ir^t = r^tr^i$.
  2. If $j=0$, $k=1$, then $r^i(r^ts) = (r^ts)r^i$ if and only if $t-i\equiv t+i\pmod{n}$, if and only if $2i\equiv 0\pmod{n}$, if and only if $i=0$ or $n$ is even and $i=n/2$.
  3. If $k=1$, $j=0$, then $(r^is) r^t = r^t(r^is)$ if and only if $i-t\equiv i+t\pmod{n}$, if and only if $2t\equiv 0\pmod{n}$, if and only if $t=0$, or $n$ is even and $t=n/2$.
  4. If $j=k=1$, then $(r^is)(r^ts) = (r^ts)(r^is)$ if and only if $i-t\equiv t-i\pmod{n}$, if and only if $2t\equiv 2i\pmod{n}$, if and only if $i\equiv t\pmod{n/\gcd(n,2)}$.

So: since you are working with $n=p$ an odd prime, we have:

  1. If $i\neq 0$, $C_G(r^i) = \langle r\rangle$. All these elements work: $C_G(r^i) = C_p$, $r^i\bmod C_p = C_p$, $C_{G/C_p}(r^i\bmod C_p) = C_{G/C_p}(C_p) = G/C_p$, but $C_G(r^i)C_p$ is the trivial element of $G/C_p$.

  2. $C_G(s) = \langle s\rangle$. Here, $C_{G/C_p}(s\bmod C_p) = G/C_p$, but $C_G(s)C_p = \langle s\rangle C_p = G/C_p$ as well.

  3. If $i\neq 0$, $C_g(r^is) = \langle r^is\rangle$. Here $C_{G/C_p}(r^is\bmod C_p)=G/C_p$, and $C_{G}(s)C_p = \langle r^is\rangle C_p = G/C_p$ as well.

So any nontrivial power of $r$ will work.