Oración 1: por lo tanto, para a ∈ N∗, ∏ ξa := fP (α)a P∈Sop(D−D(α)∞ ) es una función que tiene un cero de multiplicidad por lo menos “a”, ∀P ∈ Sop(D−D(α)∞) y cuyos polos sólo pueden estar contenidos en los de α
Oración 2: :   ∑ div(ξa) ≥  a · P− (α)∞ P∈Sop(D−D(α)∞ ) Como      ∑ ∑D = ordP (D)P +  ordP (D)P P∈Sop(D−D(α)∞ ) P∈Sop((α)∞) Entonces para valores a y η ∈ N∗ suficientemente grandes tenemos que: D ≤ div(ξa) + η(α)∞ Como D−div(ξa) y D pertenecen a la misma clase en Cl(Div(XF )), por la Proposición 5.2.2, y por la Proposición 5.2.5 tenemos que: 0 ≤ deg(η(α)∞)− lη(α)∞ − (deg(D)− lD) Por lo tanto por la Proposición 5.2.6, para η suficientemente grande tenemos que: deg(D)− lD ≤ c §5.3 37 Como lo habíamos anunciado, por la Proposición 5.2.5 y por la Proposición 5.2.7 ahora podemos acotar el valor de la dimensión de Ker(ΓD,D′)
Conector: por lo tanto
Relación: reasoning
Género: theses