Saltar al contenido principal
LibreTexts Español

8.2: Campo de Fracciones

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

    En la historia de los sistemas numéricos, hay una clara progresión: Ante un vacío donde podría haber más números, se inventan más números. Primero vinieron los números naturales (los números de conteo), y cuando la gente encontró que ciertos problemas de resta no tenían solución, se introdujeron números negativos para llenar el vacío. Relevante para nuestra discusión actual, los números racionales surgen cuando uno nota que algunos problemas de división entre enteros no tienen solución.

    Supongamos que\(R\) is an integral domain. Then the only impediment to division is a lack of actual quotients: if the quotients were to exist, they would have to be unique.

    Considerar\(\mathbb{Z}\). This is of course an integral domain, but wouldn't it be nice if \(2\) had a multiplicative inverse? We'll extend \(\mathbb{Z}\) by including \(\frac{1}{2}\). But when we include \(\frac{1}{2}\), we also have to include all possible sums and products in order to ensure that we still have a ring; the operations of addition and multiplication need to be closed, of course. So in addition to \(\frac{1}{2}\), we also need to include every number \(\frac{n}{2^m}\), with \(n\in \mathbb{Z}\) and \(m\in \mathbb{N}\) in order to ensure that the set is closed under multiplication and addition. Call this set \(R\). Then \(R\) is a commutative ring with unity. It's also an integral domain, but still not a field, since, for example, \(3\) has no multiplicative inverse.

    En ese caso, podemos seguir adelante e incluir el inverso multiplicativo de cada entero positivo, junto con todas las sumas y productos posibles de esos inversos. El anillo resultante, por supuesto, son los números racionales,\(\mathbb{Q}\).

    Nos gustaría extender esta construcción a un dominio integral arbitrario: Partiendo de un dominio integral\(D\), we introduce inverses and the appropriate sums and products until every element has an inverse. In fact, this involves copying the whole notion of fractions.

    Primero construimos un anillo\(D'\). For an integral domain \(D\), \(D'\) is the set \(D\times (D\setminus \{0\})\). Each pair \((a,b)\) in \(D'\) can be thought of as fractions \(\frac{a}{b}\); note that we disallow \(b=0\). The operation \(+\) defined by \((a,b)+(x,y) = (ay+bx, by)\) and multiplication is defined by \((a,b)\cdot (x,y) = (ax, by)\). Then \(D'\) is a commutative ring; we leave it as an exercise to show this is true.

    Let\(D\) be an integral domain. Show that \(D'\) is an integral domain. (In particular, check all of the ring axioms, and then show that there are no zero-divisors in \(D'\).)

    Con números racionales, es importante notar que muchas fracciones diferentes son iguales: actualmente nuestro anillo\(D'\) is much too large! For example, we haven't introduced any mechanism for cancellation of numerator and denominator: \((a,b)\cdot (b,a)=(ab,ab)\neq 1\) in \(D'\).

    Construiremos el anillo real de fracciones como un cociente de\(D'\). To construct a quotient, we only need to identify a suitable ideal \(I\); the quotient will then just be \(D'/\mathord I\). The ideal should contain everything that is 'equivalent to \(0\)' in the ring of fractions. Thinking by analogy to the rationals, we see that this is the set \(I=\{(0,x) \mid x\in D\}\).

    Este conjunto se muestra fácilmente como un ideal:\((0,a)+(0,b)=(0ab, ab)=(0,ab)\in I\). And for any \((x,y)\in D'\), we have \((x,y)\cdot (0,a)=(0,ya)\in I\). Then \(I\) is an ideal.

    Ahora podemos comprobar que\((a,b)\cdot (b,a)=(1,1)\) in the quotient \(D'/\mathord I\): \((a,b)\cdot (b,a)=(ab, ab)\), and \((ab,ab)-(1,1)=(ab-ab,ab)=(0,ab)=0\), as desired.

    Luego definimos el campo de fracciones como\(Q=D'/\mathord I\). This is in fact a field: For any \(a,b \neq 0\), we have \((a,b)^{-1}=(b,a)\), so every non-zero element in \(Q\) has a multiplicative inverse.

    Definición 8.1.1: Campo de Fracciones

    El campo de fracciones de un dominio integral\(D\) is \(D'/\mathord I\), with \(D'\) and \(I\) as defined above.

    Contributors and Attributions

    Template:ContribDenton


    This page titled 8.2: Campo de Fracciones is shared under a not declared license and was authored, remixed, and/or curated by Tom Denton.