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

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.

• Since $x,y,xyz$ also generates your group, it's pretty easy to see it is just (free group on $x,y$)$\times$(free abelian group on $xyz$). – Steve D Mar 27 '18 at 20:59
• Thank you @SteveD! I appreciate your comment! – Zuriel Mar 27 '18 at 21:00

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.
{"ft_lang_label":"__label__en","ft_lang_prob":0.9151218,"math_prob":0.9970813,"size":500,"snap":"2020-24-2020-29","text_gpt3_token_len":137,"char_repetition_ratio":0.13508065,"word_repetition_ratio":0.0,"special_character_ratio":0.25,"punctuation_ratio":0.10377359,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9972099,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-07-11T18:24:57Z\",\"WARC-Record-ID\":\"<urn:uuid:7525a273-ba79-49f4-8575-03c051682858>\",\"Content-Length\":\"142041\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:bf07e804-f938-4c70-a8a6-f56955723575>\",\"WARC-Concurrent-To\":\"<urn:uuid:2a047507-8b26-47dd-b852-1fb18e27e8bf>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2710862/a-group-generated-by-3-elements-such-that-the-product-of-generators-is-in-the\",\"WARC-Payload-Digest\":\"sha1:J7WURO3UDWTYIJRYEM6ZZGIJJP6NVC3J\",\"WARC-Block-Digest\":\"sha1:TRH2JHKWJC4PJC5XOXVWX7ZV44H22K5H\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-29/CC-MAIN-2020-29_segments_1593655934052.75_warc_CC-MAIN-20200711161442-20200711191442-00165.warc.gz\"}"}