Números p-ádicos

Este teorema afirma que todo número entero mayor que 1 es un número primo o puede representarse unívocamente como producto de números primos, sin tener en cuenta el orden de los factores. Por ejemplo, [latex]1200 = 2^4 \times 3^1 \times 5^2[/latex]. Esta factorización única es una piedra angular de la teoría de números, ya que proporciona una estructura multiplicativa fundamental para los números enteros.

La representación canónica, o forma estándar, de un número entero positivo [latex]n[/latex] es su factorización prima única escrita como un producto de potencias primas con los primos en orden ascendente. Para cualquier número entero [latex]n > 1[/latex], se puede escribir como [latex]n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}[/latex], donde [latex]p_1 < p_2 < \cdots < p_k[/latex] son números primos y los exponentes [latex]a_i[/latex] son números enteros positivos.

Teorema fundamental de existencia y unicidad para ecuaciones diferenciales parciales asociadas con problemas de valor inicial de Cauchy. Establece que si la EDP y las condiciones iniciales son analíticas (pueden representarse mediante series de potencias convergentes), entonces existe una solución analítica única en un entorno de la superficie inicial. Proporciona una garantía de existencia local, pero no aborda el comportamiento global ni el planteamiento correcto.

La cohomología de gavilla es una herramienta central en la geometría algebraica moderna para estudiar las propiedades globales de los espacios geométricos. Para una gavilla [latex]\mathcal{F}[/latex] en un espacio [latex]X[/latex], los grupos de cohomología [latex]H^i(X, \mathcal{F})[/latex] son espacios vectoriales cuyas dimensiones proporcionan invariantes importantes. El grupo [latex]H^0[/latex] representa secciones globales, mientras que los grupos superiores [latex]H^i[/latex] para [latex]i > 0[/latex] miden los obstáculos para unir secciones locales en una global.

Una consecuencia directa del teorema fundamental del álgebra es que cualquier polinomio no constante con coeficientes reales puede factorizarse en un producto de factores lineales y factores cuadráticos irreducibles, todos con coeficientes reales. Los factores lineales corresponden a las raíces reales, mientras que los factores cuadráticos irreducibles corresponden a pares de raíces complejas conjugadas [latex]a \pm bi[/latex].

Un número trascendental es un número real o complejo que no es algebraico, lo que significa que no es raíz de ninguna ecuación polinómica distinta de cero con coeficientes enteros (o racionales). Todos los números trascendentales son irracionales, pero no todos los números irracionales son trascendentales (por ejemplo, [latex]\sqrt{2}[/latex] es irracional pero algebraico, ya que es una raíz de [latex]x^2 - 2 = 0[/latex]).

A pesar de ser denso, lo que significa que entre dos números racionales distintos hay otro, el conjunto de todos los números racionales [latex]\mathbb{Q}[/latex] es infinito contable. Esto significa que todos los números racionales pueden ponerse en correspondencia uno a uno con los números naturales [latex]\mathbb{N} = \{1, 2, 3, ...\}[/latex]. Este sorprendente resultado demuestra que [latex]\mathbb{Q}[/latex] tiene la misma cardinalidad que [latex]\mathbb{N}[/latex] y [latex]\mathbb{Z}[/latex].

El Nullstellensatz de Hilbert (en alemán, "teorema de los ceros") establece una correspondencia fundamental entre geometría y álgebra. Afirma que para un campo algebraicamente cerrado [latex]k[/latex], si un polinomio [latex]p[/latex] desaparece en el conjunto cero de un ideal [latex]I[/latex], entonces alguna potencia de [latex]p[/latex] debe pertenecer a [latex]I[/latex]. Formalmente, [latex]I(V(I)) = \sqrt{I}[/latex], el radical de [latex]I[/latex].

Una variedad afín es el conjunto de puntos de un espacio afín cuyas coordenadas son los ceros comunes de un conjunto finito de polinomios. Para un conjunto de polinomios [latex]S = \{f_1, \dots, f_k\}[/latex] en un anillo de polinomios [latex]k[x_1, \dots, x_n][/latex], la variedad afín correspondiente es [latex]V(S) = \{x \in k^n | f(x) = 0 \text{ for all } f \in S\}[/latex]. Es un objeto central de estudio en la geometría algebraica clásica.