A group generated by $3$ elements such that the product of generators is in the centre

285 Views Asked by At

Let $G$ be a group generated by $x,y,z$ such that the product $xyz$ is in its centre; that is, $xyz$ commutes with any element $g\in G$.

Questions

  1. What is the "freest" example of such a group $G$? Is it isomorphic to any familiar group?
  2. Are there any other non-Abelian groups that satisfy this property?

I can prove that the inner homomorphism group of $G$ is isomorphic to the free group with two generators. Another fact that is not hard to deduce is that $xyz=yzx=zxy$. Not sure if this helps.

1

There are 1 best solutions below

0
On

So, your group is $\langle x, y, z \, | \, [x, xyz] = [y, xyz] = [z, xyz] = 1\rangle $. It has obvious homomorphism to $\langle x, y, z \, | \, xyz = 1\rangle$ with kernel $\Bbb Z$, so it's a central extension of free group on 2 generators. As you can construct a section (because free group, is, actually, free), central extension splits and your group is isomorphic to $F_2 \times \Bbb Z.$

edit: It's pretty obvious that any other group of this kind is a factor of $F_2 \times \Bbb Z$, and you can construct plenty of those.