Hola
Cuando consideras la aplicación \( Y:I_n\to T_n \) debes de indicar que la defines como \( Y(k)=p+k \).
En la línea 4, donde dices: "cómo es finita es biyectiva", no se que quieres decir con esa frase. Para mi no tiene sentido. Es biyectiva, porque como muestras después es inyectiva y sobreyectiva.
Lo demás (creo) que está bien. Digo creo, porque como no se cuál es el Teorema 18.3, no puedo asegurar si está bien o mal aplicado.
Saludos
