On modular homology in the Boolean algebra
type: Item
instance of: scholarly article
title: On modular homology in the Boolean algebra
zbMATH Open document ID: 0839.20003
author: Johannes Siemons
author: Valeriy B. Mnukhin
published in: Journal of Algebra
publication date: 1996-06-10T00:00:00Z
full work available at URL: On modular homology in the boolean algbera 1-1996.pdf
review text: Among various combinatorial principles leading to interesting structures and resulting formulas those based on the viewpoints derived from homological algebra are among the most productive and thus useful. In this paper the authors study rings \(R\) of characteristic \(p\) (not necessarily prime)\(>0\) as they interact with sets \(\Omega\) as a basis. The inclusion (boundary) map \(\partial: M_k\to M_{k-1}\) is given by \(\partial \Delta= \Gamma_1+ \dots+ \Gamma_k\), where the \(\Gamma_i\) are distinct subsets of \(\Delta\) of cardinal \((k-1)\). Properties of the resulting homology are greatly affected by the classification of \(\Omega\) as finite or infinite. In this paper the emphasis is on \(\Omega\) infinite and on prime characteristic \(p\). It is then shown that under these conditions \(0\leftarrow \dots \leftarrow 0\leftarrow M_0 \leftarrow\dots \leftarrow M_m\dots\) is \(p\)-exact for any \(m\). If \(S^\Omega\) denotes the full symmetric group on \(\Omega\) and if \(RS^\Omega\) denotes the resulting group-ring, then \(RS^\Omega\) acts naturally on the \(M_k\)'s and this action commutes with \(\partial\). If \(A\) is a subring of \(RS^\Omega\) and \(AM_k= \langle af\mid a\in A\), \(f\in M_k\rangle\), then \(\partial: A_k\to A_{k-1}\) as well, so that one obtains a sequence \(0\leftarrow A_0 \leftarrow A_1\leftarrow\dots \leftarrow A_k\dots\) . This allows one to specify ample rings \(A\) to be those for which \(0\leftarrow \dots\leftarrow 0\leftarrow A_0\leftarrow A_1\leftarrow \dots\leftarrow A_m\dots\) is a \(p\)-exact for all \(m\). One may also consider permutation groups \(G\) on \(\Omega\) for which an infinite subset \(\Omega^*\) exists such that \(G\) moves only a finite number of points from \(\Omega^*\) (finitary sections) and then use information obtained in applications leading to resulting structures and formulas such as one for the \(p\)-rank of the orbit inclusion matrix if \(G\) has finitely many orbits on \(k\)-element subsets. The paper is …
Mathematics Subject Classification ID: 20B10
Mathematics Subject Classification ID: 20C07
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 18G99
Mathematics Subject Classification ID: 05E20
Mathematics Subject Classification ID: 05A18
Mathematics Subject Classification ID: 16E99
zbMATH DE Number: 840164
zbMATH Keywords: prime characteristic
zbMATH Keywords: symmetric groups
zbMATH Keywords: group rings
zbMATH Keywords: permutation groups
zbMATH Keywords: \(p\)-rank
zbMATH Keywords: orbits on \(k\)-element subsets
reviewed by: J. Neggers
MaRDI profile type: Publication
OpenAlex ID: W2058843019
DOI: 10.1006/JABR.1996.0009
Recommended article: On modular homology in the Boolean algebra. II
Recommended article: On modular homology in the Boolean algebra. III
Recommended article: Boolean algebras in algebraic topology
Recommended article: Homology of the Boolean complex
Recommended article: Q3758896
Recommended article: Q3762373
Recommended article: On Boolean Lattices of Module Classes
Recommended article: Boolean algebras of lattice uniformities and decompositions of modular functions
Recommended article: On modular homology in projective space
Recommended article: On sheaves and cosheaves of modules over Boolean algebras
description: scientific article; zbMATH DE number 840164