Question

In: Advanced Math

If I is an ideal of the ring R, show how to make the quotient ring...

If I is an ideal of the ring R, show how to make the quotient ring R/I into a left R-module, and also show how to make R/I into a right R-module.

Solutions

Expert Solution

R/I is the quotient ring of R by the ideal I. More explicitly, R/I = { I+r : r is in R } with the operations +,x defined by, (I+r) + (I+s) = I+(r+s) and (I+r) x (I+s) = I+(rs) for all r,s in R.

R/I being a ring, is an abelian group under +.

Define the map . : R x R/I R/I given by, r.(I+a) = I+(ra) for all a in R and for all r in R.

Observe that, if I+a = I+b for some a,b in R, then a-b is in I. Thus, for any r in R, r.(a-b) is in I as I is an ideal in R. Thus, r.a-r.b is in I. Hence, I+(ra) = I+(rb). Hence, r.(I+a)=r.(I+b).

Hence, . is well-defined. Further, r.(I+a + I+b) = r.(I+(a+b)) = I+r.(a+b) = I+ra + I+rb = r.(I+a) + r.(I+b)

(r+s).(I+a) = I+(r+s)a = I+ra + I+sa = r.(I+a) + s.(I+a)

r.(s.(I+a)) = r.(I+sa) = I+rsa = (rs).(I+a)

1.(I+a) = I+1a = I+a for all a,b,r in R and r,s in R.

This verifies all the module axioms. This shows that R/I can be made into a left R-module.

Similarly, R/I can also be made into a right R-module using the scalar multiplication . : R/I x R R/I given by, (I+a).r = I+(ar) for all a in R, r in R.


Related Solutions

1. If I is an ideal of the ring R, show how to make the quotient...
1. If I is an ideal of the ring R, show how to make the quotient ring R/I into a left R-module, and also show how to make R/I into a right R-module.
For an arbitrary ring R, prove that a) If I is an ideal of R, then...
For an arbitrary ring R, prove that a) If I is an ideal of R, then I[ x] forms an ideal of the polynomial ring R[ x]. b) If R and R' are isomorphic rings, then R[ x] is isomorphic to R' [ x ].
Let R be a commutative ring with unity. If I is a prime ideal of R,...
Let R be a commutative ring with unity. If I is a prime ideal of R, prove that I[x] is a prime ideal of R[x].
Let R be a commutative ring with identity with the property that every ideal in R...
Let R be a commutative ring with identity with the property that every ideal in R is principal. Prove that every homomorphic image of R has the same property.
Show that the quotient ring Q[x]/(x2 − 3) is isomorphic to a subfield of the real...
Show that the quotient ring Q[x]/(x2 − 3) is isomorphic to a subfield of the real numbers R.
If R is a division ring, show that cent R forms a field.
If R is a division ring, show that cent R forms a field.
6.4.13. If R is the ring of Gaussian integers, show that Q(R) is isomorphic to the...
6.4.13. If R is the ring of Gaussian integers, show that Q(R) is isomorphic to the subfield of C consisting of complex numbers with rational real and imaginary parts.
Let R be a commutative domain, and let I be a prime ideal of R. (i)...
Let R be a commutative domain, and let I be a prime ideal of R. (i) Show that S defined as R \ I (the complement of I in R) is multiplicatively closed. (ii) By (i), we can construct the ring R1 = S-1R, as in the course. Let D = R / I. Show that the ideal of R1 generated by I, that is, IR1, is maximal, and R1 / I1R is isomorphic to the field of fractions of...
Let R be a ring and f : M −→ N a morphism of left R-modules. Show that:
Let R be a ring and f : M −→ N a morphism of left R-modules. Show that: c) K := {m ∈ M | f(m) = 0} satisfies the Universal Property of Kernels. d) N/f(M) satisfies the Universal Property of Cokernels. Q2. Show that ZQ :a) contains no minimal Z-submodule
Let R be a ring and f : M −→ N a morphism of left R-modules. Show that:
Let R be a ring and f : M −→ N a morphism of left R-modules. Show that: c) K := {m ∈ M | f(m) = 0} satisfies the Universal Property of Kernels. d) N/f(M) satisfies the Universal Property of Cokernels.  
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT