# Example of an infinite balanced nonabelian group

A group is called a balanced group provided that, for all $a,b \in G$, either $ab=ba$ or $a^2=b^2$.

Example of (possibly infinite) balanced groups are abelian groups. An example of a finite balanced nonabelian group is the Quaternion group.

Does it exist an infinite balanced nonabelian group?

-

3
Yes, $Q_8 \times \mathbb{Z}_2^\omega$ is balanced, where $Q_8$ is the quaternion group of order $8$ and $\mathbb{Z}_2^\omega$ is the direct sum of infinitely many copies of $\mathbb{Z}_2$. – Jim Belk Jun 6 '11 at 8:16
@Jim: Oh yes you're right! Why didn't I think about such a simple example? Thanks. – Thomas Connor Jun 6 '11 at 8:28
@Jim: I think you should post this as an answer so that the question can be closed by having an accepted answer. – t.b. Jun 6 '11 at 8:47
@Theo: OK, I'd be happy to. – Jim Belk Jun 6 '11 at 8:58
@Jim: Thanks! ${}$ – t.b. Jun 6 '11 at 9:01

## 2 Answers

Yes, $Q_8 \times \mathbb{Z}_2^\omega$ is balanced, where $Q_8$ is the quaternion group of order $8$ and $\mathbb{Z}_2^\omega$ is the direct sum of infinitely many copies of $\mathbb{Z}_2$.

-

As Jim Belk has quite rightly pointed out, there do exist infinite non-abelian examples. However, there do not exist any infinite finitely generated examples of non-abelian balanced groups.

Proof:

Suppose $G$ is non-abelian, balanced, infinite, and finitely generated. Group elements are either central or non-central (obviously), and the non-central ones square to some fixed element, $u$. As groups do not contain non-trivial idempotents (elements such that $e^2=e$), one has that $u \in Z(G)$.

Noting that for $x$ some non-central generator, $xu\not\in Z(G)$ so $u=(xu)^2=u^3$ and so $u^2=1$. Further, $uw^2=u$ for all $w\in Z(G)$, by the same logic. Thus, $W^2=u$ for all $W\in G\setminus Z(G)$ while $W^2=1$ for all $W \in Z(G)$.

Therefore, every element has order either 2 or 4. One can either plow on ahead (I don't think it is too hard, but it is a tad tedious) to prove the problem outright, or one can apply an early result about Burnsides Problem: a finitely generated group in which each element has order a divisor of 4 is finite. Ta-da!

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9378979206085205, "perplexity_flag": "head"}