<p>With the goal of approximating a semigroup by its largest factorisable subsemigroup, we define right <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">U</mi> </math></EquationSource> </InlineEquation>-fair semigroups as the largest class of semigroups among which a naive approach makes sense. We study what it would take to extend the Morita theory of factorisable semigroups to the right <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">U</mi> </math></EquationSource> </InlineEquation>-fair case. We show that there exists a coreflector functor from the category of acts into the category of firm acts and tie colimit preservation properties of this functor to the right <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">U</mi> </math></EquationSource> </InlineEquation>-fairness of the semigroup. As the main result we show that being right <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">U</mi> </math></EquationSource> </InlineEquation>-fair for a semigroup is equivalent to the coreflector preserving epimorphisms. We use this fact to prove some statements related to projective objects and Morita theory.</p>

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

\(\mathcal {U}\)-fair semigroups and the firmification of acts

  • Valdis Laan,
  • Ülo Reimaa,
  • Lauri Tart

摘要

With the goal of approximating a semigroup by its largest factorisable subsemigroup, we define right \(\mathcal {U}\) U -fair semigroups as the largest class of semigroups among which a naive approach makes sense. We study what it would take to extend the Morita theory of factorisable semigroups to the right \(\mathcal {U}\) U -fair case. We show that there exists a coreflector functor from the category of acts into the category of firm acts and tie colimit preservation properties of this functor to the right \(\mathcal {U}\) U -fairness of the semigroup. As the main result we show that being right \(\mathcal {U}\) U -fair for a semigroup is equivalent to the coreflector preserving epimorphisms. We use this fact to prove some statements related to projective objects and Morita theory.