Purchase Solution

Local ring proof

Not what you're looking for?

Ask Custom Question

A local ring is commutative with identity which has a unique maximal ideal. Prove that R is local if and only if the non-units of R form an ideal.

I need a detailed, rigorous proof of this with explanation of the steps so I can learn. Thank you.

Purchase this Solution
Solution Summary

This provides an example of proving a ring is local.

Solution Preview

Proof:
"<=": Suppose M is the set of all non-units of R and M form an ideal.
First, I claim that M is a maximal ideal of R. Because if M is contained by another ideal I, then I contains some
element x that does not belong to M, then x must be a unit. So we can find some y in R, such that yx = 1. Since
I is an ideal, then yx = 1 is in I, thus I = R. Therefore, M is a maximal ...

Purchase this Solution
Free BrainMass Quizzes
Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Probability Quiz

Some questions on probability

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

View More Free Quizzes
Related BrainMass Solutions

  • Proving Local Rings

    We now return to the proof. Proposition 2. A non-zero ring R is local if and only if x or 1-x is a unit, for all x in R. Proof: (⟹) Suppose R is a nonzero local ring. Then R has a unique maximal ideal M.

  • Ideals and Factor Rings : Locality

    17288 Ideals and Factor Rings : Locality Problem: A ring R is called a local ring if the set J(R) of nonunits in R forms an ideal. If p is a prime, show that Z(p) = {n/m belonging to Q | p does not divide m } is local.

  • Break-Even Analysis of Operating Statistics

    146735 Break-Even Analysis of Operating Statistics High School Traditions operates a shop that makes and sells class rings for local high schools.

  • Ring Homomorphisms, Residues and Distinct Maximal Ideals

    Proof: Since is a ring homomorphism, then for any with and , we can assume that . Then we have (where ) Thus . Therefore, is a ring homomorphism. 3. Proof: and are two distinct maximal ideas in .

  • Abstract Algebra Proof : Ideals and Ring Homomorphisms

    33706 Abstract Algebra Proof : Ideals and Ring Homomorphisms Let and be ideals of the ring and suppose I C J. Prove: The function phi : R/I --> R/J defined by phi(a+I)=a+J is a well-defined ring homomorphism that is also onto.

  • Ring theory proof

    98117 Ring theory proof fields Modern Algebra Ring Theory (IX) The Field of Quotients of an Integral Domain

  • Kernel proof of an ideal ring

    The solution provides a proof that a kernel is an ideal of a ring.

  • Ring proof

    What are the idempotents of this ring? What are the nilpotents? What are the units? Please see the attachment. This solution contains a proof regarding a ring and divisors.

  • Ring theory proof

    98114 Ring theory proof in modern algebra Modern Algebra Ring Theory (VIII) The Field of Quotients of an Integral Domain

View More Related Solutions