Saltar al contenido principal
LibreTexts Español

5: El Grupo de Unidades

  • Page ID
    118541
  • \( \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}\)

    Definición 5.1:

    Vamos\(n \ge 2\). Se dice que un elemento\(a \in \mathbb{Z}_n\) es una unidad si hay un elemento\(b \in \mathbb{Z}_n\) tal que\(ab =1\). Aquí el producto es módulo de multiplicación\(n\). Denotamos el conjunto de todas las unidades en\(\mathbb{Z}_n\) by\(U_n\).

    Tenga en cuenta que 2 es una unidad en\(\mathbb{Z}_5\) since\(2 \cdot 3=1\). Dado que la multiplicación es conmutativa, 2 y 3 son ambas unidades. Decimos que 2 y 3 son inversos el uno del otro. Pero tenga en cuenta que si escribimos\(2^{-1}=3\), debemos tener en cuenta que por\(2^{-1}\) en este contexto no nos referimos al número racional\(1/2\). El siguiente teorema es fácil de probar si asumimos que el módulo de multiplicación\(n\) es asociativo y conmutativo.

    Teorema\(\PageIndex{1}\)

    \(U_n\)es un grupo bajo módulo de multiplicación\(n\). \(\blacksquare\)

    Llamamos\(U_n\) al grupo de unidades de\(\mathbb{Z}_n\).

    Problema 5.1 Listar todos los elementos de\(U_n\) for\(n \in \{ 2,3,4,\dots, 12\}\).

    Problema 5.2 ¿Por qué\(n \in \{ 2,3,4,\dots, 12\}\) hay un elemento\(a \in U_n\) tal que\(U_n = \langle a \rangle\)?

    Teorema\(\PageIndex{2}\)

    Para\(n\geq 2\),\(U_n = \{ a\in \mathbb{Z}_n: \text{gcd}(a,n)=1\}. \blacksquare\)

    Observación

    Este teorema se establece en los cursos de teoría de números. En teoría de números, el orden del grupo\(U_n\) es lo suficientemente importante como para tener su propio nombre y notación. El orden de\(U_n\) se denota por\(\phi(n)\), se llama la función totiente de Euler y se pronuncia honorario de n. En teoría de números se demuestra que si\(a\) y\(b\) son enteros positivos tales que\(\gcd(a,b)=1\) entonces\(\phi(ab) = \phi(a)\phi(b)\) y si\(p\) es primo y\(n \in \mathbb{N}\) entonces\(\phi(p^n) = p^n - p^{n-1}\). Estos hechos hacen que sea fácil de calcular\(\phi(n)\) si se puede escribir\(n\) como producto de primos. Pero no se conoce una manera fácil de calcular\(\phi(n)\) si\(n\) se desconoce la factorización de.

    Tenga en cuenta que hay cuatro símbolos diferentes pero similares utilizados en matemáticas:

    1. \(\phi\): letra griega minúscula phi (tasa pronunciada)
    2. \(\Phi\): letra griega mayúscula Phi
    3. \(\varphi\): escritura minúscula letra griega phi
    4. \(\emptyset\): recortó cero (no griego, sino danés) y símbolo para el conjunto vacío

    Problema 5.3 Demostrar la parte fácil de\ (\ mathbb {Z} _n\)” href=” /libreras/Abstract_and_geometric_algebra/elementary_abstract_algebra_ (Clark) /01:_capters/1.05:_the_group_of_units #Theorem_ .5C (.5CPageIndex.7b2.7d.5c) ">Teorema 5.2; es decir, mostrar que si\(a \in \mathbb{Z}_n\) y \(\gcd(a,n)=d > 1\), entonces no\(a\) es una unidad. [Pista: Mostrar (1) que si\(a \in \mathbb{Z}_n\) y\(\gcd(a,n)=d > 1\) hay un elemento\(b \in \mathbb{Z}_n-\{ 0 \}\) tal que\(ab=0\). (2) Si\(b \in \mathbb{Z}_n -\{ 0\}\) y\(ab=0\) entonces no\(a\) es una unidad.]

    Teorema\(\PageIndex{3}\)

    Si\(p\) es un primo entonces hay un elemento\(a \in U_p\) tal que\(U_p = \langle a \rangle\). \(\blacksquare\)

    Comprobante. Este teorema se demuestra en cursos avanzados en teoría de números o álgebra abstracta.

    Demostrar\ (\ mathbb {Z} _n\)” href=” /libreras/Abstract_and_geometric_algebra/elementary_abstract_algebra_ (Clark) /01:_capters/1.05:_the_group_of_units #Theorem_ .5C (.5CPageIndex.7b3.7d.5c) ">Teorema 5.3 para todos los primos\(p < 12\).

    Observación

    Se observará que a veces incluso cuando no\(n\) es primo hay\(a \in U_n\) tal que\(U_n = \langle a \rangle\). De hecho, el siguiente teorema de la teoría avanzada de números nos dice exactamente cuándo\(a\) existe tal.

    Teorema\(\PageIndex{4}\)

    Si\(n \ge 2\) entonces\(U_n\) contiene un elemento que\(a\) satisface\(U_n = \langle a \rangle\) si y solo si\(a\) tiene una de las siguientes formas: 2, 4\(p^k\), o\(2p^k\) donde\(p\) es un impar prime y\(k \in \mathbb{N}\). \(\blacksquare\)

    Entonces, por ejemplo, no hay tal\(a\) en\(U_n\) si\(n = 2^k\) cuando\(k \ge 3\), ni para\(n = 12\) o\(15\).


    This page titled 5: El Grupo de Unidades is shared under a not declared license and was authored, remixed, and/or curated by W. Edwin Clark via source content that was edited to the style and standards of the LibreTexts platform.