4 votos

Problemas para determinar los Primes en$\mathbb{Z}[i]$

Estoy leyendo el anillo de la teoría de Álgebra Abstracta por Dummit & Foote y, actualmente, en el capítulo Único de la Factorización de Dominio. En este libro en la Página no: 290 autores afirman lo siguiente (en el 3er párrafo):

"De ello se sigue, por lo que acabamos de ver que $~p$ factores$~\mathbb{Z}[i]$ a, precisamente, dos irreducibles si y sólo si $p=a^2+b^2$ es la suma de dos enteros plazas (de lo contrario $p$ permanece irreductible en $\mathbb{Z}[i])$ "

Sé que esta afirmación es, básicamente, dibujado sobre la base de los dos párrafos anteriores. Pero en realidad, esos párrafos no está totalmente claro para mí.

Lo que yo entiendo es:

  • En el 1er párrafo de la Página:290) los autores demostraron que "Los elementos principales en el ring $\mathscr{O}=\mathbb{Z}[\sqrt D]$ (para cualquier entero $D$ que no es cuadrado perfecto) son factores de algunos de los mejores número de $\mathbb{Z}$ (esto significa que los factores de los números primos de $\mathbb{Z}$ en el anillo más grande $\mathscr{O})$."
  • Para esto, PRIMERO se demostró (en el párrafo 1 P-290) Si tomamos cualquier prime $\pi \in \mathscr{O}$ $<\pi>$ es un alojamiento ideal y está claro que $~<\pi> \cap \mathbb{Z}$ es un alojamiento ideal en $\mathbb{Z}$, y, por tanto,$~<\pi> \cap \mathbb{Z}=<p>$, para algunos el primer número $p\in \mathbb{Z}$. En consecuencia, $\pi$ es un divisor de a$p$$\mathscr{O}$.
  • y en Segundo lugar se demostró (en el párrafo 1 P-290), que si $\pi \in \mathscr{O}$ es un elemento irreductible y $\pi$ es un factor de algunos de los números primos $p$$\mathbb{Z}$. es decir, $p=\pi \pi'$$\mathscr{O}$. A continuación, se puede demostrar (como lo han demostrado) cualquiera de las $p$ permanece irreductible en $\mathbb{Z}[i]$ (al $\pi'$ se convierte en una unidad ) o $p$ es precisamente el producto de dos irreductible en $\mathbb{Z}[i]$.

Pero no puedo entender cómo estos resultado de la declaración sobre la $\mathbb{Z}[i]$ como un caso especial...(que mencioné al principio).

Por favor, ayudar. Gracias.

2voto

Hagen von Eitzen Puntos 171160

Si$p$ es el producto de un$a+ib$ irreducible y otro número$u+iv$, entonces la parte imaginaria$av+bu$ de este producto debe ser cero, es decir,$u-iv$ es un múltiplo racional de$a+ib$. Como claramente necesitamos que$a,b$ sea coprime,$u-iv$ es un múltiplo entero de$a+ib$. Hasta ahora tenemos$p=(a+ib)\cdot n(a-ib)=n\cdot (a^2+b^2)$, por lo tanto,$a^2+b^2=1$ (lo que hace que$a+ib$ una unidad) o, según se desee,$a^2+b^2=p$. Por el contrario, si$p=a^2+b^2$, entonces$p=(a+ib)(a-ib)$ y$a+ib$ es irreductible porque la norma de cualquier divisor tendría que dividir su norma, una prima.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X