chore: a few typos in algebra (#1187)

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
 

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

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

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