From bcac331c52fa9275cf66a1be6b3d7d4f75f3fb79 Mon Sep 17 00:00:00 2001 From: Collin McDevitt <74151925+cmcdev-code@users.noreply.github.com> Date: Sun, 11 Feb 2024 15:50:03 -0500 Subject: [PATCH] Update ring.md (#1159) Fixed the incorrect information about the additive identity in a ring. --- docs/src/main/mdoc/typeclasses/ring.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/main/mdoc/typeclasses/ring.md b/docs/src/main/mdoc/typeclasses/ring.md index 91a61ffa9..40a951866 100644 --- a/docs/src/main/mdoc/typeclasses/ring.md +++ b/docs/src/main/mdoc/typeclasses/ring.md @@ -21,7 +21,7 @@ Notes on rings: - A ring does not necessarily have an identity under `*` (called the *multiplicative identity*). - A ring is not necessarily commutitive under `*`. - A ring does not necessarily satisfy the inverse property under `*`. -- There is not necessarily any special property of the additive identity under multiplication. +- For any x ∈ R, `0*x = x*0 = 0`. A few other types of rings: