Alternative group laws over the reals I am tutoring a younger student in Algebra (primary school) and during the discussion about laws of addition and multiplication (commutativity, associativity, distributivity) I mentioned to her that a lot of the things we are learning about (polynomials, solving equations,etc.) apply equally if we  use completely different operations to combine numbers as long as they obey the same set of rules. She seemed to buy this, but did not look satisfied without an example - and I wasn't about give a 13 year old a crash course in abstract algebra to use a more complicated example. 
Later when I got home I realized that I didn't know of the existence of any group laws over the set of real numbers other than the canonical addition and multiplication laws. Do any exist? I would love to present something like this as a problem at our next lesson.
 A: If we only need to use the real numbers as a set, it is relatively easy to construct such examples (although I don't think they'll be particularly illuminating); one example would be, the group structure of a free abelian group with an uncountable basis, e.g. $\bigoplus_{\mathbb{R}}\mathbb{Z}$. This set has the same cardinality as $\mathbb{R}$, and choosing some bijection, we can give $\mathbb{R}$ that group structure; but it is a different group structure than that of $\mathbb{R}$ (see here for an explanation of why $\mathbb{R}$ can't be a free abelian group). Note that the free group on $\mathbb{R}$ also has the same cardinality as $\mathbb{R}$, but as it's nonabelian I felt that that might be harder to grasp.
A: One can present the usual laws but in disguise. For example, $a\ast b=a\sqrt{1+b^2}+b\sqrt{1+a^2}$ is based on a one-to-one function $u$ on the real line in the sense that $u(a\ast b)=u(a)+u(b)$. Any such function $u$ gives rise to a group structure.
Debriefing (in the sense of Pete L. Clark): $u=\sinh^{-1}$.
A: A standard exercise is to show that $a!b=ab+a+b$ makes a group out of the reals, omitting $-1$. 
EDIT: Remembered another example: $a\star b=\root3\of{a^3+b^3}$ makes a group out of the reals. 
