From 3a45dc52d7c6a239261e85d1eb29538b7833e64f Mon Sep 17 00:00:00 2001
From: ssavkar1 <134407735+ssavkar1@users.noreply.github.com>
Date: Fri, 9 Jun 2023 20:51:11 -0700
Subject: [PATCH] Create README.md

First draft of the Readme file. It is just a list of things to do but need to be more descriptive.
---
 README.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..37c6838
--- /dev/null
+++ b/README.md
@@ -0,0 +1,18 @@
+# comm_alg
+SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib
+
+We start the comm algebra project by important definitions and theorems and go from there.
+Feel free to add, modify, and expand this file. Below are starting point for the project:
+
+Definitions of an ideal, prime ideal, and maximal ideal
+Definition of a Spec of a ring
+Definition of a Noetherian and Artinian rings
+Definition of a local ring and quotient ring
+Definition of the Krull dimension 
+
+Give examples of each of the above cases for a particular instances of ring
+
+Theorem 0: Hilbert Basis Theorem
+Theorem 1: If A is a nonzero ring, then dim A[t] >= dim A +1
+Theorem 2: If A is a nonzero noetherian ring, then dim A[t] = dim A + 1
+Theorem 3: If A is nonzero ring then dim A_p + dim A/p <= dim A