<p>The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in abstract commutative ideal theory. These concepts are based on particular properties of Galois connections which play an important role also in the abstract study of group-like structures from the perspective of categorical/universal algebra; such role stems from a classical and basic result in group theory: the lattice isomorphism theorem.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Lawvere’s Frobenius Reciprocity, the Modular Connections of Grandis and Dilworth’s Abstract Principal Ideals

  • Amartya Goswami,
  • Zurab Janelidze,
  • Graham Manuell

摘要

The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in abstract commutative ideal theory. These concepts are based on particular properties of Galois connections which play an important role also in the abstract study of group-like structures from the perspective of categorical/universal algebra; such role stems from a classical and basic result in group theory: the lattice isomorphism theorem.