From 629db20fa3589b773938c677fceaa7b7f8f757ed Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Sat, 5 Oct 2024 19:35:34 +0200 Subject: [PATCH] chore: a few typos in algebra (#1187) --- src/commutative-algebra/boolean-rings.lagda.md | 2 +- src/commutative-algebra/category-of-commutative-rings.lagda.md | 2 +- src/finite-algebra/semisimple-commutative-finite-rings.lagda.md | 2 +- src/ring-theory/category-of-rings.lagda.md | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/commutative-algebra/boolean-rings.lagda.md b/src/commutative-algebra/boolean-rings.lagda.md index 8886402056..6ae1075b5d 100644 --- a/src/commutative-algebra/boolean-rings.lagda.md +++ b/src/commutative-algebra/boolean-rings.lagda.md @@ -19,7 +19,7 @@ open import ring-theory.idempotent-elements-rings ## Idea -A **boolean ring** is a commutative ring in wich every element is idempotent. +A **boolean ring** is a commutative ring in which every element is idempotent. ## Definition diff --git a/src/commutative-algebra/category-of-commutative-rings.lagda.md b/src/commutative-algebra/category-of-commutative-rings.lagda.md index bd49bfac40..c3fd89fa48 100644 --- a/src/commutative-algebra/category-of-commutative-rings.lagda.md +++ b/src/commutative-algebra/category-of-commutative-rings.lagda.md @@ -23,7 +23,7 @@ open import foundation.universe-levels The [large category](category-theory.large-categories.md) `Commutative-Ring-Category` of [commutative rings](commutative-algebra.commutative-rings.md) is the large -category consistsing of commutative rings and +category consisting of commutative rings and [ring homomorphisms](commutative-algebra.homomorphisms-commutative-rings.md). ## Definitions diff --git a/src/finite-algebra/semisimple-commutative-finite-rings.lagda.md b/src/finite-algebra/semisimple-commutative-finite-rings.lagda.md index ddfea4c796..7cc07c2550 100644 --- a/src/finite-algebra/semisimple-commutative-finite-rings.lagda.md +++ b/src/finite-algebra/semisimple-commutative-finite-rings.lagda.md @@ -29,7 +29,7 @@ open import univalent-combinatorics.standard-finite-types ## Idea -A **semisimple commutative finite rings** is a commutative finie rings wich is +A **semisimple commutative finite ring** is a commutative finite ring which is merely equivalent to an iterated cartesian product of finite fields. ## Definitions diff --git a/src/ring-theory/category-of-rings.lagda.md b/src/ring-theory/category-of-rings.lagda.md index bd3bfa299d..8c06755027 100644 --- a/src/ring-theory/category-of-rings.lagda.md +++ b/src/ring-theory/category-of-rings.lagda.md @@ -21,7 +21,7 @@ open import ring-theory.precategory-of-rings ## Idea The [large category](category-theory.large-categories.md) `Ring-Category` of -[rings](ring-theory.rings.md) is the large category consistsing of rings and +[rings](ring-theory.rings.md) is the large category consisting of rings and [ring homomorphisms](ring-theory.homomorphisms-rings.md). ## Definitions