Saltar al contenido principal

# 2.3: Divisibilidad en Dominios Integrales

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$
##### Objetivos de aprendizaje

En esta sección, buscaremos responder a las preguntas:

• ¿De qué propiedades multiplicativas podemos generalizar$$\mathbb{Z}$$ a cualquier dominio integral?
• ¿Cuáles son las diferencias entre un elemento primo e irreducible en un anillo conmutativo?

Cuando introdujimos la noción de dominio integral, dijimos que parte de la razón de la definición era capturar algunas de las propiedades más esenciales de los enteros. Este es el corazón de la abstracción y la generalización en las matemáticas: destilar las propiedades importantes de nuestros objetos de interés y explorar las consecuencias de esas propiedades. Una propiedad tan importante de$$\mathbb{Z}$$ es la cancelación.

##### Teorema 2.3.1

$$R$$Déjese ser un anillo. Entonces$$R$$ es un dominio si y solo si para todos$$a,b,c\in R$$ con$$c\ne 0$$ y$$ac = bc\text{,}$$ tenemos$$a = b\text{.}$$

Podemos leer Teorema 2.3.1 como diciendo que la propiedad definitoria de un dominio integral es la capacidad de cancelar factores comunes distintos de cero. Tenga en cuenta que no hemos dividido; la división no es una operación binaria, y los elementos distintos de cero de los anillos no necesitan ser unidades. Sin embargo, como fue el caso en$$\mathbb{Z}\text{,}$$ hay nociones de divisibilidad y factorización en anillos.

Que$$R$$ sea un anillo conmutativo con identidad, y$$a,b\in R\text{.}$$ dejemos Decimos$$a$$ divide$$b$$ y escribimos$$a\mid b$$ si hay$$c\in R$$ tal que entonces$$ac = b\text{.}$$ decimos que$$a$$ es un factor de$$b\text{.}$$

##### Investigación 2.3.1

Encuentra todos los factores de$$\overline{2}$$ en los siguientes anillos:

1. $$\displaystyle \mathbb{Z}_5$$
2. $$\displaystyle \mathbb{Z}_6$$
3. $$\displaystyle \mathbb{Z}_{10}$$

Nuestra definición de prime también se extiende muy bien a los dominios. En efecto, el deseo de extender la noción familiar de prime desde$$\mathbb{Z}$$ cualquier anillo es la razón de nuestra definición menos familiar dada en Definición: Prime.

##### Definición: Prime

$$R$$Déjese ser un dominio. Decimos que un elemento distinto de cero no unitario$$a\in R$$ es primo si siempre$$a\mid bc$$ para algunos$$b,c\in R\text{,}$$ ya sea$$a|b$$ o$$a|c\text{.}$$

Una noción relacionada con la primalidad es la irreductibilidad. De hecho, se podría decir razonablemente que la irreductibilidad es la generalización natural de la definición típica de encuentros prime one en las matemáticas escolares.

##### Definición: Irreducible

$$R$$Déjese ser un dominio. Decimos que un elemento distinto de cero no unitario$$a\in R$$ es irreducible si siempre que$$a = bc$$ para alguna$$b,c\in R\text{,}$$ de$$b$$ o$$c$$ es una unidad. (Obsérvese que en algunas áreas de la literatura, la palabra átomo se usa indistintamente con irreducible.)

##### Exploración 2.3.1

Encuentra las unidades, primos e irreducibles en los siguientes anillos.

1. $$\displaystyle \mathbb{R}$$
2. $$\displaystyle \mathbb{Z}$$
3. $$\displaystyle \mathbb{Z}_{5}$$
4. $$\displaystyle \mathbb{Z}_6$$

En dominios, todos los primos son irreducibles.

##### Teorema 2.3.2

$$R$$Déjese ser un dominio. Si$$a\in R$$ es primo, entonces$$a$$ es irreducible.

En entornos familiares, la noción de primo e irreducible coinciden exactamente.

##### Teorema 2.3.3

Cada irreducible in$$\mathbb{Z}$$ es primo.

A pesar de su superposición en entornos familiares, los primos e irreducibles son distintos tipos de elementos. Como demuestra la siguiente exploración, no todos los primos son irreducibles. Además, Exploración 2.3.3 mostrará que no todos los irreducibles son primos, ¡incluso en dominios!

##### Exploración 2.3.2

Encuentra un ejemplo de un anillo$$R$$ y prime$$p\in R$$ tal que no$$p$$ sea irreducible.

##### Exploración 2.3.3

Considera el conjunto$$R$$ de todos los polinomios en$$\mathbb{Z}[x]$$ los que el coeficiente sobre el término lineal es cero. Es decir,

\ begin {ecuación*} R =\ {a_0 + a_2 x^2 +\ cdots + a_ {n-1} x^ {n-1} + a_n x^n: a_i\ in\ mathbb {Z},\ n\ in\ mathbb {N} _0\}\ text {.} \ end {ecuación*}

(Debes convencerte de que$$R$$ es un dominio integral, pero no necesitas probarlo). Entonces, encuentra un polinomio de la forma$$x^n$$ en$$R$$ que sea irreducible, pero no primo.

Nuestra última generalización directa a partir de la estructura multiplicativa de$$\mathbb{Z}$$ es la noción de mayor divisor común. Como demuestra de nuevo nuestra siguiente definición, nuestro trabajo cuidadoso en el contexto de$$\mathbb{Z}$$ generaliza muy bien a todos los dominios. En efecto, intencionalmente no apelamos$$\le$$ a definir el mayor divisor común en Definición: Mayor Divisor común, ya que no todos los anillos tienen una relación de orden natural como$$\mathbb{Z}$$ lo hace.

##### Definición: Divisor común más grande

Dejar$$R$$ ser un dominio, y dejar$$a,b\in R\text{.}$$ Un elemento distinto de cero$$d\in R$$ es un divisor más común de$$a$$ y$$b$$ si

1. $$d\mid a$$y$$d\mid b$$ y,
2. si$$e\in R$$ con$$e\mid a$$ y$$e\mid b\text{,}$$ luego$$e\mid d\text{.}$$
##### Teorema 2.3.4

Dejar$$R$$ ser un dominio y$$a,b\in R$$ y supongamos que$$d$$ es un mayor divisor común de$$a$$ y$$b\text{.}$$ Entonces cualquier asociado de$$d$$ es también un mayor divisor común de$$a$$ y$$b\text{.}$$ (Recordar Definición: Unidad)

##### Exploración 2.3.4

En la mayoría de los dominios familiares, existen GCD. Sin embargo, ¡no siempre lo hacen! Encuentra un ejemplo de elementos en el ring de Exploration 2.3.3 que no tienen un GCD. Justifica tu aseveración.

##### Exploración 2.3.5

Rellene los siguientes espacios en blanco en orden de generalidad creciente con las palabras anillo, dominio integral, campo y anillo conmutativo.

__________$$\Rightarrow$$ __________$$\Rightarrow$$ __________$$\Rightarrow$$ __________

This page titled 2.3: Divisibilidad en Dominios Integrales is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Michael Janssen & Melissa Lindsey via source content that was edited to the style and standards of the LibreTexts platform.