kruby/notes-archive
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Formatting Fix

Browse Source
This commit is contained in:
Indigo5684
2025-09-30 13:19:25 -05:00
parent e1146e7b1c
commit a629d475d4
13 changed files with 26 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
docs/math/abstract-algebra/16-rings.md
View File

@@ -1,4 +1,5 @@
# Chapter 16 - Rings
## Section 16.1 - Rings
**Definition**. A nonempty set $S$ is a *ring* if, with two binary operations called addition and multipllication, the following are satisfied:
@@ -139,4 +140,4 @@ $$
Thus, $ab \in P$. By symnetry, assume $a \notin P$. Thus, $b \in P$ by the devinition of a prime ideal, so $b + P = 0 + P$, meaning $R/P$ is an integral domain.
**Theorem**. 16.40: In a commutative ring with identity, every maximal ideal is also a prime ideal.
**Theorem**. 16.40: In a commutative ring with identity, every maximal ideal is also a prime ideal.