Scholarlink

<p>We introduce a notion of <i>partial commutator</i> in the context of a normal category with cokernels, as the commutator resulting from the recently introduced notion of <i>partial commutativity</i>. The partial commutator is defined by making slight modifications to the definition of the Huq commutator, and they agree in the unital context. We show that some fundamental properties of the Huq commutator can still be recovered. In particular, the partial commutator vanishes if and only if the morphisms partially commute, and in a normal category with finite colimits, it always exists and can be obtained via colimits as it is the case in absolute settings. As an application, we investigate partial commutators in the category <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12_2025_899_Article_IEq1.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{LAlg}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">LAlg</mi> </math></EquationSource> </InlineEquation> of <i>L</i>-algebras in the sense of W. Rump.</p>

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

Partial commutators

  • 期刊论文

  • 发表日期：

    2025年6月30日

查看全文
  • Vaino T. Shaumbwa

摘要

We introduce a notion of partial commutator in the context of a normal category with cokernels, as the commutator resulting from the recently introduced notion of partial commutativity. The partial commutator is defined by making slight modifications to the definition of the Huq commutator, and they agree in the unital context. We show that some fundamental properties of the Huq commutator can still be recovered. In particular, the partial commutator vanishes if and only if the morphisms partially commute, and in a normal category with finite colimits, it always exists and can be obtained via colimits as it is the case in absolute settings. As an application, we investigate partial commutators in the category \(\textsf{LAlg}\) LAlg of L-algebras in the sense of W. Rump.