Classes of commutative clean rings (Q1959927): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2053934123 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly clean rings and almost clean rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ring theory and pointfree topology. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2847611 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4740609 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039904 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Feebly projectable algebraic frames and multiplicative filters of ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Neat rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epimorphismen von kommutativen Ringen / rank | |||
Normal rank |
Latest revision as of 08:24, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classes of commutative clean rings |
scientific article |
Statements
Classes of commutative clean rings (English)
0 references
12 October 2010
0 references
Throughout \(R\) is a commutative ring with identity. The ring \(R\)\ is said to be \textit{clean} if each element of \(R\) is the sum of a unit and an idempotent and \(R\) is \textit{weakly clean} if each element of \(R\) is the sum or difference of a unit and an idempotent. Recently clean rings have received wide attention. This paper introduces the notion of an \(I\)-clean ring. Let \(I\) be an ideal of \(R\). Then \(R\) is said to be \(I\)\textit{-clean} (resp., \textit{weakly \(I\)-clean}) if for each \(a\in R\)\ there is an idempotent \(e\) such that \(a-e\) (resp., at least one of \(a+e\) or \(a-e\)) is\ a unit and \(ae\in I\). The paper characterizes \(I\)-clean rings for the ideals \(0\), \(\sqrt{0}\), \(J(R)\) and \(R\) in terms of ring theoretic properties, multiplicative Noetherian filters of ideals (a filter of ideals\ is multiplicative if it is closed under products and is Noetherian if every ideal belonging to the filter contains a finitely generated ideal belonging to the filter), and the frame \(\mathfrak{C}_{R}\) of multiplicative Noetherian filters. We have the following theorems. Theorem 1. The following are equivalent: (1) \(R\) is \(0\)-clean, (2) \(R\) is weakly \(0\)-clean, (3) \(R\) is von Neumann regular, and (4) for finitely generated ideals \(I\) and \(J\), \(\sqrt{I}=\sqrt{J}\) implies \(I=J\). Theorem 2. The following are equivalent: (1) \(R\) is \(\sqrt{0}\)-clean, (2) \(R\) is weakly \( \sqrt{0}\)-clean, (3) \(R\)\ is\(\;\)zero dimensional, (4) for every finitely generated ideal \(I\) there is an idempotent \(e\) such that \(I^{n}=Re\) for some natural number \(n\), and (5) \(\mathfrak{C}_{R}\) is a zero-dimensional frame. Theorem 3. The following are equivalent: (1) \(R\) is \(J(R)\)-clean, (2) \(R\) is weakly \(J(R)\)-clean, (3) \(R/J(R)\) is von Neumann regular and idempotents lift mod \(J(R)\), (4) for every finitely generated ideal \(I\) there is an idempotent \(e\) such that \(I+J=R\) iff \(eR\subseteq J\) for any finitely generated ideal \(J\), and (5) \(\mathfrak{C}_{R}\) is a projective frame. Theorem 4. The following are equivalent: (1) \(R\) is clean and (2) \(\mathfrak{C}_{R}\) is feebly projective.
0 references
clean rings
0 references
weakly clean ring
0 references