Chapter 14: Problem 18
Let \(R\) be a commutative ring with unity \(u\), and let \(I\) be an ideal of \(R\). (a) If \(u \in I\), prove that \(I=R\). (b) If \(I\) contains a unit of \(R\), prove that \(I=R\).
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 14: Problem 18
Let \(R\) be a commutative ring with unity \(u\), and let \(I\) be an ideal of \(R\). (a) If \(u \in I\), prove that \(I=R\). (b) If \(I\) contains a unit of \(R\), prove that \(I=R\).
All the tools & learning materials you need for study success - in one app.
Get started for free
a) Determine the multiplicative inverse of the matrix \(\left[\begin{array}{ll}1 & 2 \\ 3 & 7\end{array}\right]\) in the ring \(M_{2}(\mathbf{Z})\) - that is, find \(a, b, c, d\) so that $$ \left[\begin{array}{ll} 1 & 2 \\ 3 & 7 \end{array}\right]\left[\begin{array}{ll} a & b \\ c & d \end{array}\right]=\left[\begin{array}{ll} a & b \\ c & d \end{array}\right]\left[\begin{array}{ll} 1 & 2 \\ 3 & 7 \end{array}\right]=\left[\begin{array}{ll} 1 & 0 \\ 0 & 1 \end{array}\right] $$ b) Show that \(\left[\begin{array}{ll}1 & 2 \\ 3 & 8\end{array}\right]\) is a unit in the ring \(M_{2}(Q)\) but not a unit in \(M_{2}(\mathbf{Z})\).
If \(n \in \mathbf{Z}^{*}\) and \(n>2\) prove that $$ \sum_{i=1}^{n-1} i=\left\\{\begin{array}{lll} 0 & (\bmod n), & n \text { odd } \\ \frac{n}{2} & (\bmod n), & n \text { even. } \end{array}\right. $$
For \(p\) a prime determine all elements \(a \in \mathbf{Z}_{p}\) where \(a^{2}=a\).
In the solution of Example \(14.17\), part of the problem required the calculation of $$ \left(\left[\begin{array}{rr} 1.3 & 3.7 \\ -3.7 & 1.3 \end{array}\right]\right)^{-1} $$ Algebraically this equals $$ \left(\left[\begin{array}{rr} 1.3 & 3.7 \\ -3.7 & 1.3 \end{array}\right]^{-1}\right)^{4} $$ Is there any advantage, with respect to computer computation, in using one form instead of the other?
Let \((R,+, \cdot)\) be a commutative ring, and let \(z\) denote the zero element of \(R\). For a fixed element \(a \in R\), define \(N(a)=\\{r \in R \mid r a=z\\}\). Prove that \(N(a)\) is an ideal of \(R\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.