Galois Connections and Preradicals in Abelian Categories

Abstract

In this paper we define operations of preradicals of any abelian category. We define idempotent preradicals and radicals. We prove that every adjoint pair between abelian categories induces a Galois connection between the corresponding ordered collections of preradicals. If the abelian categories are bicomplete, we construct alpha and omega preradicals and study their respective preservation under the Galois connection. If a bicomplete abelian category is in addition locally small, then the corresponding collection of preradicals is a complete lattice. The Galois connection induced by an adjoint pair between locally small bicomplete abelian categories preserves, respectively, idempotent preradicals and radicals.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…