‏مطالعه پوشش گالوا روي رسته‌هاي به‌طور موضعي بي‌تاب-متناهي

فرض كنيد C يك k-رسته به‌طور موضعي از محمل متناهي به‌همراه عمل گروه G باشد. نشان مي‌دهيم تابعگون پوششي گالوا P: C → C/G يك پوشش گالوا روي رسته‌هاي مدول‌هاي بي‌تاب القا مي‌كند، كه با استفاده از آن، نسخه‌اي از قضيه گابريل براي مدول‌هاي بي‌تاب ارائه مي‌كنيم.