Ejercicios 14

Ronald F. Bustamante Medina

1. Sea R un anillo diferencial, denotemos por R{X} el anillo de polino-

mios diferenciales (es decir el anillo R[X, DX, D2 X, · · · ]). Demuestre
que R{X} tiene estructura de anillo diferencial.

2. Definición 0.1 Sea R un anillo diferencial y sea I un ideal de R{X}.

Decimos que I es un ideal diferencial si para todo f ∈ I, D(f ) ∈ I.

Definición 0.2 Sea f ∈ R{X} de orden n. El separante de f es

s(f ) = ∂D∂fn X

Sea f ∈ R{X}, y sea I(f ) = {g ∈ R{X} : sk g ∈< f > para algún

k}. Demuestre que I(f ) es un ideal diferencial. (< f > es el ideal
diferencial generado por f , es decir el ideal generado por f, f 0 , f 2 , · · · ).

3. Sea K un campo diferencial de caracterı́stica 0. Sea f ∈ K{X} irre-

ducible de orden n. Demuestre que podemos escribir f (l) = sX (n+1) +
fl (X, X 0 , · · · , X (n+l−1) ) para l ≥ 1.

4. Sea f ∈ K{X} irreducible de orden n y sea g ∈< f > \{0}. Demuestre

que g tiene grado menor o igual a n y si es n entonces f divide a g.