Abelianization of the F-divided fundamental group scheme
Let be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for produces a homomorphism from the abelianization of the -divided fundamental group scheme of to the -divided fundamental group of the Albanese variety of . We prove that this homomorphism is surjective with finite kernel. The kernel is also described.