Relative Brauer relation generation conjecture for finite p-groups

Let pp be a prime, let GG be a finite pp-group, and let K(G,Cp)K(G,C_p) denote the module of relative (G,Cp)(G,C_p)-Brauer relations. For a sub-quotient P=K/NP=K/N of G×CpG\times C_p, write IndKG×CpInfPK(ΘP)\operatorname{Ind}^{G\times C_p}_K\operatorname{Inf}^{K}_P(\Theta'_P) for the relation induced and inflated from a PP-relation ΘP\Theta'_P. Relative Brauer relation generation conjecture. All relative Brauer (G,Cp)(G,C_p)-relations are integer linear combinations of relations of the form

Θ=nPIndKG×CpInfPK(ΘP),P=K/N a sub-quotient of G×Cp,\Theta=\sum n_P\operatorname{Ind}^{G\times C_p}_K\operatorname{Inf}^{K}_P(\Theta'_P),\qquad P=K/N\text{ a sub-quotient of }G\times C_p,

where each PP is isomorphic to one of Cp×Cp×CpC_p\times C_p\times C_p, the Heisenberg group of order p3p^3 times CpC_p, or, when p=2p=2, the dihedral group of order 2n2^n with n4n\geq 4 times C2C_2. This would identify the listed sub-quotients as the sources of all relative Brauer relations for finite pp-groups; the statement is presented as a conjectural formulation based on rank estimates and a search for suitable relations, and its resolution is not supplied here.

Sources & referencesView supporting material

Primary source

Marian F. Anton, “Relative Brauer relations of abelian p-groups”, arXiv:2112.10331 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.