Término Principal
El término principal es el término de mayor grado en un polinomio, que combina el coeficiente principal y la variable elevada a la mayor potencia.
Definition
El término principal es todo el primer término, coeficiente y variable juntos, cuando un polinomio se escribe con el exponente más grande primero; es el coeficiente principal multiplicado por la variable elevada al grado del polinomio, y controla el comportamiento a largo plazo (en los extremos) del polinomio, ya que para $|x|$ grande el polinomio "se parece a" solo su término principal. En un anillo de polinomios $F[x]$ con un orden monomial, el término principal $LT(f)$ es el término más grande de $f$ con respecto a ese orden; en la teoría de bases de Gröbner, el ideal de términos principales $LT(I)$ controla la divisibilidad y la reducción de polinomios en un ideal $I$, y el algoritmo de Buchberger construye una base de Gröbner calculando S-polinomios entre términos principales y reduciendo los restos.
Example
En $6x^4 - 3x^2 + x - 5$, el término principal es $6x^4$; en $-2y^3 + y$, es $-2y^3$. Para $2x^5 - 9x^3 + 4x$, cuando $x \to +\infty$, $2x^5 \to +\infty$, y cuando $x \to -\infty$, $2x^5 \to -\infty$, coincidiendo con el comportamiento de todo el polinomio en los extremos. Para $f = 4x^2 + 3x + 1$ bajo el orden lex, $LT(f) = 4x^2$, y dividir entre $g = 2x + 5$ (donde $LT(g) = 2x$) procede término por término usando estos términos principales.
Key Insight
Sin importar cuántos términos tenga un polinomio, para $x$ grande se comporta como solo su término principal, razón por la cual el comportamiento en los extremos depende únicamente del grado y del coeficiente principal. En el álgebra computacional, el término principal es el asidero clave para la división de polinomios y el cálculo de bases de Gröbner, permitiendo soluciones algorítmicas para sistemas de ecuaciones polinómicas.