Skip to main content
added 74 characters in body
Source Link

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated. Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated. Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated. Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

deleted 13 characters in body; edited title
Source Link

The roots of unity in a tensor product of orderscommutative rings

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated (an order). Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

The roots of unity in a tensor product of orders

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated (an order). Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

The roots of unity in a tensor product of commutative rings

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated. Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

Added tag, made title more specific, minor edits in body.
Source Link

The roots of the unity in commutative ringsa tensor product of orders

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated (an order). Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of the unity inof $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\to\mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\mapsto u\otimes v,$$$$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

The roots of the unity in commutative rings

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated. Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of the unity in $A_i$, i.e., elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\to\mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\mapsto u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

The roots of unity in a tensor product of orders

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated (an order). Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of the equation $x^2=x$ in $A_i$. Denote by $\mu(A_i)$ the group of roots of unity of $A_i$, i.e., the elements of finite multiplicative order in $A_i$.

Problem. Is the map $$\mu(A_1)\times\mu(A_2)\ \longrightarrow\ \mu(A_1\otimes_{\mathbb Z}A_2),\;\;(u,v)\ \longmapsto\ u\otimes v,$$ surjective?

(The problem is posed 9.07.2018 by Tristan Tilly from Leiden University on page 25 of Volume 2 of the Lviv Scottish Book).

Prize for solution: An eternal welcome in Netherlands, and a bottle of liquor of your choice.

edited title
Link
Taras Banakh
  • 41.8k
  • 3
  • 74
  • 183
Loading
improved the title; fixed a typo
Source Link
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322
Loading
Source Link
Loading