Can a countably infinite torsion group exist in which the density of squares is double the density of non-squares?

Can a countably infinite torsion group exist in which the density of squares is double the density of non squares?

By $x\in G$ being a square I simply mean there exists $y\in G$ satisfying $y\cdot y=x$

Does the question have different answers if we assume the group to be finitely, or infinitely generated?

Let me define "double the density" more precisely.

There exists a numbering of $G$ such that for every set $S_x=\{y: y\circ y=x\}$, there is a least element $S_x(0)=\min{(S_x)}$ which can be numbered either $\equiv 0,1,$ or $2\pmod{3}$ and every element of $S_x$ which is numbered $\equiv n\pmod{3}$ has a unique right-successor in $S_x$ which is numbered $\equiv n+1\pmod{3}$.

Then every element which is numbered $\equiv1,2\pmod{3}$ is a square of infinitely many elements and every element numbered $\equiv0\pmod{3}$ is a square of none.

Solution 1:

I voted to close this question as it is unclear. I have now changed my mind, and instead feel that it would be more beneficial to write an answer explaining:

1. why the question is unclear, and

2. how to make the underlying issue formal.

So, the question is unclear because the description of "double the density" does not make sense - a countable set can be "numbered" is basically any way. For example, it is "clear" that half of the integers are even...but we can number our integers by the following function: $$f(n)=\begin{cases} 3n/2 & n=2k\\ 3(n-1)/2+1&n=4k+1\\ 3(n-1)/2-1&n=4k-1 \end{cases}$$ Then, by the OPs logic, one third of the integers are even! This is silly, and why I voted to close the question as unclear.

Now, how should we make it formal that "half" of the integers are even? Well, one way is to look at the Cayley graph of $\mathbb{Z}=\langle 1\rangle$. Consider the closed ball of even radius $r=2k$ centered at $0$. Then $k+1$ of the elements in this ball are even numbers, so the proportion of even numbers is $(k+1)/(2k+1)$. So take the limit (use $k$ not $r$ as formula changes if $r$ is odd): $$\begin{align*} \lim_{k\rightarrow\infty}\frac{k+1}{2k+1} &=\lim_{k\rightarrow\infty}\frac{k+1}{2k+1}\times\frac{1/k}{1/k}\\ &=1+\lim_{k\rightarrow\infty}\frac{1+\frac1k}{2+\frac1k} \\ &=\frac12 \end{align*}$$

Okay, so how to do this in groups, rather than just in $\mathbb{Z}$? Well, you might be interested in the paper Y. Antolin, A. Martino, E. Ventura, Degree of Commutativity of Iinfinite Groups, Proc. Amer. Math. Soc. 145.2 (2017): 479-485 (link). They use the above idea to generalise an old result on finite groups. The "degree of commutativity" of a finite group $G$ is defined as:

$$\operatorname{dc}(G) =\frac{ |\{(u, v) \in G^2 : uv = vu\}|}{|G|^2}$$

roughly speaking, it is the proportion of commuting elements in your group. Note that $\operatorname{dc}(G)=1$ if and only if $G$ is abelian. The classical result is:

Theorem (Gustafson, 1973). Let $G$ be a finite group. If $\operatorname{dc}(G) > 5/8$, then $G$ is abelian.

The authors of the above paper used balls in Cayley graphs, as in my above example of $\mathbb{Z}$, to define the degree of commutativity of a group $G$ given by generating set $X$, denoted $\operatorname{dc}_X(G)$. They proved the following:

Theorem. Let $G$ be a finitely generated residually finite group of subexponential growth, and let $X$ be a finite generating set for $G$. Then:

1. $\operatorname{dc}_X(G) > 0$ if and only if $G$ is virtually abelian;

2. $\operatorname{dc}_X(G) > 5/8$ if and only if $G$ is abelian.

Solution 2:

As pointed out in the comments, two thirds of an infinite group is not necessarily well-defined. But you could reasonably say if $H$ is a subgroup of $G$ with finite index $q$, then the union of $p$ distinct cosets of $H$ makes up $\frac{p}{q}$rds of $G$.

In that sense, the answer is no. Let $H=\{y^2|y\in G\}$ - then $H$ is a subgroup of $G$ so it makes up exactly $\frac{1}{[G:H]}$rds of $G$. That's at most $\frac{1}{2}$ if $H$ isn't the whole thing; it can't be 2/3rds.

($\mathbb{Z}/3\mathbb{Z}$ isn't an example either. Additively, every element is a square root. Multiplicatively, there's 2 elements, one of which is a square root.)