From 11b6eca837f7dd571428324568ede59fb2f4e1a1 Mon Sep 17 00:00:00 2001 From: Manuel Meister Date: Fri, 31 Jan 2025 11:54:06 +0100 Subject: [PATCH] Replace bbR with normal R --- docs/5-algebra.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/5-algebra.md b/docs/5-algebra.md index e4197df..d1e9235 100644 --- a/docs/5-algebra.md +++ b/docs/5-algebra.md @@ -980,7 +980,7 @@ A *field*[^35] is a nontrivial commutative ring $F$ in which every nonzero eleme In other words, a ring $F$ is a field if and only if $\langle F \setminus \{0\}; \;\cdot\; ,\,^{−1}, 1\rangle$ is a abelian group. ::: example Example 5.44.{#example-5-44} -$ℚ$, $ℝ$, and $ℂ$ are fields, but $ℤ$ and $ℝ[x]$ (for any ring $R$) are not fields. +$ℚ$, $ℝ$, and $ℂ$ are fields, but $ℤ$ and $R[x]$ (for any ring $R$) are not fields. ::: ::: proposition Theorem 5.23.{#theorem-5-23}