LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-08-27

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The radical of an ideal is an ideal

Statement

Let $R$ be a commutative ring and let $I ⊴ R$ be an ideal. Then $\sqrt{I}$ is an ideal of $R$ containing $I$ . If $J ⊴ R$ is another ideal with $I \subseteq J$ , then $\sqrt{I} \subseteq \sqrt{J}$ . Moreover, $\sqrt{\sqrt{I}} = \sqrt{I} .$

Facts & Assumptions

Given: A commutative ring $R$ , an ideal $I ⊴ R$ , and, for the order-preservation clause, an ideal $J ⊴ R$ with $I \subseteq J$ .

[L1]

An element lies in $\sqrt{I}$ exactly when some positive power lies in $I$ (The radical of an ideal).

[L2]

In a commutative ring, $(x + y)^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) x^{k} y^{n - k}$ for every natural number $n$ (The binomial theorem over an arbitrary commutative ring).

Proof

technique · direct

1.1L1givenalgebra

If $a \in I$ , then $a^{1} \in I$ , so $a \in \sqrt{I}$ by [L1]. Thus $I \subseteq \sqrt{I}$ . If $r \in R$ and $x \in \sqrt{I}$ , choose $n \geq 1$ with $x^{n} \in I$ . Then $(r x)^{n} = r^{n} x^{n} \in I$ , so $r x \in \sqrt{I}$ .

1.2L1L2choosealgebra

Let $x, y \in \sqrt{I}$ . Choose $m, n \geq 1$ with $x^{m} \in I$ and $y^{n} \in I$ , and set $N = m + n$ . By [L2], every term of $(x + y)^{N}$ has the form $(\binom{N}{k}) x^{k} y^{N - k}$ . For each $k$ , either $k \geq m$ or $N - k \geq n$ ; otherwise $k \leq m - 1$ and $N - k \leq n - 1$ , which would force $N \leq m + n - 2$ . Hence each term lies in $I$ , so $(x + y)^{N} \in I$ and $x + y \in \sqrt{I}$ .

2.1step 1.1step 1.2L1

Steps 1.1 and 1.2 show that $\sqrt{I}$ is an ideal containing $I$ . If $I \subseteq J$ and $x \in \sqrt{I}$ , any power of $x$ lying in $I$ also lies in $J$ , so $x \in \sqrt{J}$ . Thus radical is order-preserving.

3.1L1step 2.1choosealgebra

If $x \in \sqrt{\sqrt{I}}$ , choose $m \geq 1$ with $x^{m} \in \sqrt{I}$ , and then choose $n \geq 1$ with $x^{m n} \in I$ . By [L1], this means $x \in \sqrt{I}$ . Together with step 2.1 applied to $I \subseteq \sqrt{I}$ , this proves $\sqrt{\sqrt{I}} = \sqrt{I}$ .

4.1step 2.1step 3.1∎

The radical construction therefore sends ideals to radical ideals, contains the original ideal, and is order-preserving and idempotent.

The radical of an ideal is an ideal

Statement

Facts & Assumptions

Proof

Depends on

Dependency tree · 2 levels

Sources