Associated primes in group cohomology and a strange result

In 2010. Okuyama proved the following. Let $G$ be a finite group and $k$ an algebraically closed field of characteristic $p$ dividing the order of $G$. (1) Let $\frak p$ be an associated prime of $H^*(G,k)$ of $\dim=s$. Then there exists an elementary abelian $p$-subgroup $E\subseteq G$ of rank $s$ with $\mathfrak p=\mathfrak p_E$ and depth$\,H^*(C_GE,k)=s$. (2) Let $E$ be an elementary abelian $p$-subgroup of $G$ of rank $s$ and suppose depth$\,H^*(C_GE,k)=s$. Then $\mathfrak p_E$ is an associated prime of $H^*(G,k)$. It is shown this result is true for all fields of characteristic $p$. We also show the following result: If $E$ is an elementary abelian $p$-subgroup of $G$ and depth $H^*(G,k)=\text{rank} E$, then up to conjugation $E$ contains the maximal elementary abelian subgroup contained in the center of a Sylow $p$-subgroup of $G$.

Authors

Publication Details

Journal
arXiv (Cornell University)
Published
2026-11-02
DOI
https://doi.org/10.48550/arxiv.2611.03569
Primary Topic
Finite Group Theory Research
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Associated primes in group cohomology and a strange result

James A. Schafer
arXiv (Cornell University)
Finite Group Theory Research
preprint

Associated primes in group cohomology and a strange result

James A. Schafer
preprint en

Abstract

In 2010. Okuyama proved the following. Let $G$ be a finite group and $k$ an algebraically closed field of characteristic $p$ dividing the order of $G$. (1) Let $\frak p$ be an associated prime of $H^*(G,k)$ of $\dim=s$. Then there exists an elementary abelian $p$-subgroup $E\subseteq G$ of rank $s$ with $\mathfrak p=\mathfrak p_E$ and depth$\,H^*(C_GE,k)=s$. (2) Let $E$ be an elementary abelian $p$-subgroup of $G$ of rank $s$ and suppose depth$\,H^*(C_GE,k)=s$. Then $\mathfrak p_E$ is an associated prime of $H^*(G,k)$. It is shown this result is true for all fields of characteristic $p$. We also show the following result: If $E$ is an elementary abelian $p$-subgroup of $G$ and depth $H^*(G,k)=\text{rank} E$, then up to conjugation $E$ contains the maximal elementary abelian subgroup contained in the center of a Sylow $p$-subgroup of $G$.

arXiv (Cornell University)
Finite Group Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon