Skip to main content
3 of 7
corrected typo.
mathoverflowUser
  • 3.1k
  • 1
  • 9
  • 36

Are these finite semirings known?

I am trying to prove the properties below, and by doing this, I hope to find a way to speed up the computation of the below defined addition and multiplication. I am also interested if these finite semirings are known (If the algebraic structure can be proven to be a semiring).

Context: I am interpreting the factorization trees, such as $T_{19}$ shown here, which knows the factorization of every number $1 \le m \le 19$, as decision trees for numbers which might be larger then $19$. For this interpretation I take every node of the tree as asking recursively the number $N$ a question concerning its smallest prime divisor.

factorization_tree_for_n=_19

Each number $N$ then is classified / projected on one of the numbers $1,\cdots,19$, which I denote as $\pi_n(N)$.

Idea: First we define $\pi_n(N):= \max_{ x \le N, x \in D(n) \cap [n]} x $, where $D(n)$ denotes the set of divisors of $n$ which are sorted with the lexicographic prime factorization ordering, which is denoted as $\le$ and the $\max$ is being taken with respect to this ordering and $[n]:=\{1,2,\cdots,n\}$.

Conjectured properties, which could maybe be proven:

  • $\forall m \leq n \in \mathbb{N}: \pi_n(m) = m$
  • $\forall N \in \mathbb{N}: 1 \leq \pi_n(N) \leq n$
  • $\forall N \in \mathbb{N}: \pi_n(N) \, | \, N$
  • $\forall N \in \mathbb{N}: \pi_n(\pi_n(N)) = \pi_n(N)$
  • (?) $\forall a,b \in \mathbb{N}: \pi_n(a \cdot b) \le \pi_n(a) \cdot \pi_n(b)$

We define the "successor" function on $[n]:=\{1,2,\ldots,n\}$:

$$ \psi: [n] \rightarrow [n] $$

$$ m \mapsto \pi_n(m+1) $$

We define addition on $[n]$ as $\oplus$:

$$ \oplus: [n] \times [n] \rightarrow [n] $$

$$(a , b) \mapsto \psi^{(b)}(a) = \psi(\psi(...(\psi(a))...))$$

where the successor function $\psi$ is iterated $b$ times.

We define the multiplication on $[n]$ as $\otimes$:

$$\otimes: [n] \times [n] \rightarrow [n]$$

$$ (a , b) \mapsto a \oplus a \oplus \ldots \oplus a $$

where the addition will be iterated $b$ times.

Conjectured properties of the operations

  • $([n], \oplus,\otimes)$ is an abelian semiring (without neccessarily having a $0$ and a $1$).

Idea for notation

Idea for notation: $a \equiv b \operatorname{proj}(n)$ if and only if $\pi_n(a) = \pi_n(b)$.

Therefore,

  • $a \operatorname{proj}(n) := \pi_n(a)$
  • $a + b \operatorname{proj}(n) := \pi_n(a) \oplus \pi_n(b)$
  • $a \cdot b \operatorname{proj}(n) := \pi_n(a) \otimes \pi_n(b)$ (Definition consisent on equivalence classes?)

Conjectured properties (semiring definition)

  • $a + b \operatorname{proj}(n) \equiv b + a \operatorname{proj}(n)$
  • $a \cdot b \operatorname{proj} \equiv b \cdot a \operatorname{proj}(n)$
  • $a \cdot (b + c) \operatorname{proj}(n) \equiv a \cdot b + a \cdot c \operatorname{proj}(n)$
  • $a + (b+c) \operatorname{proj}(n) \equiv (a+b) + c \operatorname{proj}(n)$
  • $a \cdot (b \cdot c) \operatorname{proj}(n) \equiv (a \cdot b) \cdot c \operatorname{proj}(n)$

We get:

$$ a = b \iff \forall n \in \mathbb{N}: a \operatorname{proj}(n) \equiv b \operatorname{proj}(n) $$

If, $a = b \implies \forall n \in \mathbb{N}: \pi_n(a) = \pi_n(b)$, thus $a \equiv b \operatorname{proj}(n)$. On the other hand, if we let $n = \max(a,b)$, then $1 \leq a, b \leq n \implies a = \pi_n(a) = \pi_n(b) = b$.

Examples of addition and multiplication tables $\oplus$ for $n=1$ $$ \left(\begin{array}{r}1\end{array}\right) $$

$\otimes$ for $n=1$ $$ \left(\begin{array}{r}1\end{array}\right) $$

$\oplus$ for $n=2$ $$ \left(\begin{array}{rr}2 & 1 \\ 1 & 2 \end{array}\right) $$

$\otimes$ for $n=2$ $$ \left(\begin{array}{rr}1 & 2 \\ 2 & 2 \end{array}\right) $$

$\oplus$ for $n=3$ $$ \left(\begin{array}{rrr}2 & 3 & 2 \\ 3 & 2 & 3 \\ 2 & 3 & 2\end{array}\right) $$

$\otimes$ for $n=3$ $$ \left(\begin{array}{rrr} 1 & 2 & 3 \\ 2 & 2 & 2 \\ 3 & 2 & 3\end{array}\right) $$

$\oplus$ for $n=4$ $$ \left(\begin{array}{rrrr}2 & 3 & 4 & 1 \\ 3 & 4 & 1 & 2 \\ 4 & 1 & 2 & 3 \\ 1 & 2 & 3 & 4\end{array}\right) $$

$\otimes$ for $n=4$ $$ \left(\begin{array}{rrrr}1 & 2 & 3 & 4 \\ 2 & 4 & 2 & 4 \\ 3 & 2 & 1 & 4 \\ 4 & 4 & 4 & 4\end{array}\right) $$

$\oplus$ for $n=5$ $$ \left(\begin{array}{rrrrr} 2 & 3 & 4 & 5 & 2 \\ 3 & 4 & 5 & 2 & 3 \\ 4 & 5 & 2 & 3 & 4 \\ 5 & 2 & 3 & 4 & 5 \\ 2 & 3 & 4 & 5 & 2 \end{array}\right) $$

$\otimes$ for $n=5$ $$ \left(\begin{array}{rrrrr} 1 & 2 & 3 & 4 & 5 \\ 2 & 4 & 2 & 4 & 2 \\ 3 & 2 & 5 & 4 & 3 \\ 4 & 4 & 4 & 4 & 4 \\ 5 & 2 & 3 & 4 & 5 \end{array}\right) $$

$\oplus$ for $n=6$ $$ \left(\begin{array}{rrrrrr} 2 & 3 & 4 & 5 & 6 & 1 \\ 3 & 4 & 5 & 6 & 1 & 2 \\ 4 & 5 & 6 & 1 & 2 & 3 \\ 5 & 6 & 1 & 2 & 3 & 4 \\ 6 & 1 & 2 & 3 & 4 & 5 \\ 1 & 2 & 3 & 4 & 5 & 6 \end{array}\right) $$

$\otimes$ for $n=6$ $$ \left(\begin{array}{rrrrrr} 1 & 2 & 3 & 4 & 5 & 6 \\ 2 & 4 & 6 & 2 & 4 & 6 \\ 3 & 6 & 3 & 6 & 3 & 6 \\ 4 & 2 & 6 & 4 & 2 & 6 \\ 5 & 4 & 3 & 2 & 1 & 6 \\ 6 & 6 & 6 & 6 & 6 & 6 \end{array}\right) $$

$\oplus$ for $n=7$ $$ \left(\begin{array}{rrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 4 \\ 3 & 4 & 5 & 6 & 7 & 4 & 5 \\ 4 & 5 & 6 & 7 & 4 & 5 & 6 \\ 5 & 6 & 7 & 4 & 5 & 6 & 7 \\ 6 & 7 & 4 & 5 & 6 & 7 & 4 \\ 7 & 4 & 5 & 6 & 7 & 4 & 5 \\ 4 & 5 & 6 & 7 & 4 & 5 & 6 \end{array}\right) $$

$\otimes$ for $n=7$ $$ \left(\begin{array}{rrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 2 & 4 & 6 & 4 & 6 & 4 & 6 \\ 3 & 6 & 5 & 4 & 7 & 6 & 5 \\ 4 & 4 & 4 & 4 & 4 & 4 & 4 \\ 5 & 6 & 7 & 4 & 5 & 6 & 7 \\ 6 & 4 & 6 & 4 & 6 & 4 & 6 \\ 7 & 6 & 5 & 4 & 7 & 6 & 5 \end{array}\right) $$

$\oplus$ for $n=8$ $$ \left(\begin{array}{rrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 3 \\ 3 & 4 & 5 & 6 & 7 & 8 & 3 & 4 \\ 4 & 5 & 6 & 7 & 8 & 3 & 4 & 5 \\ 5 & 6 & 7 & 8 & 3 & 4 & 5 & 6 \\ 6 & 7 & 8 & 3 & 4 & 5 & 6 & 7 \\ 7 & 8 & 3 & 4 & 5 & 6 & 7 & 8 \\ 8 & 3 & 4 & 5 & 6 & 7 & 8 & 3 \\ 3 & 4 & 5 & 6 & 7 & 8 & 3 & 4 \end{array}\right) $$

$\otimes$ for $n=8$ $$ \left(\begin{array}{rrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 2 & 4 & 6 & 8 & 4 & 6 & 8 & 4 \\ 3 & 6 & 3 & 6 & 3 & 6 & 3 & 6 \\ 4 & 8 & 6 & 4 & 8 & 6 & 4 & 8 \\ 5 & 4 & 3 & 8 & 7 & 6 & 5 & 4 \\ 6 & 6 & 6 & 6 & 6 & 6 & 6 & 6 \\ 7 & 8 & 3 & 4 & 5 & 6 & 7 & 8 \\ 8 & 4 & 6 & 8 & 4 & 6 & 8 & 4 \end{array}\right) $$

$\oplus$ for $n=9$ $$ \left(\begin{array}{rrrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 2 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 2 & 3 \\ 4 & 5 & 6 & 7 & 8 & 9 & 2 & 3 & 4 \\ 5 & 6 & 7 & 8 & 9 & 2 & 3 & 4 & 5 \\ 6 & 7 & 8 & 9 & 2 & 3 & 4 & 5 & 6 \\ 7 & 8 & 9 & 2 & 3 & 4 & 5 & 6 & 7 \\ 8 & 9 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 9 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 2 \end{array}\right) $$

$\otimes$ for $n=9$ $$ \left(\begin{array}{rrrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 2 & 4 & 6 & 8 & 2 & 4 & 6 & 8 & 2 \\ 3 & 6 & 9 & 4 & 7 & 2 & 5 & 8 & 3 \\ 4 & 8 & 4 & 8 & 4 & 8 & 4 & 8 & 4 \\ 5 & 2 & 7 & 4 & 9 & 6 & 3 & 8 & 5 \\ 6 & 4 & 2 & 8 & 6 & 4 & 2 & 8 & 6 \\ 7 & 6 & 5 & 4 & 3 & 2 & 9 & 8 & 7 \\ 8 & 8 & 8 & 8 & 8 & 8 & 8 & 8 & 8 \\ 9 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \end{array}\right) $$

$\oplus$ for $n=10$ $$ \left(\begin{array}{rrrrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 1 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 1 & 2 \\ 4 & 5 & 6 & 7 & 8 & 9 & 10 & 1 & 2 & 3 \\ 5 & 6 & 7 & 8 & 9 & 10 & 1 & 2 & 3 & 4 \\ 6 & 7 & 8 & 9 & 10 & 1 & 2 & 3 & 4 & 5 \\ 7 & 8 & 9 & 10 & 1 & 2 & 3 & 4 & 5 & 6 \\ 8 & 9 & 10 & 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 9 & 10 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 10 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \end{array}\right) $$

$\otimes$ for $n=10$ $$ \left(\begin{array}{rrrrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 2 & 4 & 6 & 8 & 10 & 2 & 4 & 6 & 8 & 10 \\ 3 & 6 & 9 & 2 & 5 & 8 & 1 & 4 & 7 & 10 \\ 4 & 8 & 2 & 6 & 10 & 4 & 8 & 2 & 6 & 10 \\ 5 & 10 & 5 & 10 & 5 & 10 & 5 & 10 & 5 & 10 \\ 6 & 2 & 8 & 4 & 10 & 6 & 2 & 8 & 4 & 10 \\ 7 & 4 & 1 & 8 & 5 & 2 & 9 & 6 & 3 & 10 \\ 8 & 6 & 4 & 2 & 10 & 8 & 6 & 4 & 2 & 10 \\ 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1 & 10 \\ 10 & 10 & 10 & 10 & 10 & 10 & 10 & 10 & 10 & 10 \end{array}\right) $$

$\oplus$ for $n=11$ $$ \left(\begin{array}{rrrrrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 & 5 \\ 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 & 5 & 6 \\ 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 & 5 & 6 & 7 \\ 6 & 7 & 8 & 9 & 10 & 11 & 4 & 5 & 6 & 7 & 8 \\ 7 & 8 & 9 & 10 & 11 & 4 & 5 & 6 & 7 & 8 & 9 \\ 8 & 9 & 10 & 11 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 9 & 10 & 11 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 10 & 11 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 \\ 11 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 & 5 \\ 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 4 & 5 & 6 \end{array}\right) $$

$\otimes$ for $n=11$ $$ \left(\begin{array}{rrrrrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 2 & 4 & 6 & 8 & 10 & 4 & 6 & 8 & 10 & 4 & 6 \\ 3 & 6 & 9 & 4 & 7 & 10 & 5 & 8 & 11 & 6 & 9 \\ 4 & 8 & 4 & 8 & 4 & 8 & 4 & 8 & 4 & 8 & 4 \\ 5 & 10 & 7 & 4 & 9 & 6 & 11 & 8 & 5 & 10 & 7 \\ 6 & 4 & 10 & 8 & 6 & 4 & 10 & 8 & 6 & 4 & 10 \\ 7 & 6 & 5 & 4 & 11 & 10 & 9 & 8 & 7 & 6 & 5 \\ 8 & 8 & 8 & 8 & 8 & 8 & 8 & 8 & 8 & 8 & 8 \\ 9 & 10 & 11 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 10 & 4 & 6 & 8 & 10 & 4 & 6 & 8 & 10 & 4 & 6 \\ 11 & 6 & 9 & 4 & 7 & 10 & 5 & 8 & 11 & 6 & 9 \end{array}\right) $$

$\oplus$ for $n=12$ $$ \left(\begin{array}{rrrrrrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 1 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 1 & 2 \\ 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 1 & 2 & 3 \\ 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 1 & 2 & 3 & 4 \\ 6 & 7 & 8 & 9 & 10 & 11 & 12 & 1 & 2 & 3 & 4 & 5 \\ 7 & 8 & 9 & 10 & 11 & 12 & 1 & 2 & 3 & 4 & 5 & 6 \\ 8 & 9 & 10 & 11 & 12 & 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 9 & 10 & 11 & 12 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 10 & 11 & 12 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 11 & 12 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 12 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \end{array}\right) $$

$\otimes$ for $n=12$ $$ \left(\begin{array}{rrrrrrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ 2 & 4 & 6 & 8 & 10 & 12 & 2 & 4 & 6 & 8 & 10 & 12 \\ 3 & 6 & 9 & 12 & 3 & 6 & 9 & 12 & 3 & 6 & 9 & 12 \\ 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 & 12 \\ 5 & 10 & 3 & 8 & 1 & 6 & 11 & 4 & 9 & 2 & 7 & 12 \\ 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 \\ 7 & 2 & 9 & 4 & 11 & 6 & 1 & 8 & 3 & 10 & 5 & 12 \\ 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 & 12 \\ 9 & 6 & 3 & 12 & 9 & 6 & 3 & 12 & 9 & 6 & 3 & 12 \\ 10 & 8 & 6 & 4 & 2 & 12 & 10 & 8 & 6 & 4 & 2 & 12 \\ 11 & 10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1 & 12 \\ 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 \end{array}\right) $$

$\oplus$ for $n=13$ $$ \left(\begin{array}{rrrrrrrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 & 3 \\ 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 & 3 & 4 \\ 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 & 3 & 4 & 5 \\ 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 & 3 & 4 & 5 & 6 \\ 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 & 3 & 4 & 5 & 6 & 7 \\ 8 & 9 & 10 & 11 & 12 & 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 9 & 10 & 11 & 12 & 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 10 & 11 & 12 & 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 11 & 12 & 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 12 & 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 \\ 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 2 \end{array}\right) $$

$\otimes$ for $n=13$ $$ \left(\begin{array}{rrrrrrrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 \\ 2 & 4 & 6 & 8 & 10 & 12 & 2 & 4 & 6 & 8 & 10 & 12 & 2 \\ 3 & 6 & 9 & 12 & 3 & 6 & 9 & 12 & 3 & 6 & 9 & 12 & 3 \\ 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 & 12 & 4 \\ 5 & 10 & 3 & 8 & 13 & 6 & 11 & 4 & 9 & 2 & 7 & 12 & 5 \\ 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 \\ 7 & 2 & 9 & 4 & 11 & 6 & 13 & 8 & 3 & 10 & 5 & 12 & 7 \\ 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 & 12 & 8 \\ 9 & 6 & 3 & 12 & 9 & 6 & 3 & 12 & 9 & 6 & 3 & 12 & 9 \\ 10 & 8 & 6 & 4 & 2 & 12 & 10 & 8 & 6 & 4 & 2 & 12 & 10 \\ 11 & 10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 13 & 12 & 11 \\ 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 \\ 13 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 \end{array}\right) $$

$\oplus$ for $n=14$ $$ \left(\begin{array}{rrrrrrrrrrrrrr} 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 \\ 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 \\ 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 \\ 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 \\ 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 \\ 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 10 & 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 11 & 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ 12 & 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 \\ 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 \\ 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 \\ 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 3 & 4 \end{array}\right) $$

$\otimes$ for $n=14$ $$ \left(\begin{array}{rrrrrrrrrrrrrr} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 \\ 2 & 4 & 6 & 8 & 10 & 12 & 14 & 4 & 6 & 8 & 10 & 12 & 14 & 4 \\ 3 & 6 & 9 & 12 & 3 & 6 & 9 & 12 & 3 & 6 & 9 & 12 & 3 & 6 \\ 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 & 12 & 4 & 8 \\ 5 & 10 & 3 & 8 & 13 & 6 & 11 & 4 & 9 & 14 & 7 & 12 & 5 & 10 \\ 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 & 6 & 12 \\ 7 & 14 & 9 & 4 & 11 & 6 & 13 & 8 & 3 & 10 & 5 & 12 & 7 & 14 \\ 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 & 12 & 8 & 4 \\ 9 & 6 & 3 & 12 & 9 & 6 & 3 & 12 & 9 & 6 & 3 & 12 & 9 & 6 \\ 10 & 8 & 6 & 4 & 14 & 12 & 10 & 8 & 6 & 4 & 14 & 12 & 10 & 8 \\ 11 & 10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 14 & 13 & 12 & 11 & 10 \\ 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 & 12 \\ 13 & 14 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 \\ 14 & 4 & 6 & 8 & 10 & 12 & 14 & 4 & 6 & 8 & 10 & 12 & 14 & 4 \end{array}\right) $$

Visualization of addition and multiplication tables for $n=100$

addition_table_for_n=100

multiplication_table_for_n=100

mathoverflowUser
  • 3.1k
  • 1
  • 9
  • 36