High and low formulas

Abstract: A partition of the set of unary positive primitive (pp) formulas for modules over an associative ring into four regions will be presented. These four types of formula have a bearing on various structural properties of modules, a few instances of which will be discussed in the talk. Domains, specifically Ore domains, turn out to play a prominent role.

One of the four types of formula are called high. These are used to define Ulm submodules and Ulm length of modules over an arbitrary associative ring. Pure injective modules turn out to have Ulm length at most 1 (just as in abelian groups). As a consequence, pure injective modules over RD domains (in particular, pure injective modules over the first Weyl algebra over a field of characteristic 0) decompose into a largest injective and a reduced submodule.

computational complexitycategory theorylogic

Audience: researchers in the topic

PALS Panglobal Algebra and Logic Seminar

Series comments: The PALS seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. Please contact one of the organizers for the Zoom password, to join the mailing list or if you want to speak.