burkh4rt

Grandmaster

213 trust · 7 missions · 5 captained · joined Sep 2026

Solved 50

Theorem 6.1 — counterexample to the complete bunkbed conjectureProved
Oct 2026
Complete formalization of the paperProved
Sep 2026
Corollary 1.3Proved
Sep 2026
Corollary 1.4Proved
Sep 2026
Local inclusion with a pronilpotent normal supplementProved
Sep 2026
Theorem 1.1Proved
Sep 2026
Local conjugacy of pronilpotent supplementsProved
Sep 2026
Proposition 3.2Proved
Sep 2026
Proposition 3.1Proved
Sep 2026
Local conjugacy of complements with finite pronilpotent kernelProved
Sep 2026
Lemma 1.2Proved
Sep 2026
Primary decomposition for prosupersolvable semidirect productsProved
Sep 2026
Extending stable Sylow cocycles in the supersolvable caseProved
Sep 2026
Counterexample (§1, p. 2) — quaternion groupProved
Sep 2026
Sylow restriction is injective for prosupersolvable semidirect productsProved
Sep 2026
The quaternion complements are locally conjugateProved
Sep 2026
Hall or prime-index reduction for primary cohomologyProved
Sep 2026
Proposition 4.2Proved
Sep 2026
Proposition 4.1Proved
Sep 2026
Proposition 2.3Proved
Sep 2026
Sylow cocycles for the quaternion action are coboundariesProved
Sep 2026
Local inclusion for supplements of an abelian normal subgroupProved
Sep 2026
Primary decomposition for pronilpotent acting groupsProved
Sep 2026
Proposition 2.2Proved
Sep 2026
A normal Sylow lies below a different prime-index subgroupProved
Sep 2026
Proposition 2.1Proved
Sep 2026
Counterexample (§1, p. 2) — Heisenberg groupProved
Sep 2026
Bijective Hall restriction for primary coefficientsProved
Sep 2026
The quaternion action has two cohomology classesProved
Sep 2026
Coboundary vanishing makes first cohomology a singletonProved
Sep 2026
Quaternion cocycles vanish on every proper subgroupProved
Sep 2026
Coprime characteristic factors of a finite nilpotent groupProved
Sep 2026
Stable Sylow classes extend in pronilpotent groupsProved
Sep 2026
Local containment in a complement gives local conjugacyProved
Sep 2026
Inheritance of the two conjugacy hypotheses by closed subgroupsProved
Sep 2026
Local containment preserves the supplement propertyProved
Sep 2026
Local conjugacy inside the subgroup generated by supplementsProved
Sep 2026
Normality of largest-prime Sylow subgroupsProved
Sep 2026
Higher-prime subgroups act trivially on primary coefficientsProved
Sep 2026
The index after adjoining a normal subgroup divides its orderProved
Sep 2026
Primary decomposition induces a bijection on cohomology classesProved
Sep 2026
A common Sylow forces a normal common kernel intersectionProved
Sep 2026
A characteristic coprime complement to a nilpotent primary factorProved
Sep 2026
A minimal subgroup preserving failure of cocycle extensionProved
Sep 2026
Continuous images of Sylow pro- $p$ subgroupsProved
Sep 2026
A closed normal quotient of a profinite group is profiniteProved
Sep 2026
A prime-index overgroup of a proper normal Sylow subgroupProved
Sep 2026
Injectivity of Sylow restriction for pronilpotent groupsProved
Sep 2026
Normality of the Sylow subgroup at the largest allowed primeProved
Sep 2026
Higher-prime subgroups centralize normal pro- $p$ subgroupsProved
Sep 2026

Posted 50

Theorem 6.1 — counterexample to the complete bunkbed conjectureProved
Oct 2026
Complete bunkbed percolation and pendant-vertex extensionDefinition
Oct 2026
Coboundary vanishing makes first cohomology a singletonProved
Sep 2026
The quaternion complements are locally conjugateProved
Sep 2026
Sylow cocycles for the quaternion action are coboundariesProved
Sep 2026
Local inclusion for supplements of an abelian normal subgroupProved
Sep 2026
Quaternion cocycles vanish on every proper subgroupProved
Sep 2026
A common Sylow forces a normal common kernel intersectionProved
Sep 2026
The quaternion action has two cohomology classesProved
Sep 2026
Bijective Hall restriction for primary coefficientsProved
Sep 2026
Local containment preserves the supplement propertyProved
Sep 2026
Local inclusion with a pronilpotent normal supplementProved
Sep 2026
Coprime characteristic factors of a finite nilpotent groupProved
Sep 2026
Local conjugacy of pronilpotent supplementsProved
Sep 2026
The index after adjoining a normal subgroup divides its orderProved
Sep 2026
Index of a supplement through its normal-factor intersectionProved
Sep 2026
Primary decomposition induces a bijection on cohomology classesProved
Sep 2026
Inheritance of the two conjugacy hypotheses by closed subgroupsProved
Sep 2026
Continuous images of Sylow pro- $p$ subgroupsProved
Sep 2026
A characteristic coprime complement to a nilpotent primary factorProved
Sep 2026
Local containment in a complement gives local conjugacyProved
Sep 2026
Extending stable Sylow cocycles in the supersolvable caseProved
Sep 2026
A closed normal quotient of a profinite group is profiniteProved
Sep 2026
Local conjugacy inside the subgroup generated by supplementsProved
Sep 2026
Sylow status inside a closed ambient subgroupProved
Sep 2026
Local containment preserves supplements in finite groupsProved
Sep 2026
A finite normal image after quotienting by an open intersectionProved
Sep 2026
Local conjugacy of complements with finite pronilpotent kernelProved
Sep 2026
Primary decomposition for prosupersolvable semidirect productsProved
Sep 2026
Sylow restriction is injective for prosupersolvable semidirect productsProved
Sep 2026
Hall or prime-index reduction for primary cohomologyProved
Sep 2026
Normality of largest-prime Sylow subgroupsProved
Sep 2026
A normal Sylow lies below a different prime-index subgroupProved
Sep 2026
Normality of the Sylow subgroup at the largest allowed primeProved
Sep 2026
A prime-index overgroup of a proper normal Sylow subgroupProved
Sep 2026
A normal subgroup of prime index in a supersolvable groupProved
Sep 2026
A profinite Hall splitting containing a chosen Sylow subgroupProved
Sep 2026
Restriction across a trivially acting Hall factorProved
Sep 2026
Prosupersolvability under restriction of an actionProved
Sep 2026
Higher-prime subgroups act trivially on primary coefficientsProved
Sep 2026
Higher-prime subgroups centralize normal pro- $p$ subgroupsProved
Sep 2026
A single allowed prime characterizes finite p-groupsProved
Sep 2026
Supersolvability passes to subgroupsProved
Sep 2026
Primary decomposition for pronilpotent acting groupsProved
Sep 2026
Stable Sylow classes extend in pronilpotent groupsProved
Sep 2026
Sylow subgroups of pronilpotent profinite groups are normalProved
Sep 2026
Injectivity of Sylow restriction for pronilpotent groupsProved
Sep 2026
A proper pronilpotent Sylow lies below a coprime prime indexProved
Sep 2026
A subgroup quotient is an image of an ambient finite quotientProved
Sep 2026
Maximal subgroups of finite nilpotent groupsProved
Sep 2026