Saved in:
Bibliographic Details
Main Author: Kuroki, Ryota
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2408.09222
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913471007817728
author Kuroki, Ryota
author_facet Kuroki, Ryota
contents We give a constructive counterpart of the theorem of Andrunakievič and Rjabuhin, which states that every reduced ring is a subdirect product of domains. As an application, we extract a constructive proof of the fact that every ring $A$ satisfying $\forall x\in A. x^3=x$ is commutative from a classical proof. We also prove a similar result for semiprime ideals.
format Preprint
id arxiv_https___arxiv_org_abs_2408_09222
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A constructive counterpart of the subdirect representation theorem for reduced rings
Kuroki, Ryota
Rings and Algebras
16D70 (Primary) 16N60, 16U80, 16Z05, 03F65 (Secondary)
We give a constructive counterpart of the theorem of Andrunakievič and Rjabuhin, which states that every reduced ring is a subdirect product of domains. As an application, we extract a constructive proof of the fact that every ring $A$ satisfying $\forall x\in A. x^3=x$ is commutative from a classical proof. We also prove a similar result for semiprime ideals.
title A constructive counterpart of the subdirect representation theorem for reduced rings
topic Rings and Algebras
16D70 (Primary) 16N60, 16U80, 16Z05, 03F65 (Secondary)
url https://arxiv.org/abs/2408.09222