The Sym(3) Conjecture and Alt(8)

Cecil Andrew Ellard

arxiv: 1907.07828 · v1 · pith:PTVJ2OKVnew · submitted 2019-07-18 · 🧮 math.GR

The Sym(3) Conjecture and Alt(8)

Cecil Andrew Ellard This is my paper

Pith reviewed 2026-05-24 19:52 UTC · model grok-4.3

classification 🧮 math.GR

keywords Sym(3) conjectureminimal counterexamplesocleAlt(8)alternating groupfinite groupsgroup theory

0 comments

The pith

If G is a minimal counterexample to the Sym(3) conjecture, then Soc(G)' cannot be isomorphic to Alt(8).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies an alternate proof, free of computer assistance, that any minimal counterexample G to the Sym(3) conjecture must satisfy the condition that the derived subgroup of its socle is not isomorphic to the alternating group on eight letters. This removes one concrete possibility from the list of candidate structures that such a counterexample could possess. A reader cares because the result narrows the search space for potential counterexamples and replaces an earlier computational verification with a direct group-theoretic argument based on the minimality assumption.

Core claim

We prove that if G is a minimal counterexample to the Sym(3) conjecture, then Soc(G)' is not isomorphic to Alt(8). The argument assumes the isomorphism for contradiction and uses the definition of a minimal counterexample together with standard facts about the structure and subgroups of Alt(8) to reach an impossibility.

What carries the argument

The derived subgroup Soc(G)' of the socle of a minimal counterexample G to the Sym(3) conjecture.

If this is right

Alt(8) is eliminated as a possible socle for any minimal counterexample.
Subsequent analysis of the Sym(3) conjecture can proceed without this case.
The same non-isomorphism holds under the original computer-assisted argument and the new proof.
The result is available for use in any classification that assumes a minimal counterexample exists.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The minimality argument may extend to rule out other small alternating or sporadic groups as possible socles.
A complete resolution of the Sym(3) conjecture could in principle be carried out with purely theoretical tools.
The approach illustrates how the single assumption of minimality can replace exhaustive machine search for specific small groups.

Load-bearing premise

The standard definitions of minimal counterexample and Soc(G) are sufficient to derive the non-isomorphism without further case-by-case computational checks.

What would settle it

Exhibiting a finite group G that is a minimal counterexample to the Sym(3) conjecture and for which Soc(G)' is isomorphic to Alt(8) would falsify the claim.

read the original abstract

We give an alternate computer-free proof of a result of Z. Arad, M. Muzychuk, and A. Oliver: if G is a minimal counterexample to the Sym(3) conjecture, then Soc(G)' cannot be isomorphic to Alt(8).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is an alternate computer-free proof of a result already in the literature from Arad-Muzychuk-Oliver.

read the letter

This paper re-proves that if G is a minimal counterexample to the Sym(3) conjecture, then Soc(G)' cannot be Alt(8). The statement itself is not new. Arad, Muzychuk, and Oliver already established it, so the contribution sits in the proof route rather than the claim. The paper supplies an explicit computer-free derivation instead of whatever method the earlier work used. That is the one concrete thing it adds. If the original argument leaned on machine checks or long case lists, a clean hand proof can be useful for verification or teaching. The argument uses the standard definitions of minimal counterexample and socle, then derives a contradiction for the Alt(8) case. No circularity or extra assumptions appear in the description. The stress-test note is right that the load-bearing step is just the internal consistency of that derivation. The soft spot is the incremental nature of the work. Without a substantially shorter or more conceptual argument, the paper does not move the conjecture forward in any structural way. It is a solid but narrow addition. Readers already working on the Sym(3) conjecture or related questions in finite groups will find it relevant. Anyone outside that niche can skip it. The math looks formally grounded enough to warrant referee time, even though the overall significance is modest. I would send it to peer review in a specialized group-theory journal rather than desk-reject it.

Referee Report

0 major / 2 minor

Summary. The manuscript provides an alternate computer-free proof that if G is a minimal counterexample to the Sym(3) conjecture, then Soc(G)' cannot be isomorphic to Alt(8). This is presented as a reproof of a result originally due to Arad, Muzychuk, and Oliver.

Significance. A computer-free argument for this case of the Sym(3) conjecture is a useful contribution to finite group theory, as it may clarify structural properties of minimal counterexamples without external computation. The explicit derivation strengthens accessibility of the result.

minor comments (2)

[Introduction] The introduction would benefit from an explicit recall of the statement of the Sym(3) conjecture to make the paper self-contained.
Notation for Soc(G)' is used without a dedicated definition paragraph; a brief reminder of the standard definition would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation to accept the manuscript. The report accurately summarizes our contribution as an alternate computer-free proof of the result originally due to Arad, Muzychuk, and Oliver.

Circularity Check

0 steps flagged

No significant circularity in the derivation

full rationale

The paper supplies an explicit alternate computer-free proof that Soc(G)' cannot be Alt(8) for a minimal counterexample G to the Sym(3) conjecture. It proceeds from the standard definitions of minimal counterexample and Soc(G)' in finite group theory and derives a contradiction internally. No fitted parameters, self-definitional equations, or load-bearing self-citations appear; the citation to Arad-Muzychuk-Oliver is to the original statement being reproved rather than an unexamined premise that reduces the new argument to prior work by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure-mathematics proof resting on the standard axioms of finite group theory; no new parameters, entities or ad-hoc assumptions are introduced in the abstract.

axioms (1)

standard math Standard axioms and definitions of finite groups, socles, and minimal counterexamples
Invoked to define the objects to which the non-isomorphism statement applies.

pith-pipeline@v0.9.0 · 5549 in / 1138 out tokens · 27216 ms · 2026-05-24T19:52:23.485422+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 1 internal anchor

[1]

Z. Arad, M. Muzychuk, and A. Oliver, On Groups with Conjugacy Classes of Distinct Sizes , Journal of Algebra, 280 (2004) 537-576

work page 2004
[2]

Conway, R.T

J.H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker, and R. A. Wilson, Atlas of Finite Groups , Clarendon Press, Oxford, 1986

work page 1986
[3]

C. A. Ellard, Rational Groups and a Characterization of a Class of Permuta tion Groups , https://arxiv.org/pdf/1905.07431.pdf

work page internal anchor Pith review Pith/arXiv arXiv 1905
[4]

C. A. Ellard, Maximal Centralizers and the Sym(3)-conjecture , meeting of the American Mathematical Society, Chattanooga, Tennessee, October 5, 2001

work page 2001
[5]

C. A. Ellard, E6, E7, E8, and the Finite Simple Group Sp(6, 2), meeting of the American Mathematical Society, Bloomington, Indiana, April 5, 2008

work page 2008
[6]

C. A. Ellard, Local Rationality, meeting of the American Mathematical Society, Louisville , Kentucky, October 5, 2013

work page 2013
[7]

Feit and G

W. Feit and G. Seitz, On Finite Rational Groups and Related Topics , Illinois Journal of Mathematics, vol. 33, no. 1, (1988), pp. 103-131

work page 1988
[8]

Gow, Groups Whose Characters are Rational Valued , Journal of Algebra, vol

R. Gow, Groups Whose Characters are Rational Valued , Journal of Algebra, vol. 40, no. 2, (1976) pp. 280-299

work page 1976
[9]

I. M. Isaacs, Character Theory of Finite Groups , Academic Press, New York, 1976

work page 1976
[10]

Kn¨ orr, W

R. Kn¨ orr, W. Lempken, and B. Thielcke, The S3-Conjecture for Solvable Groups , Israel Jour- nal of Mathematics, 91 (1995), 61-76

work page 1995
[11]

F. M. Markel, Groups with Many Conjugate Elements , Journal of Algebra, 26 (1973) 69-74

work page 1973
[12]

J. P. Serre, Topics in Galois Theory , Research Notes in Mathematics (Book 1), A. K. Pe- ters/CRC Press; 2 edition (2007)

work page 2007
[13]

Bloomington, Indiana E-mail address : cellard@ivytech.edu

Jiping Zhang, Finite Groups with Many Conjugate Elements , Journal of Algebra, 170, (1994) 608-624. Bloomington, Indiana E-mail address : cellard@ivytech.edu

work page 1994

[1] [1]

Z. Arad, M. Muzychuk, and A. Oliver, On Groups with Conjugacy Classes of Distinct Sizes , Journal of Algebra, 280 (2004) 537-576

work page 2004

[2] [2]

Conway, R.T

J.H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker, and R. A. Wilson, Atlas of Finite Groups , Clarendon Press, Oxford, 1986

work page 1986

[3] [3]

C. A. Ellard, Rational Groups and a Characterization of a Class of Permuta tion Groups , https://arxiv.org/pdf/1905.07431.pdf

work page internal anchor Pith review Pith/arXiv arXiv 1905

[4] [4]

C. A. Ellard, Maximal Centralizers and the Sym(3)-conjecture , meeting of the American Mathematical Society, Chattanooga, Tennessee, October 5, 2001

work page 2001

[5] [5]

C. A. Ellard, E6, E7, E8, and the Finite Simple Group Sp(6, 2), meeting of the American Mathematical Society, Bloomington, Indiana, April 5, 2008

work page 2008

[6] [6]

C. A. Ellard, Local Rationality, meeting of the American Mathematical Society, Louisville , Kentucky, October 5, 2013

work page 2013

[7] [7]

Feit and G

W. Feit and G. Seitz, On Finite Rational Groups and Related Topics , Illinois Journal of Mathematics, vol. 33, no. 1, (1988), pp. 103-131

work page 1988

[8] [8]

Gow, Groups Whose Characters are Rational Valued , Journal of Algebra, vol

R. Gow, Groups Whose Characters are Rational Valued , Journal of Algebra, vol. 40, no. 2, (1976) pp. 280-299

work page 1976

[9] [9]

I. M. Isaacs, Character Theory of Finite Groups , Academic Press, New York, 1976

work page 1976

[10] [10]

Kn¨ orr, W

R. Kn¨ orr, W. Lempken, and B. Thielcke, The S3-Conjecture for Solvable Groups , Israel Jour- nal of Mathematics, 91 (1995), 61-76

work page 1995

[11] [11]

F. M. Markel, Groups with Many Conjugate Elements , Journal of Algebra, 26 (1973) 69-74

work page 1973

[12] [12]

J. P. Serre, Topics in Galois Theory , Research Notes in Mathematics (Book 1), A. K. Pe- ters/CRC Press; 2 edition (2007)

work page 2007

[13] [13]

Bloomington, Indiana E-mail address : cellard@ivytech.edu

Jiping Zhang, Finite Groups with Many Conjugate Elements , Journal of Algebra, 170, (1994) 608-624. Bloomington, Indiana E-mail address : cellard@ivytech.edu

work page 1994