Teoremas de Algebra
Teoremas de Algebra
Teoremas de Algebra
Teorema de Cayley-Hamilton
En álgebra lineal, el teorema de Cayley-Hamilton (que lleva los nombres de los matemáticos Arthur Cayley y William
Hamilton) asegura que todo endomorfismo de un espacio vectorial de dimensión finita sobre un cuerpo cualquiera anula su
propio polinomio característico.
Un corolario importante del teorema de Cayley-Hamilton afirma que el polinomio mínimo de una matriz dada es
un divisor de su polinomio característico, y no solo eso, el polinomio mínimo tiene los mismos factores irreducibles que el
polinomio característico.
Demostración[editar]
Podemos interpretar los miembros y factores de esta igualdad como polinomios en X con coeficientes en el anillo de las
matrices cuadradas nxn con coeficientes en K y esa igualdad implica que es divisible por la
izquierda por . Esto implica entonces que el valor a la derecha (igual en realidad aquí también a su valor a la
izquierda, ya que se obtiene ) del polinomio
para es nula. Este valor sólo es , lo que termina la demostración.
En matemáticas, y más especialmente en álgebra lineal y análisis funcional, el teorema de descomposición espectral, o más
brevemente teorema espectral, expresa las condiciones bajo las cuales un operador o una matriz pueden serdiagonalizados (es
decir, representadas como una matriz diagonal en alguna base). Se identifica así, un tipo de operadores lineales que pueden
representarse como una multiplicación de operadores.
Ejemplos de los operadores a los que se aplica este teorema son los operadores autoadjuntos, o más en general, los
operadores normales en espacios de Hilbert.
El Teorema Espectral, proporciona además, una descomposición canónica (llamada descomposición espectral) del espacio
vectorial sobre el cual actúa el operador.
3. Teorema de Gerschgorin
El teorema de Gershgorin es utilizado en álgebra lineal para encontrar una cota de los autovalores de una matrizcompleja
(esto incluye también a las reales) de orden nxn. Fue publicado por el matemático soviético S.Gerschgorin en 1931.
1
Dada una matriz se definen los círculos con centro en
4. Teorema de Laplace: El teorema de Laplace (también conocido como regla de Laplace o desarrollo de Laplace), así
llamado en honor del matemático francés homónimo es un teorema matemático que permite simplificar el cálculo de
determinantes en matrices de elevadas dimensiones a base de descomponerlo en la suma de determinantes menores.
El teorema afirma que el determinante de una matriz es igual a la suma de los determinantes de los adjuntos de cualquier fila
o columna de la matriz, lo que reduce un determinante de dimensión n a n determinantes de dimensión n-1. Aplicado de
forma sucesiva, permite llegar a matrices 3x3 (con lo que se puede aplicar la regla de Sarrus) o 2x2 (en el que el determinante
es el producto de la diagonal principal menos el de la secundaria).
Se puede optimizar los cálculos aplicando la regla de Chio y haciendo ceros lo que reduce el número de determinantes de
rango inferior a calcular.
5. En álgebra lineal, el teorema de Rouché-Frobenius permite calcular el número de soluciones de un sistema de ecuaciones
lineales en función del rango de la matriz de coeficientes y del rango de la matriz ampliada asociadas al sistema.
Lleva el nombre del matemático francés Eugène Rouché quien lo enunció y del matemático alemán Ferdinand Georg
Frobenius quien fue uno de los muchos matemáticos que lo demostraron. Así, en otros idiomas1 recibe otros nombres como
el teorema de Rouché-Capelli, el teorema de Rouché-Fontené, el teorema de Kronecker-Capelli, etc.
El teorema establece que para que un sistema de ecuaciones lineales sea compatible es condición necesaria y suficiente que la
matriz formada por los coeficientes junto con la ampliada por los términos independientes posean el mismo rango. Por lo
demás, el sistema constituido será determinado si su rango coincide con el número de incógnitas ó será indeterminado si
posee un valor menor a tal número.
de grado superior o igual a cinco, aplicando únicamente un número finito de sumas, restas, multiplicaciones, divisiones y
extracción de raíces a los coeficientes de la ecuación.
Aunque ésta en principio parece ser una declaración débil, implica todo polinomio de grado n de una variable no constante
con coeficientes complejos n tiene, contando con las multiplicidades, exactamente n raíces. La equivalencia de estos dos
enunciados se realiza mediante la división polinómica sucesiva por factores lineales.
Hay muchas demostraciones de este importante resultado, que requieren bastantes conocimientos matemáticos para
formalizarlas. El nombre del teorema es considerado ahora un error por muchos matemáticos, puesto que es más un teorema
del análisis matemático que del álgebra.
2
única salvo el orden . Como consecuencia se obtiene que cualquier anillo simple y artiniano por la
izquierda (o por la derecha) es isomorfo a un anillo de matrices de orden n sobre un anillo de división.
El teorema de Wedderburn-Artin reduce el problema de clasificar anillos simples sobre un anillo de división a clasificar
anillos de división que contienen un anillo de división dado. Y esto todavía puede simplificarse más: el centro de un anillo de
división será un cuerpo K. Por lo tanto, A es una K-álgebra que tiene a K como centro. Así, un álgebra simple de dimensión
finita es un álgebra simple central sobre K. Consecuentemente, el teorema de Wedderburn-Artin reduce el problema de
clasificar las álgebras simples centrales de dimensión-finita al problema de clasificar anillos de división con un centro dado
de antemano.
En matemática, el teorema del binomio es una fórmula que proporciona el desarrollo de la potencia n-ésima de n (siendo n,
entero positivo) de un binomio. De acuerdo con el teorema, es posible expandir la potencia (x + y)n en una suma que implica
términos de la forma axbyc, donde los exponentes b y c son números naturales con b + c = n, y el coeficiente a de cada
término es un número entero positivo que depende de n y b. Cuando un exponente es cero, la correspondiente potencia es
usualmente omitida del término. Por ejemplo,
El coeficiente a en los términos de xbyc - xcyb es conocido como el coeficiente binomial o (los dos tienen el mismo
valor).
En álgebra, el teorema del factor sirve para encontrar los factores de un polinomio (una expresión en la cual los términos sólo
son sumados, sustraídos o multiplicados, e.g. ). Es un caso especial del teorema del resto.
El teorema del factor establece que un polinomio tiene un factor si y sólo si es una raíz de , es
decir que .
11. EL TEOREMA DE FROBENIUS, aplicado al ámbito matemático del álgebra abstracta, afirma que la única álgebra
asociativa divisible de dimensión finita que no es conmutativa sobre los números reales son los cuaterniones. Este teorema
fue demostrado por Ferdinand Georg Frobenius en 1877.
En matemáticas, el teorema fundamental de la teoría de Galois es un resultado que describe la estructura de ciertos tipos
de extensiones de cuerpos.
En su forma más básica el teorema dice que dada una extensión de cuerpos E/F que sea finita y Galois, existe
unacorrespondencia uno a uno entre sus cuerpos intermedios (cuerpos K que satisfacen F K E; también llamados
subextensiones de E/F) y los subgrupos de su grupo de Galois.
En la teoría de polinomios, el lema de Gauss, o Criterio de la irreducibilidad de Gauss, afirma que si es un dominio de
factorización única (DFU) y es su cuerpo de cocientes (o cuerpo de fracciones), entonces el contenido de
dospolinomios dados con coeficientes en es el producto de contenidos y todo polinomio primitivo es
irreducible en si y sólo si lo es en .
El Criterio de irreducibilidad de Gauss proporciona un resultado muy útil para demostrar ciertas propiedades de divisibilidad
en anillos de polinomios: por la equivalencia que señala el criterio entre la irreducibilidad de un polinomio
3
primitivo en y la irreducibilidad del mismo polinomio en , puede demostrarse que al ser un DFU también
lo es .
Así, se tiene como corolario que si es un DFU entonces también lo es , sea o no este último anillo un dominio de
ideales principales (DIP). Por ejemplo, no es un DIP pero sí es un DFU.
También se puede usar el lema para demostrar el criterio de Eisenstein, muy útil para identificar polinomios irreducibles en
los racionales.
14. Teoremas de isomorfía: Los teoremas de isomorfía, o más propiamente, teoremas de isomorfía de Noether, son tres
resultados importantes de la teoría de grupos. Estos teoremas relacionan a los grupos con sus grupos cociente, y son de gran
utilidad para construir isomorfismos entre diversos grupos y grupos cociente.
Pocos cambios no esenciales hacen a estos teoremas válidos también en términos de anillos y módulos en lugar de grupos.
En la teoría algebraica de números, el Teorema de Kronecker-Weber establece que cada extensión abeliana finita del cuerpo
de los números racionales , o en otras palabras cada cuerpo de números algebraicos cuyo grupo de Galois sobre sea
abeliano, es un subcuerpo de un cuerpo ciclotómico, es decir un cuerpo obtenido al añadir una raíz de la unidad a los números
racionales.
Kronecker proporcionó la mayoría de la prueba en 1853, cuyos huecos rellenaron Weber en 1886 y Hilbert en 1896. Se puede
probar mediante una construcción algebraica directa, aunque también es una consecuencia sencilla de la teoría de cuerpos de
clases y se puede probar juntando datos locales sobre el campo p-ádico de cada primo p.
Para una extensión abeliana K de Q existe de hecho un campo ciclotómico mínimo que la contiene. El teorema le permite a
uno definir el conductor fde K, como el entero n más pequeño tal que K resida en el cuerpo generado por las raíces enésimas
de la unidad. Por ejemplo, los cuerpos cuadráticos tienen como conductor el valor absoluto de su discriminante, un hecho
generalizado ampliamente en la teoría de cuerpos de clases.