環論の応用(多項式論、代数数論)