Covering morphisms (Q4500830)

Let \(R\) be an associative ring with identity and let \(\mathcal F\) be a class of left \(R\)-modules. A homomorphism \(\varphi\colon F\to M\) is an \(\mathcal F\)-cover if \(\text{Hom}(G,F)\to\text{Hom}(G,M)\) is surjective for all \(G\in{\mathcal F}\) and every \(f\colon F\to F\) verifying \(\varphi f=\varphi\) is an automorphism of \(F\). The authors introduce a Galois theory for modules. Thus, the coGalois group of an \(\mathcal F\)-cover \(\varphi\colon F\to M\) is defined as the set of automorphisms \(g\) of \(F\) satisfying \(\varphi g=\varphi\). This group is computed for finitely generated modules when \(R\) is a principal ideal domain and \(\mathcal F\) is the class of torsionfree modules.