Skip to main content
We’ve updated our Terms of Service. A new AI Addendum clarifies how Stack Overflow utilizes AI interactions.
Construction is rewritten in more formal terms.
Source Link
Ilya Bogdanov
  • 25.1k
  • 56
  • 97

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

ChooseLet me describe the construction more formally. Let $\circ$ be a base incomponentwise multiplicaion on $\mathbb R^n$ so that all nonzero elements of $\mathbb Z^n$ have nonzero yet algebraic coordinates in this base. For thse coordinates, define a coordinatewise multiplication $*$i. Finallye., define $x\circ y=(ex)*y$$(x_1,\dots,x_n)\circ(y_1,\dots,y_n)=(x_1y_1,\dots,x_ny_n)$. The operation $\circ$ is what you need since

Choose a no nonzero vector in-degenerate matrix $\mathbb Z^n$ is a product of two other$S$ such vectorsthat each its column consists of $n$ algebraic numbers linearly independent over $\mathbb Q$.

Example. If This ensures that for every nonzero $n=1$, then$x\in\mathbb Z^n$ all the first step is unnecessary: one may just definecomponents of $x\circ y=exy$$xS$ are nonzero.

ForNow define $$ x*y=e\bigl((xS)\circ(yS)\bigr)S^{-1}, $$ where $n>1$, the first step$e$ is needed to avoid large annihilators of nonzero elementsthe base of $\mathbb Z^n$natural logarithms. Say, for $n=2$ we introduce a base $(1,\sqrt2)$, We claim that $(\sqrt2,1)$. The new coordinates of$*$ is a vector $(x,y)\in\mathbb R^2$ are $(x',y')=(y\sqrt2-x,x\sqrt2-y)$desired operation. Now, given $(x_1,y_1),(x_2,y_2)\in\mathbb R^2$, we take their new coordinates $(x_1',y_1')$ andOne may easily see that the algebras $(x_2',y_2')$$(\mathbb R,+,*)$ and multiply them coordinatewise to get $(x_1'x_2',y_1'y_2')$ which$(\mathbb R,+,\circ)$ are isomorphic, the new coordinates of $(x_1,y_1)*(x_2,y_2)$. So its old coordinates are $(x_1'x_2'+y_1'y_2'\sqrt2,x_1'x_2'\sqrt2+y_1'y_2')$. Multiplying themisomorphism is provided by $e$ we get$x\mapsto exS$. Thus $(x_1,y_1)\circ(x_2,y_2)$$*$ is associative and distributive over addition.

In the new coordinatesNext, this operation is just a componentwise multiplication (conjugated by a multiplication byfor every nonzero $e$)$x,y\in\mathbb Z^n$, so it is associative and distributive. THe changethe product $(xS)\circ(yS)$ consists of coordinatesnonzero algebraic numbers, so $\bigl((xS)\circ(yS)\bigr)S^{-1}$ is performed to achieve that all coordinates of a nonzero vector fromwith algebraic components. Thus $x*y$ contains at least one transcendent component and thus does not lie in $\mathbb Z^n$. Therefore, the conditions 1) and 2) are trivially satisfied (for nonzero $z$).

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

Choose a base in $\mathbb R^n$ so that all nonzero elements of $\mathbb Z^n$ have nonzero yet algebraic coordinates in this base. For thse coordinates, define a coordinatewise multiplication $*$. Finally, define $x\circ y=(ex)*y$. The operation $\circ$ is what you need since no nonzero vector in $\mathbb Z^n$ is a product of two other such vectors.

Example. If $n=1$, then the first step is unnecessary: one may just define $x\circ y=exy$.

For $n>1$, the first step is needed to avoid large annihilators of nonzero elements of $\mathbb Z^n$. Say, for $n=2$ we introduce a base $(1,\sqrt2)$, $(\sqrt2,1)$. The new coordinates of a vector $(x,y)\in\mathbb R^2$ are $(x',y')=(y\sqrt2-x,x\sqrt2-y)$. Now, given $(x_1,y_1),(x_2,y_2)\in\mathbb R^2$, we take their new coordinates $(x_1',y_1')$ and $(x_2',y_2')$ and multiply them coordinatewise to get $(x_1'x_2',y_1'y_2')$ which are the new coordinates of $(x_1,y_1)*(x_2,y_2)$. So its old coordinates are $(x_1'x_2'+y_1'y_2'\sqrt2,x_1'x_2'\sqrt2+y_1'y_2')$. Multiplying them by $e$ we get $(x_1,y_1)\circ(x_2,y_2)$.

In the new coordinates, this operation is just a componentwise multiplication (conjugated by a multiplication by $e$), so it is associative and distributive. THe change of coordinates is performed to achieve that all coordinates of a nonzero vector from $\mathbb Z^n$ are nonzero.

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

Let me describe the construction more formally. Let $\circ$ be a componentwise multiplicaion on $\mathbb R^n$, i.e., $(x_1,\dots,x_n)\circ(y_1,\dots,y_n)=(x_1y_1,\dots,x_ny_n)$.

Choose a no-degenerate matrix $S$ such that each its column consists of $n$ algebraic numbers linearly independent over $\mathbb Q$. This ensures that for every nonzero $x\in\mathbb Z^n$ all the components of $xS$ are nonzero.

Now define $$ x*y=e\bigl((xS)\circ(yS)\bigr)S^{-1}, $$ where $e$ is the base of natural logarithms. We claim that $*$ is a desired operation. One may easily see that the algebras $(\mathbb R,+,*)$ and $(\mathbb R,+,\circ)$ are isomorphic, the isomorphism is provided by $x\mapsto exS$. Thus $*$ is associative and distributive over addition.

Next, for every nonzero $x,y\in\mathbb Z^n$, the product $(xS)\circ(yS)$ consists of nonzero algebraic numbers, so $\bigl((xS)\circ(yS)\bigr)S^{-1}$ is a nonzero vector with algebraic components. Thus $x*y$ contains at least one transcendent component and thus does not lie in $\mathbb Z^n$. Therefore, the conditions 1) and 2) are trivially satisfied (for nonzero $z$).

Example added.
Source Link
Ilya Bogdanov
  • 25.1k
  • 56
  • 97

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

Choose a base in $\mathbb R^n$ so that all nonzero elements of $\mathbb Z^n$ have nonzero yet algebraic coordinates. (It suffices to choose a in this base consisting of vectors whose coordinates are $\mathbb Q$-independent algebraic numbers). In a new baseFor thse coordinates, refinedefine a coordinatewise multiplication $*$. Finally, define $x\circ y=(ex)*y$. The operation $\circ$ is what you need since no nonzero vector in $\mathbb Z^n$ is a product of two other such vectors.

Example. If $n=1$, then the first step is unnecessary: one may just define $x\circ y=exy$.

For $n>1$, the first step is needed to avoid large annihilators of nonzero elements of $\mathbb Z^n$. Say, for $n=2$ we introduce a base $(1,\sqrt2)$, $(\sqrt2,1)$. The new coordinates of a vector $(x,y)\in\mathbb R^2$ are $(x',y')=(y\sqrt2-x,x\sqrt2-y)$. Now, given $(x_1,y_1),(x_2,y_2)\in\mathbb R^2$, we take their new coordinates $(x_1',y_1')$ and $(x_2',y_2')$ and multiply them coordinatewise to get $(x_1'x_2',y_1'y_2')$ which are the new coordinates of $(x_1,y_1)*(x_2,y_2)$. So its old coordinates are $(x_1'x_2'+y_1'y_2'\sqrt2,x_1'x_2'\sqrt2+y_1'y_2')$. Multiplying them by $e$ we get $(x_1,y_1)\circ(x_2,y_2)$.

In the new coordinates, this operation is just a componentwise multiplication (conjugated by a multiplication by $e$), so it is associative and distributive. THe change of coordinates is performed to achieve that all coordinates of a nonzero vector from $\mathbb Z^n$ are nonzero.

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

Choose a base in $\mathbb R^n$ so that all nonzero elements of $\mathbb Z^n$ have nonzero yet algebraic coordinates. (It suffices to choose a base consisting of vectors whose coordinates are $\mathbb Q$-independent algebraic numbers). In a new base, refine a coordinatewise multiplication $*$. Finally, define $x\circ y=(ex)*y$. The operation $\circ$ is what you need since no nonzero vector in $\mathbb Z^n$ is a product of two other such vectors.

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

Choose a base in $\mathbb R^n$ so that all nonzero elements of $\mathbb Z^n$ have nonzero yet algebraic coordinates in this base. For thse coordinates, define a coordinatewise multiplication $*$. Finally, define $x\circ y=(ex)*y$. The operation $\circ$ is what you need since no nonzero vector in $\mathbb Z^n$ is a product of two other such vectors.

Example. If $n=1$, then the first step is unnecessary: one may just define $x\circ y=exy$.

For $n>1$, the first step is needed to avoid large annihilators of nonzero elements of $\mathbb Z^n$. Say, for $n=2$ we introduce a base $(1,\sqrt2)$, $(\sqrt2,1)$. The new coordinates of a vector $(x,y)\in\mathbb R^2$ are $(x',y')=(y\sqrt2-x,x\sqrt2-y)$. Now, given $(x_1,y_1),(x_2,y_2)\in\mathbb R^2$, we take their new coordinates $(x_1',y_1')$ and $(x_2',y_2')$ and multiply them coordinatewise to get $(x_1'x_2',y_1'y_2')$ which are the new coordinates of $(x_1,y_1)*(x_2,y_2)$. So its old coordinates are $(x_1'x_2'+y_1'y_2'\sqrt2,x_1'x_2'\sqrt2+y_1'y_2')$. Multiplying them by $e$ we get $(x_1,y_1)\circ(x_2,y_2)$.

In the new coordinates, this operation is just a componentwise multiplication (conjugated by a multiplication by $e$), so it is associative and distributive. THe change of coordinates is performed to achieve that all coordinates of a nonzero vector from $\mathbb Z^n$ are nonzero.

Source Link
Ilya Bogdanov
  • 25.1k
  • 56
  • 97

I assume that conditions 1) and 2) are applies to nonzero $z$ only, otherwise each of them ia absurd.

Choose a base in $\mathbb R^n$ so that all nonzero elements of $\mathbb Z^n$ have nonzero yet algebraic coordinates. (It suffices to choose a base consisting of vectors whose coordinates are $\mathbb Q$-independent algebraic numbers). In a new base, refine a coordinatewise multiplication $*$. Finally, define $x\circ y=(ex)*y$. The operation $\circ$ is what you need since no nonzero vector in $\mathbb Z^n$ is a product of two other such vectors.