Groups of real numbers

In my last question I asked for examples of groups formed by real numbers where the operation is something different from addition or multiplication. With these words I think I could not convey what I wanted. In an attempt for further clarity in conveying my query I state the question as follow

" Are there examples of groups formed by real numbers where the binary operation of the group does not involve any addition or multiplication" I hope this time I will be getting appropriate answers.


Solution 1:

Let $W$ be the collection of all bijections from the natural numbers $\mathbb{N}$ to $\mathbb{N}$. It is a standard fact that the cardinality of $W$ is the same as the cardinality of $\mathbb{R}$.

It follows that there is a bijection $\phi: \mathbb{R}\to W$. Instead of using the notation $\phi(a)$, we will use the perhaps clearer notation $\phi_a$

For any real numbers $a$, $b$, define $a\ast b$ as follows. $$a\ast b=\phi^{-1}(\phi_a\circ \phi_b).$$

Note that $\phi_a$ and $\phi_b$ are bijections from $\mathbb{N}$ to $\mathbb{N}$, and $\phi_a\circ\phi_b$ is the composition of the functions $\phi_a$ and $\phi_b$, defined by $$(\phi_a\circ\phi_b)(n)=\phi_a(\phi_b(n)),$$ (apply $\phi_b$, then apply $\phi_a$ to the result). It is clear that $\phi_a\circ\phi_b$ is a bijection.

It is not hard to verify that under the operation $\ast$, the real numbers form a group, indeed a very non-abelian group. Ordinary sum and product are nowhere involved in the definition of $\ast$.

Comment: The above answer is a special case of the general construction method "You can realize any group whose cardinality is the continuum this way" in the answer of Yuval Filmus.

Solution 2:

Choose a permutation $\pi$ of the real numbers, and define a group using $f(a,b) = \pi^{-1}(\pi(a) + \pi(b))$. While this "involves" addition, if you don't know $\pi$, then the operation would look quite random.

You can realize any group whose cardinality is the continuum this way. Which of them would you consider addition-like or multiplication-like?

Solution 3:

Please link to the other question. What was wrong with the idea to take your favorite group and name each element in the operation table with a real number? For example, the Klein group: $$\begin {array} {cccc} 0&\sqrt{2}&5.3&\pi \\\sqrt{2}&0&\pi&5.3\\5.3&\pi&0&\sqrt{2}\\ \pi&5.3&\sqrt{2}&0 \end{array}$$ No addition or multiplication in sight. Silly, perhaps, but I don't understand what you are looking for, so maybe this will help define the question.

Solution 4:

How about identify the reals in $(0,1)$ with the canonical set of subsets of $\mathbb{N}$? Of course you need to deal with the ambiguity of trailing 0 versions and trailing 1 versions of the terminating ones-a bijection will solve that. Then use symmetric set difference operation as your operation. Biject $(0,1)$ with $\mathbb{R}$ in your favorite way-mine is arctangents.