Chapter 14: Problem 4
Prove that for all integers \(n\) exactly one of \(n, 2 n-1\), and \(2 n+1\) is divisible by 3 .
/*! 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 4
Prove that for all integers \(n\) exactly one of \(n, 2 n-1\), and \(2 n+1\) is divisible by 3 .
All the tools & learning materials you need for study success - in one app.
Get started for free
Let \((R,+, \cdot)\) be a ring, with \(a \in R\). Define \(0 a=z, 1 a=a\), and \((n+1) a=n a+a\), for any \(n \in \mathbf{Z}^{*}\). (Here we are multiplying elements of \(R\) by elements of \(\mathbf{Z}\), so we have yet another operation that is different from the multiplications in either of \(\mathbf{Z}\) or \(R\).) For \(n>0\), we define \((-n) a=n(-a)\), so, for example, \((-3) a=3(-a)=2(-a)+(-a)=\) \([(-a)+(-a)]+(-a)=[-(a+a)]+(-a)=-[(a+a)+a]=-[2 a+a]=-(3 a) .\) For any \(a, b \in R\), and any \(m, n \in \mathbf{Z}\), prove that a) \(m a+n a=(m+n) a\) b) \(m(n a)=(m n) a\) c) \(n(a+b)=n a+n b\) d) \(n(a b)=(n a) b=a(n b)\) e) \((m a)(n b)=(m n)(a b)=(n a)(m b)\)
Consider the ring \(\left(\mathbf{Z}^{3}, \oplus, \odot\right)\) where addition and multiplication are defined by \((a, b, c) \oplus(d, e, f)=(a+d, b+e, c+f)\) and \((a, b, c) \odot(d, e, f)=(a d, b e, c f)\). (Here, for example, \(a+d\) and \(a d\) are computed by using the standard binary operations of addition and multiplication in \(\mathbf{Z}\).) Let \(S\) be the subset of \(\mathbf{Z}^{3}\) where \(S=\\{(a, b, c) \mid a=b+c\\}\). Prove that \(S\) is not a subring of \(\left(\mathbf{Z}^{3}, \oplus, \odot\right)\).
If \(S=\left\\{\left[\begin{array}{ll}a & 0 \\ 0 & a\end{array}\right] \mid a \in \mathbf{R}\right\\}\), then \(S\) is a ring under matrix addition and multiplication. Prove that \(\mathbf{R}\) is isomorphic to \(S\).
a) Construct a table (as in Example 14.18) for the isomorphism \(f: \mathbf{Z}_{20} \rightarrow \mathbf{Z}_{4} \times \mathbf{Z}_{5}\). b) Use the table from part (a) to compute the following in \(\mathbf{Z}_{\mathrm{n}}\). i) \((17)(19)+(12)(14)\) ii) \((18)(11)-(9)(15)\)
For the set \(R\) in Example \(14.4\), keep \(A \cdot B=A \cap B\), but define \(A+B=A \cup B\). Is \((R, \cup, \cap)\) a ring?
What do you think about this solution?
We value your feedback to improve our textbook solutions.