## [Divisor](/es/node/61147) Definición Una combinación lineal finita con coeficientes enteros de subvariedades irreducibles de codimensión uno (divisores primos) en una variedad algebraica, usada para registrar los órdenes de ceros y polos de funciones racionales o de secciones de fibrados en líneas. ## Principio Principio Los divisores codifican órdenes locales de anulación a lo largo de loci de codimensión uno y organizan esos datos hasta la equivalencia lineal; los divisores principales provienen de los órdenes logarítmicos de funciones racionales y los divisores de Cartier corresponden a ecuaciones locales bien definidas cuando ello es posible. ## Demostración Demostración En una curva proyectiva suave, una función racional no nula f define el divisor principal (f)=Σ_v ord_v(f)·v, sumando ceros con multiplicidad positiva y polos con multiplicidad negativa; en una superficie, una componente de curva aparece como término de codimensión uno con coeficiente entero. ## Aplicación incorrecta Aplicación incorrecta Tratar cualquier subvariedad como divisor sin atender la codimensión, o asumir que todo divisor de Weil es de Cartier en una variedad no normal; o identificar un divisor con una única ecuación global cuando no existe tal ecuación. ## Consecuencia Consecuencia Su uso correcto conduce a grupos de clases de divisores y al grupo de Picard, al puente con fibrados en líneas y sistemas lineales, y a números de intersección que controlan la geometría y los invariantes enumerativos. ## Inversión Inversión Negar los coeficientes convierte divisores efectivos en anti‑efectivos (los ceros pasan a polos); olvidar la equivalencia lineal sustituye clases de divisores por ciclos brutos y se pierde la información sobre los fibrados asociados. ## Límite Límite Se aplica únicamente a ciclos de codimensión uno; hay que distinguir entre divisores de Weil y de Cartier, divisores principales y efectivos — algunas igualdades requieren normalidad o suavidad. ## Tensión semántica Tensión semántica Divisor compite con nociones cercanas como ciclos generales, subvariedades de otra codimensión y fibrados en líneas/faisheaves invertibles; la tensión viene de oponer datos ciclo‑teóricos brutos y clases de equivalencia que reflejan fibrados geométricos. ## Síntesis Síntesis Un divisor es el ciclo de codimensión uno que registra dónde y con qué multiplicidad las secciones o funciones se anulan o divergen; módulo los divisores principales clasifica el torsionamiento descrito por los fibrados en líneas asociados.