As you can remember from Algebra courses, if $A$ is a set, and exist functions $\oplus , \odot: A \to A$ such that $(A,\oplus,\odot)$ is a ring, then such ring has a distributive property such that $$\forall \, a,b,c \in A \quad \; \, a \, \odot \, (b\, \oplus c) = (a \odot b) \; \oplus \; (a \oplus c ) $$ Or commonly said "$\odot$ distributes over $\oplus$".
My question is, ¿Is there any ring with distinct operations such that "$\oplus$ distributes over $\odot$"? Or more specifically:
$$\forall \, a,b,c \in A \quad \; \, a \, \oplus \, (b\, \odot c) = (a \oplus b) \; \odot \; (a \oplus c ) $$
Notice that what I'm looking for is a ring with a pair of operations such that "$\odot$ distributes over $\oplus$" and "$\oplus$ distributes over $\odot$" simultaneously.
It's clear that at least in rings like $\mathbb{Z}$ or $\mathbb{Q}$ or even $\mathbb{Z_2}$ this doesn't happen with usual product and sum.
I'm wondering if this can even exist, a kind of "bi-distributivity" (clearly, if this comes out as true, my dream question could be: if you have $n$ distinct operations in a set, could you have a ${n \choose 2}$-distributivity for an operation ? .
Thanks for your time.
2026-03-25 12:13:15.1774440795
"Multi-distributive" operations on sets.
65 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
let $(R,+,\cdot,0,1) $ be a ring in which $'+'$ distributes $'\cdot '$ we show that $R=0$. (In the comment section Arturo shows this is true for rings without a multiplicative unit)