From a08b7393b40175683256ebe65fabfd4dc161ce79 Mon Sep 17 00:00:00 2001 From: Marek Date: Sun, 5 Sep 2021 19:04:58 +0200 Subject: [PATCH] Avoid associating nonzero elements with groups --- book/src/background/fields.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/background/fields.md b/book/src/background/fields.md index 91923dda..affc42f6 100644 --- a/book/src/background/fields.md +++ b/book/src/background/fields.md @@ -48,7 +48,7 @@ and fewer axioms. They also have an identity, which we'll denote as $1$. [group]: https://en.wikipedia.org/wiki/Group_(mathematics) [group-axioms]: https://en.wikipedia.org/wiki/Group_(mathematics)#Definition -Any non-zero element $a$ in a group has an _inverse_ $b = a^{-1}$, +Any element $a$ in a group has an _inverse_ $b = a^{-1}$, which is the _unique_ element $b$ such that $a \cdot b = 1$. For example, the set of nonzero elements of $\mathbb{F}_p$ forms a group, where the