Commutative semigroup cohomology (Q1176626): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Q5566551 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Left coset extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5508993 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extension theories for monoids / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4239579555 / rank | |||
Normal rank |
Latest revision as of 10:37, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Commutative semigroup cohomology |
scientific article |
Statements
Commutative semigroup cohomology (English)
0 references
25 June 1992
0 references
Let \(S\) be a commutative semigroup. A Beck extension of \(S\) by an abelian group object \(A\) of a (comma) category \(\mathfrak L\) consists of a commutative semigroup \(C=(C,q)\) over \(S\), with \(q\) surjective, and for each \(T\in{\mathfrak L}\) a simply transitive abelian group action of \(\hbox{Hom}_{\mathfrak L}(T,A)\) on the set \(\hbox{Hom}_{\mathfrak L}(T,C)\), which is compatible with \(q\) and natural in \(T\). Denote with \({\mathcal H}(S)\) the semigroup \(S\) viewed as a category. A commutative coextension of \(S\) by an abelian group valued functor \(A: x\mapsto A_ x\) on \({\mathcal H}(S)\) consists of a commutative semigroup \(C\), a surjective homomorphism \(p: C\to S\) and left group actions, under which each \(A_ x\) acts simply and transitively on \(C_ x=p^{-1}(x)\), so that \((g\cdot a)b=(\alpha_{x,y}g)\cdot ab\) for all \(x,y\in S\), \(g\in A_ x\), \(a\in C_ x\), \(b\in C_ y\). It is proved that if \(A\) is an abelian group valued functor on \({\mathcal H}(S)\), then the category of Beck extensions of \(S\) by \(A\) is isomorphic to the category of commutative coextensions of \(S\) by \(A\). Triple cohomology for commutative semigroups is described.
0 references
commutative semigroup
0 references
abelian group object
0 references
left group actions
0 references
category of Beck extensions
0 references
category of commutative coextensions
0 references
Triple cohomology
0 references