Galois connections between lattices of preradicals induced by adjoint pairs between categories of modules. (Q282434): Difference between revisions

In this paper, \(R\) denotes an associative ring with identity and \(R\)-Mod stands for the category of all unital \(R\)-modules. Let \(\langle P,\leq\rangle\) and \(\langle Q,\preceq\rangle\) be posets. A Galois connection between posets \(\langle P,\leq\rangle\) and \(\langle Q,\preceq\rangle\) consists of two mappings \(f\colon P\to Q\) and \(g\colon Q\to P\) such that for all \(p\in P\) and \(q\in Q\), we have \(p\leq g(q)\Leftrightarrow f(p)\preceq q\). This Galois connection is denoted by the quadruple \(\langle P,f,g,Q\rangle\), or if it is clear, by the pair of maps \(\langle f,g\rangle\). The maps \(f\) and \(g\) are called, respectively, the coadjoint part and the adjoint part. In this paper the authors give a generalization of the result of Bican, Jambor, Kepka and Nemec which states that given rings \(R\) and \(S\), every equivalence between the categories \(R\)-Mod and \(S\)-Mod induces a lattice isomorphism between the corresponding lattices \(R\)-pr and \(S\)-pr of preradicals. In particular, they show that every adjoint pair between two categories of modules induces a Galois connection between the lattices of preradicals. They study the particular case of the adjunction \(\langle F,G\rangle\) of functors that arouses from the ring homomorphism \(R\to R/I\), where \(I\) is an ideal of \(R\). The authors show that if \(\langle\varphi,\psi\rangle\) is the induced Galois connection, then \(\varphi\) is surjective and \(\psi\) is injective, hence in \(R\)-pr the image of \(\psi\) is isomorphic to \(R/I\)-pr as an ordered class. Moreover, the authors can describe the inverse image \(\overleftarrow\varphi(\overline\tau)\) for each preradical \(\overline\tau\) in \(R/I\)-pr, as an interval, giving a partition of \(R\)-pr into these intervals. Since the lattices \(\mathbb Z_{p^n}\)-pr, where \(p\) is a prime are completely described, the authors study the example \(R=\mathbb Z\) and \(I=p^n\mathbb Z\), with \(p\) a prime number. Since the idempotent preradicals and radicals are known in these lattices, the authors are able to locate to a certain point these classes of preradicals, and therefore the idempotent radicals on abelian groups, which are important because there exists a bijective correspondence between them and the torsion theories of abelian groups.