For an additive left -module , a two-coboundary is a degree-two group cochain obtained from a degree-one cochain by
It is automatically a two-cocycle because . Expanding the four terms in makes every contribution cancel.
For trivial action and , take and . Then , a nonzero cochain representing the zero class in . Being cohomologically trivial does not require being pointwise zero.
Changing a section in an abelian-kernel group extension changes its extension cocycle by a two-coboundary. This is the mechanism behind quotienting two-cocycles by two-coboundaries when defining second group cohomology.

Articles by others on the same topic (0)

There are currently no matching articles.