Intereting Posts

Do we know if there exist true mathematical statements that can not be proven?
Is the following statement about rationals true or false?
Equivalent conditions for a faithfully flat module
How to prove $A=(A\setminus B)\cup (A\cap B)$
Derive $u(x,t)$ as a solution to the initial/boundary-value problem.
homomorphism $f: \mathbb{C}^* \rightarrow \mathbb{R}^*$ with multiplicative groups, prove that kernel of $f$ is infinite.
The curve $x^3− y^3= 1$ is asymptotic to the line $x = y$. Find the point on the curve farthest from the line $x = y$
How to solve cubic equations with given coefficients?
How to show that $\sin(n)$ does not converge?
A proof by René Schilling that a continuous Lévy process is integrable
Power Series proofs
The preimage of continuous function on a closed set is closed.
How many cardinals are there?
$f_*$ induces an isomorphism in homology iff the mapping cone of $f_*$ is contractible.
Algebra: What allows us to do the same thing to both sides of an equation?

I am curious whether in real numbers,

the multiplication as we know it is the only operation that

is distributive over addition and associative and commutative?

- In a noetherian integral domain every non invertible element is a product of irreducible elements
- $G$ is non abelian simple group of order $<100$ then $G\cong A_5$
- Whence this generalization of linear (in)dependence?
- Norm of element $\alpha$ equal to absolute norm of principal ideal $(\alpha)$
- Number of irreducible polynomials with degree $6$ in $\mathbb{F}_2$
- Examples of finite nonabelian groups.

I heard it is. But I am not sure and is there any way to prove it?

Since the comments below shows that x*y=0 for all x, y and

x*y=r x y also satisfies all 3 laws, it is false that the multiplication is

the only operation that satisfies all 3 laws.

What about when the multiplication has an identity element which is 1,

which means that for all x, 1*x=x*1=x.

Sorry to add, but I would appreciate the proof!

- If a cyclic group has an element of infinite order, how many elements of finite order does it have?
- Every radical ideal in a Noetherian ring is a finite intersection of primes
- Polynomial ring with integral coefficients is integral
- Existence of subgroup of order six in $A_4$
- How many cards do you need to win this Set variant
- Decomposition of polynomial into irreducible polynomials
- units of a ring of integers
- Is there an easy way to see associativity or non-associativity from an operation's table?
- If $$ and $$ are relatively prime, then $G=HK$
- Additive functor over a short split exact sequence.

Let us call a *multiplication* (on the real numbers) a map $\beta : \mathbb{R} \times \mathbb{R} \to \mathbb{R}$ which is bilinear, symmetric, associative, and satisfies $\beta(a,1)=a$. Note that we have $\beta(a,b)=ab$ for $a,b \in \mathbb{Q}$, i.e. on rational numbers such a multiplication has to be the usual one. In particular: Every *continuous* multiplication equals the usual one on all real numbers. However, it is easy to “twist” the usual multiplication with non-continuous maps:

Choose some transcendental number, for example Euler’s number $e$. Since $1,e,e^{-1}$ as well as $1,e,e^2$ are linearly independent over $\mathbb{Q}$, we can extend them to bases (Zorn’s Lemma) and then find a bijective $\mathbb{Q}$-linear map $f : \mathbb{R} \to \mathbb{R}$ such that $f(1)=1$, $f(e)=e$ and $f(e^{-1})=e^2$. Then $\beta(a,b):=f^{-1}(f(a) f(b))$ is a multiplication. Since $f$ is not multiplicative (we have $f(1)=1 \neq e^3 = f(e) f(e^{-1})$), it doesn’t coincide with the usual multiplication.

You can do the following. Let $f:\Bbb{R}\to\Bbb{R}$ be any $\Bbb{Q}$-linear bijection that satisfies $f(1)=1$, but $f$ is not the identity. Finding non-trivial examples of these is difficult, but if you believe in axiom of choice, then it follows that they exist.

Then you can just pull back the usual multiplication and define a new one, call it $*$, by the recipe

$$

a*b=f(f^{-1}(a)f^{-1}(b)),

$$

where the multiplication inside the argument of $f$ is the usual one.

We have

$$

a*b=f(f^{-1}(a)f^{-1}(b))=f(f^{-1}(b)f^{-1}(a))=b*a,

$$

because the usual multiplication is commutative. Associativity is “inherited” in the same way. As $f(1)=1$, the number $1$ is a neutral element for the new operation as well. Distributivity follows from the distributivity of the usual operations and the fact that $f(x+y)=f(x)+f(y)$ for all $x,y$. The multiplication will be different, if $f$ is not multiplicative itself. (Remark: It is not difficult to show that the only ring endomorphism of $\Bbb{R}$ is the identity, so it suffices to specify that $f$ is not the identity mapping). For example, we can prove the existence of such a mapping $f$ that interchanges $\sqrt2$ and $\pi$. With that $f$ we then get $\pi*\pi=2$, as $\pi$ takes the role of $\sqrt2$.

None of the non-identity mappings $f$ is continuous (w.r.t the usual topology) though.

After all the added assumptions by the OP, I think the problem is easier now.

Associativity, commutativity, distributivity and unity uniquely define multiplication on $\mathbb Z$.

$\mathbb Q$ is the ring of fraction of $\mathbb Z$, so it derives a unique multiplication from $\mathbb Z$.

Assuming continuity, the multiplication on $\mathbb R$ is uniquely determined by the one on $\mathbb Q$.

- The Relationship Between Cohomological Dimension and Support
- Is this $\gcd(0, 0) = 0$ a wrong belief in mathematics or it is true by convention?
- A sine integral $\int_0^{\infty} \left(\frac{\sin x }{x }\right)^n\,\mathrm{d}x$
- Integral $\int_0^\infty \exp(ia/x^2+ibx^2)dx$
- Prove there exists $m > 2010$ such that $f(m)$ is not prime
- How to solve this recurrence using generating functions?
- What is the standardized way to represent $\pi$ in binary notation?
- Soft Question: Why does the Axiom of Choice lead to the weirdest constructions?
- A good Open Source book on Analytic Geometry?
- Number of couples sitting at same table
- Prove that there exist a branch
- Continued fraction for $\int_{0}^{\infty}(e^{-xt}/\cosh t)\,dt$
- a question related to two competing patterns in coin tossing
- Quartic Equation having Galois Group as $S_4$
- Calculating the Galois group of an (irreducible) quintic