3
$\begingroup$

Let $G=$. Consider a homomorphism $\phi$ from $G$ to $$ where $\phi(a)=c^2$ and $\phi(b)=c$. Can someone help me decide what group the kernel of this map is? Thanks!

  • 0
    In particular the kernel is the infinite dihedral group, generated by $ab^{-2}$ and $bab^{-3}$.2011-02-10

1 Answers 1

2

This may help to understand this group:

Every element can be written as $a^{i_1} b^{j_1} a^{i_2} b^{j_2}\cdots$.

Now since $a^2$ and $b^2$ both commute with both $a$ and $b$ we can collect even powers on one side, for instance $a^7b^3ab = abab\cdot a^6b^2$. Now substituting $a^2$ by $b^4$ on the right, on obtains an expression of the form $ b^\epsilon (ab)^n a^{\epsilon^\prime} b^{2\ell}$, where $\epsilon,\epsilon^\prime \in \{0,1\}$ and $n \in \mathbb N$ and $\ell \in \mathbb Z$.

Now it should be easy to see which of these elements are in the kernel of the map.

[edit] I've given it some more thought, this might help too. I haven't double checked the details yet though so there may be a mistake somewhere.

The kernel consists of elements of this form $ (ab)^{2x} b^{-6x} , (ab)^{2x} a b^{-6x-2}, (ba)^{2x} b^{-6x}, (ba)^{2x+1}b^{-6x-3}$ Note for instance that $(ab)^{2x} a b^{-6x-2} = (ab)^{2x+1} b^{-6x-3}$ so one can collect these into $ (ab)^n b^{-3n} , (ba)^n b^{-3n}$ These are still related because $ (ba)^{-1} = a^{-1} b^{-1} = ab b^{-2}a^{-2} = ab b^{-2}b^{-4} = ab b^{-6},$ therefore with $m = -n$ we have that $ (ba)^n b^{-3n} = (ba)^{-m} b^{3m} = (ab b^{-6})^m b^{3m} = (ab)^m b^{3m-6m} = (ab)^{-n} b^{3n}$ therefore the kernel is the set of all $ (ab)^n b^{-3n},$ where $n \in \mathbb Z$. Denote $(ab)^n b^{-3n}$ by $g_n$, then we can attempt to determine the group law as function of $n$ and we find that

  • $g_u g_v = g_{u+v}$ if $u$ is even
  • $g_u g_v = g_{u-v}$ if $u$ is odd

This would imply the kernel is isomorphic to a group $(\mathbb Z,\circ)$ where $a\circ b = a + (-1)^a b$. Note that $2\mathbb Z$ is a normal subgroup and note that all odd numbers are involutions that act nontrivial on $2\mathbb Z$ by sending $a$ to $-a$.

I think that would make the exact structure $C_\infty \rtimes C_2$, where $C_\infty \cong (\mathbb Z,+)$ is the subgroup $2\mathbb Z$ and $C_2$ is (for instance) the subgroup ${0,1}\cong C_2$ acting nontrivially on $C_\infty$ by sending every element to its inverse.

[edit 2] And now I notice the comment underneath the question that points to a solution making this a bit pointless...

  • 0
    Note that I continued my efforts a bit further.2011-02-10