- Let $ \left(A,\mathfrak{m}\right) $ be a regular local ring and let $ I $ be a proper ideal of $ A $. Then the quotient $ A / I $ is regular if and only if $ I $ is generated by $ r = \dim(A) - \dim(A/I) $ elements of a coordinate system for $ A $.
- Let $ \left(A,\mathfrak{m}\right) $ be a noetherian local ring. If $ \mathfrak{p} $ is a prime ideal of $ A $ such that $ A_{\mathfrak{p}} $ and $ A / \mathfrak{p} $ are regular, and $ \mathfrak{p} $ is generated by $ \dim(A_{\mathfrak{p}}) $ elements, then $ A $ is regular.
Basic Ring Theory - 18 (Regular Local Rings)
-
- Community Team
- Posts: 314
- Joined: Tue Nov 10, 2015 8:25 pm
Basic Ring Theory - 18 (Regular Local Rings)
Prove the following assertions.
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 2 guests