The Chermak-Delgado measure as a map on posets
type: Item
instance of: scholarly article
title: The Chermak-Delgado measure as a map on posets
zbMATH Open document ID: 1548.20031
author: W. Cocke
author: Ryan McCulloch
published in: Archiv der Mathematik
publication date: 2024-10-07T00:00:00Z
review text: 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 \}\).
reviewed by: Enrico Jabara
Mathematics Subject Classification ID: 20D30
zbMATH DE Number: 7921911
zbMATH Keywords: lattice of subgroups
zbMATH Keywords: centralizer
zbMATH Keywords: Chermak-Delgado measure
zbMATH Keywords: Chermak-Delgado lattice
zbMATH Keywords: poset
MaRDI profile type: MaRDI publication profile
cites work: Groups whose Chermak-Delgado lattice is a quasi-antichain
cites work: Twisted centrally large subgroups of finite groups
cites work: Some groups with computable Chermak-Delgado lattices.
cites work: Quasi-antichain Chermak-Delgado lattices of finite groups.
cites work: On groups with few subgroups not in the Chermak-Delgado lattice
cites work: On finite \(p\)-groups with cyclic commutator subgroup
cites work: A Measuring Argument for Finite Groups
cites work: Subnormality and the Chermak–Delgado lattice
cites work: On the Chermak-Delgado measure of a finite group
cites work: Q3521460
cites work: Finite groups with a trivial Chermak-Delgado subgroup
cites work: The Chermak-Delgado measure in finite \(p\)-groups
cites work: Zentralisatorverbände endlicher Gruppen
cites work: Subgroup lattices of groups
cites work: A note on the Chermak–Delgado lattice of a finite group
cites work: Finite groups with a certain number of values of the Chermak–Delgado measure
cites work: Exploring the Chermak-Delgado Lattice
DOI: 10.1007/S00013-024-02015-8
description: scientific article; zbMATH DE number 7921911