2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/76521We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn implies the Friedlander-Milnor conjecture in positive characteristic in degrees <=3.15 pagesK-Theory and HomologyGroup Theory20G10text