The Chermak-Delgado measure as a map on posets (Q6614079)

Let \(G\) be a finite group and \(H \leq G\) a subgroup. The (standard) Chermak-Delgado measure \(m_{G}\) is the function from the subgroup lattice \(\mathcal{S}(G)\) of \(G\) to the positive integers \(\mathbb{N}\) that maps \(H\) to \(|H||C_{G}(H)|\). The function \(m_{G}\) has the interesting property that the subgroups \(H \leq G\) such that \(m_{G}(H)\) has maximal value form a sublattice, the so-called Chermak-Delgado lattice \(\mathcal{CD}(G)\) of \(G\).\N\NThe first main result proven in the paper under review is Theorem A: Let \(G\) be a finite group. Then the following are equivalent. \N\begin{itemize}\N\item[(1)] The function \(m_{G}\) is increasing on \(\mathcal{S}(G)\). \N\item[(2)] \(m_{G}(H)=m_{G}(H\cap Z(G))\) for all \(H \in \mathcal{S}(G)\). \N\item[(3)] \(\mathcal{CD}(G)=[G/Z(G)]\).\N\end{itemize}\N\NSince the Chermak-Delgado lattice is self-dual under taking centralizers, if \(\mathcal{CD}(G)=[G/Z(G)]\), then all of the subgroups containing \(Z(G)\) are centralizers. Let \(\mathcal{C}(G) \subset \mathcal{S}(G)\) denote the set of subgroups of \(G\) that are centralizers in \(G\) (\(\mathcal{C}(G)\) is a sublattice of \(\mathcal{S}(G)\)). The second main result is Theorem B: Suppose \(G\) is a finite group. Then \(m_{G}\) is increasing on \(\mathcal{C}(G)\) if and only if \(\mathcal{C}(G)=\mathcal{CD}(G)\), and in such case \(G\) is nilpotent.\N\NAll centralizers of \(G\) contain \(Z(G)\), so Theorems A and B are both specific instances of Theorem C: Let \(G\) be a finite group. If the Chermak-Delgado measure \(m_{G}\) is increasing on a poset \(\mathcal{P} \subseteq \mathcal{S}(G)\) such that \N\begin{itemize}\N\item[(i)] \(Z(G)\in \mathcal{P}\); \N\item[(ii)] \(G \in \mathcal{P}\); \N\item[(iii)] \(\mathcal{P} \cap \mathcal{CD}(G) \not =\emptyset\).\N\end{itemize} \NThen \(\mathcal{CD}(G) \cap \mathcal{P} = \{H \in \mathcal{P} \mid Z(G) \leq H \}\).