more capitals for Noetherian

fchapoton · fchapoton · commit eb758e6e7db0 · 2024-05-09T08:17:09.000+02:00
diff --git a/src/sage/algebras/quatalg/quaternion_algebra.py b/src/sage/algebras/quatalg/quaternion_algebra.py
@@ -515,7 +515,7 @@ def is_integral_domain(self, proof=True) -> bool:
 
     def is_noetherian(self) -> bool:
         """
-        Return ``True`` always, since any quaternion algebra is a noetherian
+        Return ``True`` always, since any quaternion algebra is a Noetherian
         ring (because it is a finitely generated module over a field).
 
         EXAMPLES::
diff --git a/src/sage/algebras/steenrod/steenrod_algebra.py b/src/sage/algebras/steenrod/steenrod_algebra.py
@@ -3054,7 +3054,7 @@ def is_integral_domain(self, proof=True):
 
     def is_noetherian(self):
         """
-        This algebra is noetherian if and only if it is finite.
+        This algebra is Noetherian if and only if it is finite.
 
         EXAMPLES::
 
diff --git a/src/sage/categories/commutative_rings.py b/src/sage/categories/commutative_rings.py
@@ -283,8 +283,7 @@ class Finite(CategoryWithAxiom):
         """
         def extra_super_categories(self):
             r"""
-            Let Sage knows that finite commutative rings
-            are Noetherian.
+            Let Sage know that finite commutative rings are Noetherian.
 
             EXAMPLES::
 
diff --git a/src/sage/categories/group_algebras.py b/src/sage/categories/group_algebras.py
@@ -358,7 +358,7 @@ def is_integral_domain(self, proof=True):
             return ans
 
         # I haven't written is_noetherian(), because I don't know when group
-        # algebras are noetherian, and I haven't written is_prime_field(), because
+        # algebras are Noetherian, and I haven't written is_prime_field(), because
         # I don't know if that means "is canonically isomorphic to a prime field"
         # or "is identical to a prime field".
 
diff --git a/src/sage/categories/principal_ideal_domains.py b/src/sage/categories/principal_ideal_domains.py
@@ -125,7 +125,7 @@ def _test_gcd_vs_xgcd(self, **options):
 
         def is_noetherian(self) -> bool:
             """
-            Every principal ideal domain is noetherian, so we return ``True``.
+            Every principal ideal domain is Noetherian, so we return ``True``.
 
             EXAMPLES::
 
diff --git a/src/sage/rings/function_field/order.py b/src/sage/rings/function_field/order.py
@@ -162,7 +162,7 @@ def is_field(self, proof=True):
 
     def is_noetherian(self):
         """
-        Return ``True`` since orders in function fields are noetherian.
+        Return ``True`` since orders in function fields are Noetherian.
 
         EXAMPLES::
 
diff --git a/src/sage/rings/polynomial/infinite_polynomial_ring.py b/src/sage/rings/polynomial/infinite_polynomial_ring.py
@@ -1098,11 +1098,11 @@ def is_noetherian(self):
 
         Since Infinite Polynomial Rings must have at least one
         generator, they have infinitely many variables and are thus
-        not noetherian, as a ring.
+        not Noetherian, as a ring.
 
         .. NOTE::
 
-            Infinite Polynomial Rings over a field `F` are noetherian as
+            Infinite Polynomial Rings over a field `F` are Noetherian as
             `F(G)` modules, where `G` is the symmetric group of the
             natural numbers. But this is not what the method
             ``is_noetherian()`` is answering.
