Monoid extensions admitting cocycles (Q1611013)

Cochains, coboundaries and cocycles are defined adopting Eilenberg-MacLane's language to the monoid setting. A submonoid \(N\) is called `normal' in \(S\) if \(xN=Nx\) for all \(x\in S\). Then \(\rho_N\) denotes the congruence on \(S\) defined by \(x\rho_Ny\Leftrightarrow xN=yN\). A monoid \(S\) is said to be an extension of the monoid \(Q\) by the monoid \(N\) if \(N\) is normal in \(S\) and \(Q=S/\rho_N\). For a subset \(H\) of \(S\), the monoid \(N\) is `\(H\)-cancellative' if, for each \(h\in H\), the restricted left and right translation maps \(L_h|N\) and \(R_h|N\) are injective. It is proved that for monoids \(Q\) and \(N\), an extension \(S(Q,N)\) is \(Q\)-cancellative if and only if \(S(Q,N)\) is associated to a cocycle \((\omega,\Theta)\) of \(Q\) in \(N\). The article describes involutive, topological and cancellative extensions as well and applies the results obtained to the theory of representations of cancellative monoids (presenting a proof of the Mackey extension theorem in an appropriate setting).