Return to Question

edited body

Source Link

edited Mar 7, 2022 at 6:06

Motivation: for any ring $R$ there is the natural monomorphism $\mathrm{in} \colon R \to \mathrm{End}(R_{add}): r \mapsto (x \mapsto rx)$, where $R_{add}$ is an additive abelian group ( rings are assumed to be associative with identity, but not necessarily commutative). So a ring is exactly an Abelianabelian group with a distinguished subgroupsubgring of its endomorphisms (and a fixed bijection between elements and distinguished endomorphisms). Some rings are "complete" in the sense that they "contain" all endomorphisms of the underlying abelian group. For example, $\mathrm{in}$ is an isomorphism for $R = \mathbb{Z}, \mathbb{Q}, \mathbb{Z}_n$.

What is known about the classification of Abelianabelian groups $A$ such that there is an isomorphism between the Abelianabelian groups $\mathrm{End}(A)$ and $A$?

Each such isomorphism gives some "complete ring" structure on $A$.

What is known about the uniqueness (up to isomorphism) of the "complete ring" structure on an Abelianabelian group?

I'm interested in the answers to these questions, with any additional assumptions that seem natural to you. I am especially interested in the answers for commutative rings.

Motivation: for any ring $R$ there is the natural monomorphism $\mathrm{in} \colon R \to \mathrm{End}(R_{add}): r \mapsto (x \mapsto rx)$, where $R_{add}$ is an additive abelian group ( rings are assumed to be associative with identity, but not necessarily commutative). So a ring is exactly an Abelian group with a distinguished subgroup of its endomorphisms (and a fixed bijection between elements and distinguished endomorphisms). Some rings are "complete" in the sense that they "contain" all endomorphisms of the underlying abelian group. For example, $\mathrm{in}$ is an isomorphism for $R = \mathbb{Z}, \mathbb{Q}, \mathbb{Z}_n$.

What is known about the classification of Abelian groups $A$ such that there is an isomorphism between the Abelian groups $\mathrm{End}(A)$ and $A$?

Each such isomorphism gives some "complete ring" structure on $A$.

What is known about the uniqueness (up to isomorphism) of the "complete ring" structure on an Abelian group?

I'm interested in the answers to these questions, with any additional assumptions that seem natural to you. I am especially interested in the answers for commutative rings.

Motivation: for any ring $R$ there is the natural monomorphism $\mathrm{in} \colon R \to \mathrm{End}(R_{add}): r \mapsto (x \mapsto rx)$, where $R_{add}$ is an additive abelian group ( rings are assumed to be associative with identity, but not necessarily commutative). So a ring is exactly an abelian group with a distinguished subgring of its endomorphisms (and a fixed bijection between elements and distinguished endomorphisms). Some rings are "complete" in the sense that they "contain" all endomorphisms of the underlying abelian group. For example, $\mathrm{in}$ is an isomorphism for $R = \mathbb{Z}, \mathbb{Q}, \mathbb{Z}_n$.

What is known about the classification of abelian groups $A$ such that there is an isomorphism between the abelian groups $\mathrm{End}(A)$ and $A$?

Each such isomorphism gives some "complete ring" structure on $A$.

What is known about the uniqueness (up to isomorphism) of the "complete ring" structure on an abelian group?

I'm interested in the answers to these questions, with any additional assumptions that seem natural to you. I am especially interested in the answers for commutative rings.

Source Link

asked Mar 2, 2022 at 12:41

Arshak Aivazian

Abelian groups such that $A \cong \mathrm{End}(A)$ and "complete rings"

Motivation: for any ring $R$ there is the natural monomorphism $\mathrm{in} \colon R \to \mathrm{End}(R_{add}): r \mapsto (x \mapsto rx)$, where $R_{add}$ is an additive abelian group ( rings are assumed to be associative with identity, but not necessarily commutative). So a ring is exactly an Abelian group with a distinguished subgroup of its endomorphisms (and a fixed bijection between elements and distinguished endomorphisms). Some rings are "complete" in the sense that they "contain" all endomorphisms of the underlying abelian group. For example, $\mathrm{in}$ is an isomorphism for $R = \mathbb{Z}, \mathbb{Q}, \mathbb{Z}_n$.

What is known about the classification of Abelian groups $A$ such that there is an isomorphism between the Abelian groups $\mathrm{End}(A)$ and $A$?

Each such isomorphism gives some "complete ring" structure on $A$.

What is known about the uniqueness (up to isomorphism) of the "complete ring" structure on an Abelian group?

I'm interested in the answers to these questions, with any additional assumptions that seem natural to you. I am especially interested in the answers for commutative rings.