文摘
A shelf is a set with a binary operation 鈻?satisfying a鈻?b鈻筩)=(a鈻筨)鈻?a鈻筩). Racks are shelves with invertible translations b鈫鈻筨; many of their aspects, including cohomological, are better understood than those of general shelves. Finite monogenic shelves (FMS), of which Laver tables and cyclic racks are the most famous examples, form a remarkably rich family of structures and play an important role in set theory. We compute the cohomology of FMS with arbitrary coefficients. On the way we develop general tools for studying the cohomology of shelves. Moreover, inside any finite shelf we identify a sub-rack which inherits its major characteristics, including the cohomology. For FMS, these sub-racks are all cyclic.