9.18. Let Ij C I2 C I3 C …… be ideals of R. Let I = U, In. 1. Show that I is an ideal of R. 2. Suppose that R/I is commutative. Show that for every a, b e R, there exists an n e N such that ab – ba e In.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question
100%

Could you explain how to show 9.18 in detail? I included list of theorems and definitions from the textbook.

**Definition 9.3.** Let \( R \) be a ring and \( I \) an ideal of \( R \). The **factor ring** (or quotient ring), \( R/I \), is the set of all left cosets \(\{a + I : a \in R\}\), together with the operations \((a + I) + (b + I) = a + b + I\) and \((a + I)(b + I) = ab + I\), for all \( a, b \in R \).

**Theorem 9.6.** For any ring \( R \) and ideal \( I \), the factor ring \( R/I \) is a ring.

**Example 9.9.** Let \( R = \mathbb{Z} \) and \( I = (5) = 5\mathbb{Z} \). Then \( R/I = \{0 + I, 1 + I, 2 + I, 3 + I, 4 + I\}\) and, for instance, 

\[
(2 + I) + (4 + I) = 6 + I = 1 + I \quad \text{and} \quad (3 + I)(4 + I) = 12 + I = 2 + I.
\]

**Example 9.10.** Let \( R = M_2(\mathbb{Z}) \) and let \( I \) be the ideal consisting of all matrices whose entries are even. Then notice that for any \( a_{ij} \in \mathbb{Z} \), we have:

\[
\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} + I = \begin{pmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{pmatrix} + I,
\]

where \( b_{ij} = 0 \) if \( a_{ij} \) is even and 1 if \( a_{ij} \) is odd. Thus, \( R/I \) consists of the sixteen different elements 

\[
\begin{pmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{pmatrix}
Transcribed Image Text:**Definition 9.3.** Let \( R \) be a ring and \( I \) an ideal of \( R \). The **factor ring** (or quotient ring), \( R/I \), is the set of all left cosets \(\{a + I : a \in R\}\), together with the operations \((a + I) + (b + I) = a + b + I\) and \((a + I)(b + I) = ab + I\), for all \( a, b \in R \). **Theorem 9.6.** For any ring \( R \) and ideal \( I \), the factor ring \( R/I \) is a ring. **Example 9.9.** Let \( R = \mathbb{Z} \) and \( I = (5) = 5\mathbb{Z} \). Then \( R/I = \{0 + I, 1 + I, 2 + I, 3 + I, 4 + I\}\) and, for instance, \[ (2 + I) + (4 + I) = 6 + I = 1 + I \quad \text{and} \quad (3 + I)(4 + I) = 12 + I = 2 + I. \] **Example 9.10.** Let \( R = M_2(\mathbb{Z}) \) and let \( I \) be the ideal consisting of all matrices whose entries are even. Then notice that for any \( a_{ij} \in \mathbb{Z} \), we have: \[ \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} + I = \begin{pmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{pmatrix} + I, \] where \( b_{ij} = 0 \) if \( a_{ij} \) is even and 1 if \( a_{ij} \) is odd. Thus, \( R/I \) consists of the sixteen different elements \[ \begin{pmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{pmatrix}
**Problem 9.18**:

Let \( I_1 \subseteq I_2 \subseteq I_3 \subseteq \cdots \) be ideals of \( R \). Let \( I = \bigcup_{n=1}^{\infty} I_n \).

1. Show that \( I \) is an ideal of \( R \).
2. Suppose that \( R/I \) is commutative. Show that for every \( a, b \in R \), there exists an \( n \in \mathbb{N} \) such that \( ab - ba \in I_n \).
Transcribed Image Text:**Problem 9.18**: Let \( I_1 \subseteq I_2 \subseteq I_3 \subseteq \cdots \) be ideals of \( R \). Let \( I = \bigcup_{n=1}^{\infty} I_n \). 1. Show that \( I \) is an ideal of \( R \). 2. Suppose that \( R/I \) is commutative. Show that for every \( a, b \in R \), there exists an \( n \in \mathbb{N} \) such that \( ab - ba \in I_n \).
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 4 steps

Blurred answer
Knowledge Booster
Searching and Sorting
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,