Sección16.6Ejercicios
¶1
¿Cuáles de los siguientes conjuntos son anillos con las operaciones usuales de adición y multiplicación? Si el conjunto es un anillos, ¿es además un cuerpo?
\(7 {\mathbb Z}\)
\({\mathbb Z}_{18}\)
\({\mathbb Q} ( \sqrt{2}\, ) = \{a + b \sqrt{2} : a, b \in {\mathbb Q}\}\)
\({\mathbb Q} ( \sqrt{2}, \sqrt{3}\, ) = \{a + b \sqrt{2} + c \sqrt{3} + d \sqrt{6} : a, b, c, d \in {\mathbb Q}\}\)
\({\mathbb Z}[\sqrt{3}\, ] = \{ a + b \sqrt{3} : a, b \in {\mathbb Z} \}\)
\(R = \{a + b \sqrt[3]{3} : a, b \in {\mathbb Q} \}\)
\({\mathbb Z}[ i ] = \{ a + b i : a, b \in {\mathbb Z} \text{ e } i^2 = -1 \}\)
\({\mathbb Q}( \sqrt[3]{3}\, ) = \{ a + b \sqrt[3]{3} + c \sqrt[3]{9} : a, b, c \in {\mathbb Q} \}\)
2
Sea \(R\) el anillo de las matrices de \(2 \times 2\) de la forma
\begin{equation*}
\begin{pmatrix}
a & b \\
0 & 0
\end{pmatrix},
\end{equation*}
donde \(a, b \in {\mathbb R}\text{.}\) Muestre que si bien \(R\) es un anillo que no tiene identidad, podemos encontrar un subanillo \(S\) de \(R\) con identidad.
3
Liste o caracterice todas las unidades en cada uno de los siguientes anillos.
\({\mathbb Z}_{10}\)
\({\mathbb Z}_{12}\)
\({\mathbb Z}_{7}\)
\({\mathbb M}_2( {\mathbb Z} )\text{,}\) las martices de \(2 \times 2\) con coeficientes en \({\mathbb Z}\)
\({\mathbb M}_2( {\mathbb Z}_2 )\text{,}\) las martices de \(2 \times 2\) con coeficientes en \({\mathbb Z}_2\)
4
Encuentre todos los ideales de cada uno de los anillos siguientes. ¿Cuáles de estos ideales son maximales? ¿Cuáles son primos?
\({\mathbb Z}_{18}\)
\({\mathbb Z}_{25}\)
\({\mathbb M}_2( {\mathbb R} )\text{,}\) las martices de \(2 \times 2\) con coeficientes en \({\mathbb R}\)
\({\mathbb M}_2( {\mathbb Z} )\text{,}\) las martices de \(2 \times 2\) con coeficientes en \({\mathbb Z}\)
\({\mathbb Q}\)
5
Para cada uno de los siguientes anillos \(R\) con ideal \(I\text{,}\) escriba una tabla de adición y una tabla de multiciplicación para \(R/I\text{.}\)
\(R = {\mathbb Z}\) and \(I = 6 {\mathbb Z}\)
\(R = {\mathbb Z}_{12}\) and \(I = \{ 0, 3, 6, 9 \}\)
6
Encuentre todos los homomorfismos \(\phi : {\mathbb Z} / 6 {\mathbb Z} \rightarrow {\mathbb Z} / 15 {\mathbb Z}\text{.}\)
7
Demuestre que \({\mathbb R}\) no es isomorfo a \({\mathbb C}\text{.}\)
8
Demuestre o refute: El anillo \({\mathbb Q}( \sqrt{2}\, ) = \{ a + b \sqrt{2} : a, b \in {\mathbb Q} \}\) es isomorfo al anillo \({\mathbb Q}( \sqrt{3}\, ) = \{a + b \sqrt{3} : a, b \in {\mathbb Q} \}\text{.}\)
9
¿Cuál es la característica del cuerpo formado por el conjunto de matrices
\begin{equation*}
F =
\left\{
\begin{pmatrix}
1 & 0 \\
0 & 1
\end{pmatrix},
\begin{pmatrix}
1 & 1 \\
1 & 0
\end{pmatrix},
\begin{pmatrix}
0 & 1 \\
1 & 1
\end{pmatrix},
\begin{pmatrix}
0 & 0 \\
0 & 0
\end{pmatrix}
\right\}
\end{equation*}
con coeficientes en \({\mathbb Z}_2\text{?}\)
10
Defina una función \(\phi : {\mathbb C} \rightarrow {\mathbb M}_2 ({\mathbb R})\) como
\begin{equation*}
\phi( a + bi) =
\begin{pmatrix}
a & b \\
-b & a
\end{pmatrix}.
\end{equation*}
Muestre que \(\phi\) es un isomorfismo de \({\mathbb C}\) con su imagen en \({\mathbb M}_2 ({\mathbb R})\text{.}\)
11
Demuestre que los enteros Gaussianos, \({\mathbb Z}[i ]\text{,}\) forman un dominio integral.
12
Demuestre que \({\mathbb Z}[ \sqrt{3}\, i ] = \{ a + b \sqrt{3}\, i : a, b \in {\mathbb Z} \}\) es un dominio integral.
13
Resuelva cada uno de los siguientes sistemas de congruencias.
-
\begin{align*}
x & \equiv 2 \pmod{5}\\
x & \equiv 6 \pmod{11}
\end{align*}
-
\begin{align*}
x & \equiv 3 \pmod{7}\\
x & \equiv 0 \pmod{8}\\
x & \equiv 5 \pmod{15}
\end{align*}
-
\begin{align*}
x & \equiv 2 \pmod{4}\\
x & \equiv 4 \pmod{7}\\
x & \equiv 7 \pmod{9}\\
x & \equiv 5 \pmod{11}
\end{align*}
-
\begin{align*}
x & \equiv 3 \pmod{5}\\
x & \equiv 0 \pmod{8}\\
x & \equiv 1 \pmod{11}\\
x & \equiv 5 \pmod{13}
\end{align*}
14
Use el método de computación paralela descrito en el texto para calcular \(2234 + 4121\) separando el cálculo en cuatro sumas módulo 95, 97, 98, y 99.
15
Explique por qué el método de computación paralela descrito en el texto falla para \(2134 \cdot 1531\) si intentamos descomponer el cálculo en dos cálculo menores módulo 98 y 99.
16
Si \(R\) es un cuerpo, muestre que los únicos dos ideales de \(R\) son \(\{ 0 \}\) y \(R\) mismo.
17
Sea \(a\) un elemento cualquiera en el anillo \(R\) con identidad. Muestre que \((-1)a = -a\text{.}\)
18
Sea \(\phi : R \rightarrow S\) un homomorfismo de anillos. Demuestre cada uno de los siguientes enunciados.
Si \(R\) es un anillo conmutativo, entonces \(\phi(R)\) es un anillo conmutativo.
\(\phi( 0 ) = 0\text{.}\)
Sean \(1_R\) y \(1_S\) las identidades de \(R\) y \(S\text{,}\) respectivamente. Si \(\phi\) es sobreyectivo, entonces \(\phi(1_R) = 1_S\text{.}\)
Si \(R\) es un cuerpo y \(\phi(R) \neq 0\text{,}\) entonces \(\phi(R)\) es un cuerpo.
19
Demuestre que se satisfacen la asociatividad de la multiplicación y la distributividad en \(R/I\text{.}\)
20
Demuestre el Segundo Teorema de Isomorfía para anillos: Sea \(I\) un subanillo de un anillo \(R\) y sea \(J\) un ideal en \(R\text{.}\) Entonces \(I \cap J\) es un ideal en \(I\) y
\begin{equation*}
I / I \cap J \cong I + J /J.
\end{equation*}
21
Demuestre el Tercer Teorema de Isomorfía para anillos: Sea \(R\) un anillo y sean \(I\) y \(J\) ideales de \(R\text{,}\) donde \(J \subset I\text{.}\) Entonces
\begin{equation*}
R/I \cong \frac{R/J}{I/J}.
\end{equation*}
22
Demuestre el Teorema de Correspondencia: Sea \(I\) un ideal de un anillo \(R\text{.}\) Entonces \(S \rightarrow S/I\) define una correspondencia 1-1 entre a el conjunto de los subanillos \(S\) que contienen a \(I\) y el conjunto de subanillos de \(R/I\text{.}\) Además, los ideales de \(R\) corresponden con ideales de \(R/I\text{.}\)
23
Sea \(R\) un anillo y sea \(S\) un subconjunto de \(R\text{.}\) Muestre que \(S\) es un subanillo de \(R\) si y solo si se cumplen todas las siguientes condiciones.
\(S \neq \emptyset\text{.}\)
\(rs \in S\) para todo \(r, s \in S\text{.}\)
\(r - s \in S\) para todo \(r, s \in S\text{.}\)
24
Sea \(R\) un anillo con una colección de subanillos \(\{ R_{\alpha} \}\text{.}\) Demuestre que \(\bigcap R_{\alpha}\) es un subanillo de \(R\text{.}\) Dé un ejemplo para mostrar que la unión de dos subanillos no es necesariamente un subanillo.
25
Sea \(\{ I_{\alpha} \}_{\alpha \in A}\) una colección de ideales en un anillo \(R\text{.}\) Demuestre que \(\bigcap_{\alpha \in A} I_{\alpha}\) también es un ideal en \(R\text{.}\) Dé un ejemplo para mostrar que si \(I_1\) e \(I_2\) son ideales en \(R\text{,}\) entonces \(I_1 \cup I_2\) puede no ser un ideal.
26
Sea \(R\) un dominio integral. Muestre que si los únicos ideales en \(R\) son \(\{ 0 \}\) y \(R\) mismo, entonces \(R\) es un cuerpo.
27
Sea \(R\) un anillo conmutativo. Un elemento \(a\) en \(R\) es nilpotente si \(a^n = 0\) para algún entero positivo \(n\text{.}\) Muestre que el conjunto de todos los elementos nilpotentes forma un ideal en \(R\text{.}\)
28
Un anillo \(R\) es un anillo Booleano si para cada \(a \in R\text{,}\) \(a^2 = a\text{.}\) Muestre que todo anillo Booleano es conmutativo.
29
Sea \(R\) un anillo, donde \(a^3 =a\) para todo \(a \in R\text{.}\) Demuestre que \(R\) es commutativo.
30
Sea \(R\) un anillo con identidad \(1_R\) y \(S\) un subanillo de \(R\) con identidad \(1_S\text{.}\) Demuestre o refute que \(1_R = 1_S\text{.}\)
31
Si no requerimos que la identidad de un anillo sea distinta de 0, no obtenemos una estructura matemática mut interesante. Sea \(R\) un anillo tal que \(1 = 0\text{.}\) Demuestre que \(R = \{ 0 \}\text{.}\)
32
Sea \(S\) un subconjunto no vacío de un anillo \(R\text{.}\) Demuestre que hay un subanillo \(R'\) de \(R\) que contiene a \(S\text{.}\)
33
Sea \(R\) un anillo. Defina el centro de \(R\) como
\begin{equation*}
Z(R) = \{ a \in R : ar = ra \text{ for all } r \in R \}.
\end{equation*}
Demuestre que \(Z(R)\) es un subanillo conmutativo de \(R\text{.}\)
34
Sea \(p\) un primo. Demuestre que
\begin{equation*}
{\mathbb Z}_{(p)} = \{ a / b : a, b \in {\mathbb Z} \text{ and } \gcd( b,p) = 1 \}
\end{equation*}
es un anillo. El anillo \({\mathbb Z}_{(p)}\) se denomina anillo de enteros localizado en \(p\text{.}\)
35
Demuestre o refute: Todo dominio integral finito es isomorfo a \({\mathbb Z}_p\text{.}\)
36
Sea \(R\) un anillo con identidad.
Sea \(u\) una unidad en \(R\text{.}\) Defina una función \(i_u : R \rightarrow R\) como \(r \mapsto uru^{-1}\text{.}\) Demuestre que \(i_u\) es un automorfismo de \(R\text{.}\) Un automorfismo de \(R\) de este tipo se llama automorfismo interno de \(R\text{.}\) Denote por \(\inn(R)\) al conjunto de todos los automorfismos internos de \(R\text{.}\)
Denote por \(\aut(R)\) al conjunto de todos los automorfismos de \(R\text{.}\) Demuestre que \(\inn(R)\) es un subgrupo normal de \(\aut(R)\text{.}\)
-
Sea \(U(R)\) el grupo de unidades en \(R\text{.}\) Demuestre que la función
\begin{equation*}
\phi : U(R) \rightarrow \inn(R)
\end{equation*}
definida por \(u \mapsto i_u\) es un homomorfismo. Determine el núcleo de \(\phi\text{.}\)
Calcule \(\aut( {\mathbb Z})\text{,}\) \(\inn( {\mathbb Z})\text{,}\) y \(U( {\mathbb Z})\text{.}\)
37
Sean \(R\) y \(S\) anillos arbitrarios. Muestre que su producto cartesiano es un anillo si definimos adición y multiplicación en \(R \times S\) como
\((r, s) + (r', s') = ( r + r', s + s')\)
\((r, s)(r', s') = ( rr', ss')\)
38
Un elemento \(x\) En un anillo se dice idempotente si \(x^2 = x\text{.}\) Demuestre que los únicos idempotentes en un dominio integral son \(0\) y \(1\text{.}\) Encuentre un anillo con un idempotente \(x\) que no sea 0 o 1.
39
Sean \(\gcd(a, n) = d\) y \(\gcd(b, d) \neq 1\text{.}\) Demuestre que \(ax \equiv b \pmod{n}\) no tiene solución.
40El Teorema Chino de los Restos para Anillos
Sea \(R\) un anillo y sean \(I\) y \(J\) ideals en \(R\) tales que \(I+J = R\text{.}\)
-
Muestre que para cualquiera \(r\) y \(s\) en \(R\text{,}\) el sistema de ecuaciones
\begin{align*}
x & \equiv r \pmod{I}\\
x & \equiv s \pmod{J}
\end{align*}
tiene solución.
Además, demuestre que cualquiera dos soluciones del sistema son congruentes módulo \(I \cap J\text{.}\)
-
Sea \(I\) y \(J\) ideales en un anillo \(R\) tales que \(I + J = R\text{.}\) Muestre que existe un isomorfismo de anillos
\begin{equation*}
R/(I \cap J) \cong R/I \times R/J.
\end{equation*}