The Bogomolov multiplier of rigid finite groups (Q2447684): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W1966574269 / rank
 
Normal rank

Revision as of 18:33, 19 March 2024

scientific article
Language Label Description Also known as
English
The Bogomolov multiplier of rigid finite groups
scientific article

    Statements

    The Bogomolov multiplier of rigid finite groups (English)
    0 references
    0 references
    0 references
    28 April 2014
    0 references
    Let \(G\) be a finite group, and let \[ B_0(G)=\mathrm{Ker} \left( H^2(G,\mathbb{Q}/\mathbb{Z}) \to \bigoplus_{A \subset G} H^2(A,\mathbb{Q}/\mathbb{Z}) \right) \] be the \textit{Bogomolov multiplier} of \(G\), where \(A\) runs over all abelian subgroups of \(G\). Let \(G\) act on itself by conjugation, and let \(H^1(G,G)\) be the first cohomology pointed set. Denote by \(TS(G)\) the subgroup of \(H^1(G,G)\) consisting of the cohomology classes becoming trivial after restricting to every cyclic subgroup of \(G\); it is called the Shafarevich-Tate group of \(G\). The group \(G\) is called \textit{rigid} if \(TS(G)\) is trivial. The aim of this paper is to show that \(B_0(G)=0\) for many rigid groups. More precisely, the authors first give a list (Proposition 1.1) of finite groups which are known to be rigid. Then the main result (Theorem 1.2 and \S 3.Remark) states that \(B_0(G)\) is trivial for all the groups of the list. The seven first cases were already known (and the authors give the relevant references), two cases constitute the main body of the paper, and the two last cases were answered in the affirmative by Michailov after the submission of the paper (see \S 3.Remark). A last part contains some general remarks and open question around the connection between the rigid groups and groups whose Bogomolov multiplier is trivial. In particular, there is an example of a group \(G\) which is rigid but satisfies \(B_0(G) \neq 0\).
    0 references
    Bogomolov multiplier
    0 references
    unramified Brauer group
    0 references
    Shafarevich-Tate set
    0 references
    class-preserving automorphisms
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references