Fracción irreducible

En matemáticas , una fracción irreducible ( reducida ) es una fracción ordinaria de la forma que no se puede reducir . En otras palabras, una fracción es irreducible si su numerador y denominador son coprimos [1] , es decir, no tienen divisores comunes excepto . Por ejemplo, una fracción es irreducible, pero se puede reducir:

Fracciones comunes

Cada número racional distinto de cero se puede representar de forma única como una fracción irreducible de la forma donde  es un número entero y  es un número natural. Esto se sigue del teorema fundamental de la aritmética . Si se permite que el denominador sea negativo , entonces es posible una segunda representación irreducible:

Para reducir una fracción ordinaria a una forma irreducible, es necesario dividir su numerador y denominador por el máximo común divisor [2] MCD Para encontrar el máximo común divisor se suele utilizar el algoritmo de Euclides o descomposición en factores primos .

Para un número entero n , la representación de la fracción irreducible es

Variaciones y generalizaciones

Las propiedades de irreductibilidad que existen para las fracciones comunes se cumplen para un anillo factorial arbitrario , es decir, un anillo en el que se cumple un análogo del teorema fundamental de la aritmética . Cualquier fracción de los elementos de un anillo factorial (con denominador distinto de cero) se puede representar de forma irreducible, y de forma única hasta divisores de la unidad de este anillo.

El anillo de números gaussianos consta de números complejos de la forma donde son números enteros. Hay cuatro divisores de la unidad: Este anillo es factorial, y la teoría de las fracciones para él se construye de manera similar a los números enteros. Por ejemplo, es fácil comprobar [3] que una fracción se puede reducir a (ya irreducible)

Los polinomios con coeficientes de algún anillo también forman un anillo factorial: el anillo de polinomios . funciones racionales , es decir, fracciones, cuyos numeradores y denominadores son polinomios . Los divisores de la unidad aquí serán números distintos de cero (como polinomios de grado cero). La ambigüedad de la representación se puede eliminar requiriendo que se reduzca el polinomio en el denominador .

Sin embargo, sobre un anillo arbitrario , un elemento del anillo de fracciones , en términos generales, no requiere tener una representación única, hasta divisores de la unidad, en forma de fracción irreducible, ya que el principal teorema de la aritmética no es válido en cada anillo [4] . Considere, por ejemplo, números complejos de la forma , donde , son números enteros. La suma y el producto de tales números serán números del mismo tipo, por lo que forman un anillo. Sin embargo, no es factorial, y la representación irreducible de las fracciones es ambigua, por ejemplo:

Las fracciones segunda y tercera tienen números primos tanto en el numerador como en el denominador para el anillo especificado, por lo que ambas fracciones son irreducibles.

Notas

  1. Gusev, Mordkovich, 2013 , pág. 29-30.
  2. Vygodsky, 2006 , pág. 81-82.
  3. Weisstein, Eric W. Fracción irreducible  en el sitio web de Wolfram MathWorld .
  4. Zhikov V. V. Teorema fundamental de la aritmética  // Soros Educational Journal . - 2000. - T. 6 , N º 3 . - S. 112-117 .

Literatura

Enlaces