Paper deep dive
A Finite E-Group of Nilpotency Class Three
Xinan Dai, Wenhao Deng, Yidong Shi, Tailin Wu, Yuchen Yang
Intelligence
Status: not_run | Model: - | Prompt: - | Confidence: 0%
Entities (0)
Relation Signals (0)
No relation signals yet.
Cypher Suggestions (0)
No Cypher suggestions yet.
Abstract
Abstract:A group is an E-group if every element commutes with each of its endomorphic images. Caranti asked whether a finite E-group can have nilpotency class three. We prove that the $3$-group of order $3^{84}$ introduced by Abdollahi, Faghihi, and Mohammadi Hassanabadi, and later shown by Abdollahi, Faghihi, Linton, and O'Brien to have the corresponding automorphism property, is an E-group. Let $P$ denote this group and put $V=P/\Phi(P)\cong \mathbb{F}_3^9$. The nine power relations of $P$ determine a linear map $q:V\longrightarrow\Lambda^2 V$. We prove that $q$ has no nonzero proper subspace $U$ satisfying $q(U)\subseteq\Lambda^2 U$. Since the image induced by any endomorphism of $P$ on $V$ has precisely this closure property, every endomorphism acts on $V$ either invertibly or trivially. The invertible case is the known A-group case. In the trivial case the image first lies in $\Phi(P)=P'$, and the power relations then force it into $\Omega_1(P')=Z(P)$. Thus every element commutes with every endomorphic image. The tensor rigidity is reduced to an exact finite calculation on the $9841$ points of $\mathrm{PG}(8,3)$.
Tags
Links
- Source: https://arxiv.org/abs/2608.07275v1
- Canonical: https://arxiv.org/abs/2608.07275v1
Trouble viewing inline? Open PDF directly →
Full Text
34,149 characters extracted from source content.
Expand or collapse full text
A Finite E-Group of Nilpotency Class Three Xinan Dai College of Future Information and Technology Fudan University, Shanghai, China Department of Artificial Intelligence School of Engineering Westlake University, Hangzhou, China xndai23@m.fudan.edu.cn , Wenhao Deng University of Glasgow, Glasgow, United Kingdom Department of Artificial Intelligence School of Engineering Westlake University, Hangzhou, China dengwenhao@westlake.edu.cn , Yingdong Shi School of Information Science and Technology, ShanghaiTech University, Shanghai, China shiyd2023@shanghaitech.edu.cn , Tailin Wu Department of Artificial Intelligence School of Engineering Westlake University, Hangzhou, China wutailin@westlake.edu.cn and Yuchen Yang Department of Artificial Intelligence School of Engineering Westlake University, Hangzhou, China yangyuchen@westlake.edu.cn Abstract. A group is an E-group if every element commutes with each of its endomorphic images. Caranti asked whether a finite E-group can have nilpotency class three. We prove that the 33-group of order 3843^84 introduced by Abdollahi, Faghihi, and Mohammadi Hassanabadi, and later shown by Abdollahi, Faghihi, Linton, and O’Brien to have the corresponding automorphism property, is an E-group. Let P denote this group and put V=P/Φ(P)≅39V=P/ (P) _3^9. The nine power relations of P determine a linear map q:V⟶Λ2V.q:V ^2V. We prove that q has no nonzero proper subspace U satisfying q(U)⊆Λ2Uq(U) ^2U. Since the image induced by any endomorphism of P on V has precisely this closure property, every endomorphism acts on V either invertibly or trivially. The invertible case is the known A-group case. In the trivial case the image first lies in Φ(P)=P′ (P)=P , and the power relations then force it into Ω1(P′)=Z(P) _1(P )=Z(P). Thus every element commutes with every endomorphic image. The tensor rigidity is reduced to an exact finite calculation on the 98419841 points of PG(8,3)PG(8,3). Xinan Dai is currently a Ph.D. student at Fudan University and a visiting student at the AI for Scientific Simulation and Discovery Lab, Westlake University. Wenhao Deng is a student at the University of Glasgow and is currently an intern at the AI for Scientific Simulation and Discovery Lab, Westlake University. 2020 Mathematics Subject Classification. Primary 20D15, 20D45; Secondary 20F45, 17A30. Key words and phrases. E-groups, finite 33-groups, endomorphisms, 22-Engel groups, exterior squares, anticommutative algebras. 1. Introduction For a group G and an endomorphism φ∈End(G) (G), write aφ=φ(a)a = (a). The group G is an E-group if (1) [a,aφ]=1[a,a ]=1 for every a∈Ga∈ G and every φ∈End(G) (G). Requiring (1) only for automorphisms gives an A-group. The passage from A-groups to E-groups is not formal: singular endomorphisms can have images that are invisible to the automorphism group, and controlling those images is the central issue here. The first nonabelian E-groups were constructed by Faudree [8]; see also Malone’s early analysis of the resulting endomorphism dichotomy [11]. Caranti later gave a systematic class-two family of finite p-groups of exponent p2p^2 [4], while Abdollahi, Faghihi, and Mohammadi Hassanabadi established sharp restrictions on the number of generators and the order of nonabelian E-groups [1]. Every A-group is 22-Engel and hence nilpotent of class at most three; this elementary but important bound is recalled in [3, p. 1]. Class-two E-groups are therefore well represented in the literature, whereas the existence of a finite E-group of class three remained the question posed by Caranti and recorded as Problem 11.46(a) in the Kourovka Notebook [10, Problem 11.46(a)]. We answer this question positively. Theorem 1.1. There exists a finite E-group of order 3843^84 and nilpotency class three. The witness is not a new group. Abdollahi, Faghihi, and Mohammadi Hassanabadi introduced an explicit nine-generator group P in [2, Remark 2.1], where they recorded its basic structure and left open whether it is an E-group. Abdollahi, Faghihi, Linton, and O’Brien subsequently proved that P is an A-group and determined the central-series data that we shall use below [3, p. 1–2]. Thus the remaining problem is sharply defined: one must understand the noninvertible endomorphisms of this particular class-three group. The main point of the proof is that the endomorphism problem has a small linear shadow. Since Φ(P)=P′ (P)=P , the Frattini quotient V=P/Φ(P)V=P/ (P) is a nine-dimensional vector space over 3F_3. Passing to the appropriate class-two exponent-33 quotient identifies its commutator layer with Λ2V ^2V. The nine cube relations of P then give a linear map q:V→Λ2Vq:V→ ^2V. If an endomorphism of P induces L∈End3(V)L _F_3(V), functoriality of powers and commutators yields (2) q∘L=(Λ2L)∘q.q L=( ^2L) q. Consequently the subspace U=imLU=imL satisfies q(U)⊆Λ2Uq(U) ^2U. This observation isolates the exact rigidity statement needed in the group argument. Theorem 1.2 (Relation-tensor rigidity). For the relation map q attached to P, the only subspaces U≤VU≤ V such that q(U)⊆Λ2Uq(U) ^2U are 0 and V. The theorem leaves only two possibilities for an endomorphism of P. If L is onto, Burnside’s basis theorem makes the endomorphism surjective and hence, because P is finite, an automorphism. This is exactly the case settled in [3, Theorem 1.2]. If L=0L=0, then the image lies in Φ(P)=P′ (P)=P . Here the nilpotency-class-three feature becomes visible: P′=Z2(P)P =Z_2(P) is strictly larger than Z(P)Z(P), so trivial action on the Frattini quotient does not by itself give central image. Applying the endomorphism to all nine cube relations kills their commutator sides, because P′P is abelian, and forces every generator image to have order at most three. The published identity Ω1(P′)=Z(P) _1(P )=Z(P) then pushes the whole image into the center. This second step is the part that has no analogue to check in the usual special class-two constructions. The proof of Theorem 1.2 is finite but not merely experimental. A bivector ω∈Λ2Vω∈ ^2V has an intrinsic support, the image of the contraction map V∗→V^*→ V. Starting from a nonzero v∈Vv∈ V and repeatedly adjoining the supports of q(u)q(u) produces the least q-closed subspace containing v. Hence it is enough to test one representative of each point of PG(8,3)PG(8,3), of which there are (39−1)/2=9841(3^9-1)/2=9841. Exact row reduction over 3F_3 shows that every one of these closures is all of V. As a separate check on the input tensor, the ranks of the associated alternating matrices occur with projective multiplicities 2,478,93612,478,9361 in ranks 4,6,84,6,8, respectively; doubling these numbers recovers the distribution for the 1968219682 nonzero vectors recorded in [3, p. 5]. The closure calculation is stronger than that rank distribution and is the new finite certificate used here. The calculation is reproduced inside the paper: Appendix A contains a package-free exact reference verifier whose input is precisely the nine displayed rows of q. Thus the finite step can be checked from the paper alone, without ancillary files. A natural question is whether the 98419841 projective points can instead be collapsed to a small number of orbits under symmetries of q. For this particular tensor the answer is no in the natural linear sense. In Section 4.2 we show that its exact linear stabilizer is trivial and that its linear similitude group is ±I\± I\; hence the induced projective action is trivial. The exhaustive projective check is therefore not concealing an unused large symmetry group. There is also a useful algebraic way to read the rigidity. Dualizing q defines an anticommutative multiplication on V∗V^*; under orthogonal complements, q-closed subspaces of V correspond exactly to ideals of this algebra. Theorem 1.2 therefore says that the resulting nine-dimensional anticommutative algebra is simple. This places the calculation near the linear-algebraic methods used by Caranti [5, Section 3] and the group–anticommutative-algebra correspondences studied by Glasby, Ribeiro, and Schneider [9]; symplectic alternating algebras arising from 22-Engel groups provide another neighboring framework [12]. We use these parallels only for interpretation: the group P, its class-three lifting step, and the particular rigidity statement proved here are distinct. Section 2 recalls exactly the published information about P that enters the proof. Section 3 constructs the relation tensor and proves the endomorphism compatibility equation. Section 4 gives the closed-subspace criterion, the finite certificate, and the stabilizer calculation explaining why no nontrivial projective orbit reduction is available. Section 5 proves Theorem 1.1; Section 6 records the dual-algebra interpretation and the precise scope of the argument. Appendix A contains the complete reference verifier. 2. The group and its first exponent-33 quotient We use the commutator convention [x,y]=x−1y−1xy[x,y]=x^-1y^-1xy. Let P be the largest 22-Engel group of exponent 2727 generated by x1,…,x9x_1,…,x_9, subject to x13 x_1^3 =[x2,x3][x4,x5][x6,x7][x8,x9], =[x_2,x_3][x_4,x_5][x_6,x_7][x_8,x_9], x23 x_2^3 =[x1,x3][x4,x6][x5,x8][x7,x9], =[x_1,x_3][x_4,x_6][x_5,x_8][x_7,x_9], x33 x_3^3 =[x1,x2][x4,x7][x5,x9][x6,x8], =[x_1,x_2][x_4,x_7][x_5,x_9][x_6,x_8], x43 x_4^3 =[x1,x5][x2,x6][x3,x9][x7,x8], =[x_1,x_5][x_2,x_6][x_3,x_9][x_7,x_8], (3) x53 x_5^3 =[x1,x4][x2,x8][x3,x7][x6,x9], =[x_1,x_4][x_2,x_8][x_3,x_7][x_6,x_9], x63 x_6^3 =[x1,x7][x2,x9][x3,x5][x4,x8], =[x_1,x_7][x_2,x_9][x_3,x_5][x_4,x_8], x73 x_7^3 =[x1,x8][x4,x9][x3,x6][x2,x5], =[x_1,x_8][x_4,x_9][x_3,x_6][x_2,x_5], x83 x_8^3 =[x1,x9][x3,x4][x2,x7][x5,x6], =[x_1,x_9][x_3,x_4][x_2,x_7][x_5,x_6], x93 x_9^3 =[x1,x6][x3,x8][x2,x4][x5,x7]. =[x_1,x_6][x_3,x_8][x_2,x_4][x_5,x_7]. Each unordered pair i,j\i,j\ with 1≤i<j≤91≤ i<j≤ 9 occurs exactly once on the right-hand sides. The presentation and the following structural data come from [2, Remark 2.1] and the consistent presentation in [3, p. 2]. Proposition 2.1 (Published structure). The group P has order 3843^84 and nilpotency class three. With Pi(P)P_i(P) denoting the lower exponent-33 central series, exp(P/P′) (P/P ) =3, =3, |P/P2(P)| |P/P_2(P)| =345, =3^45, (4) P′=Z2(P) P =Z_2(P) ≅C936×C33, C_9^36× C_3^3, Ω1(P′)=γ3(P)=Z(P) _1(P )= _3(P)=Z(P) ≅C339. C_3^39. Moreover P is an A-group. Since P is a finite 33-group, Φ(P)=P3P′ (P)=P^3P . The equality exp(P/P′)=3 (P/P )=3 therefore gives (5) Φ(P)=P′. (P)=P . In particular, V:=P/Φ(P)≅39,V:=P/ (P) _3^9, with basis ei=xiΦ(P)e_i=x_i (P). The direct-product description in (4) also shows that P′P is abelian. Put P¯=P/P2(P) P=P/P_2(P). Because P2(P)≤Φ(P)P_2(P)≤ (P), P¯ P still needs nine generators, so |Φ(P¯)|=345−9=336.| ( P)|=3^45-9=3^36. The group P¯ P has class at most two, its derived subgroup has exponent three, and its abelianization has exponent three. Hence Φ(P¯)=P¯′ ( P)= P . The 3636 commutators [xi,xj]P2(P)[x_i,x_j]P_2(P) with i<ji<j generate P¯′ P and have order at most three; the order calculation above therefore shows that they form an 3F_3-basis. We obtain a canonical identification, relative to the chosen basis of V, (6) [xi,xj]P2(P)⟷ei∧ej,1≤i<j≤9.[x_i,x_j]P_2(P) e_i e_j, 1≤ i<j≤ 9. The class-two computation of Abdollahi–Faghihi–Linton–O’Brien also gives |Z(P¯)|=336|Z( P)|=3^36 [3, Lemma 3.1 and p. 5]. Since P¯′=Φ(P¯) P = ( P) already has this order and is central, we shall use (7) Z(P¯)=Φ(P¯)=P¯′.Z( P)= ( P)= P . 3. The relation tensor In a class-two group whose commutator subgroup has exponent three, (xy)3=x3y3(xy)^3=x^3y^3. Thus cubing in P¯ P descends to an 3F_3-linear map (8) q:V⟶Λ2V.q:V ^2V. Using (6), the relations (3) give q(e1) q(e_1) =e2∧e3+e4∧e5+e6∧e7+e8∧e9, =e_2 e_3+e_4 e_5+e_6 e_7+e_8 e_9, q(e2) q(e_2) =e1∧e3+e4∧e6+e5∧e8+e7∧e9, =e_1 e_3+e_4 e_6+e_5 e_8+e_7 e_9, q(e3) q(e_3) =e1∧e2+e4∧e7+e5∧e9+e6∧e8, =e_1 e_2+e_4 e_7+e_5 e_9+e_6 e_8, q(e4) q(e_4) =e1∧e5+e2∧e6+e3∧e9+e7∧e8, =e_1 e_5+e_2 e_6+e_3 e_9+e_7 e_8, q(e5) q(e_5) =e1∧e4+e2∧e8+e3∧e7+e6∧e9, =e_1 e_4+e_2 e_8+e_3 e_7+e_6 e_9, q(e6) q(e_6) =e1∧e7+e2∧e9+e3∧e5+e4∧e8, =e_1 e_7+e_2 e_9+e_3 e_5+e_4 e_8, q(e7) q(e_7) =e1∧e8+e4∧e9+e3∧e6+e2∧e5, =e_1 e_8+e_4 e_9+e_3 e_6+e_2 e_5, q(e8) q(e_8) =e1∧e9+e3∧e4+e2∧e7+e5∧e6, =e_1 e_9+e_3 e_4+e_2 e_7+e_5 e_6, q(e9) q(e_9) =e1∧e6+e3∧e8+e2∧e4+e5∧e7. =e_1 e_6+e_3 e_8+e_2 e_4+e_5 e_7. This is the sole tensor used below. Lemma 3.1 (Naturality). Let φ∈End(P) (P) and let L∈End3(V)L _F_3(V) be the induced linear map. Then (9) q∘L=(Λ2L)∘q.q L=( ^2L) q. Consequently (10) q(imL)⊆Λ2(imL).q(imL) ^2(imL). Proof. The subgroup P2(P)P_2(P) is fully invariant, so φ induces an endomorphism of P¯ P. Let v∈Vv∈ V and choose a lift y∈Py∈ P. Modulo P2(P)P_2(P) the cube of y represents q(v)q(v). Applying φ and using [a,b]φ=[aφ,bφ][a,b] =[a ,b ] gives two descriptions of the same cube: q(Lv)q(Lv) and (Λ2L)q(v)( ^2L)q(v). This proves (9). Its right-hand side belongs to Λ2(imL) ^2(imL), which gives (10). ∎ Definition 3.2. A subspace U≤VU≤ V is q-closed if q(U)⊆Λ2Uq(U) ^2U. The point of Definition 3.2 is not to classify all endomorphisms: Lemma 3.1 only says that every induced endomorphism image is q-closed. This one-way implication is exactly what is needed to rule out singular actions on the Frattini quotient. 4. Closed subspaces and rigidity For ω∈Λ2Vω∈ ^2V, contraction identifies ω with an alternating map V∗→V^*→ V. Define supp(ω)=im(V∗→V).supp(ω)=im(V^* \ ω\ V). Equivalently, after choosing the basis e1,…,e9e_1,…,e_9, supp(ω)supp(ω) is the column space of the skew matrix representing ω. Lemma 4.1 (Support criterion). For U≤VU≤ V and ω∈Λ2Vω∈ ^2V, ω∈Λ2U⟺supp(ω)≤U.ω∈ ^2U (ω)≤ U. Proof. Choose a basis of U and extend it to one of V. If ω∈Λ2Uω∈ ^2U, its skew matrix has nonzero entries only in the U×U× U block, so its image lies in U. Conversely, if its image lies in U, all rows outside the U-block vanish; skew-symmetry forces the corresponding columns to vanish as well. Thus no exterior coordinate of ω involves a basis vector outside U, which is precisely ω∈Λ2Uω∈ ^2U. ∎ Starting from 0≠v∈V0≠ v∈ V, define U0(v)=⟨v⟩U_0(v)= v . Given Ur(v)U_r(v), choose a basis BrB_r and set (11) Ur+1(v)=Ur(v)+∑u∈Brsupp(q(u)).U_r+1(v)=U_r(v)+ _u∈ B_rsupp(q(u)). The process stabilizes because dimV=9 V=9. Lemma 4.2 (Least closed subspace). The stable value clq(v)cl_q(v) of (11) is independent of the chosen bases and is the least q-closed subspace containing v. Proof. If u is a linear combination of the vectors in BrB_r, then q(u)q(u) is the same linear combination of their images, and the support of a sum of bivectors is contained in the sum of the individual supports. Hence adjoining the supports for a basis is equivalent to adjoining them for all vectors in Ur(v)U_r(v); this proves basis independence. At a fixed point, Lemma 4.1 gives q(Ur(v))⊆Λ2Ur(v)q(U_r(v)) ^2U_r(v), so the stable subspace is q-closed. If W is any q-closed subspace containing v, then Lemma 4.1 shows inductively that Ur(v)≤WU_r(v)≤ W for every r. Therefore the stable value is the least such subspace. ∎ 4.1. The exhaustive finite certificate Scalar multiples have the same closure, so only projective directions must be checked. Normalize each nonzero vector by making its first nonzero coordinate equal to 11. The number of normalized vectors is (12) |PG(8,3)|=39−13−1=9841.|PG(8,3)|= 3^9-13-1=9841. For each normalized v, form the alternating matrix Q(v)Q(v) representing q(v)q(v) and iterate (11), using exact Gaussian elimination over 3F_3 for all spans and supports. The exhaustive calculation gives: Table 1. Exact projective verification for the relation tensor. rank 44 rank 66 rank 88 Projective points [v][v] 2 478 9361 Nonzero vectors v 4 956 18722 Closure statistic count dimclq(v)=9 _q(v)=9 9841 dimclq(v)<9 _q(v)<9 0 A finer audit trail records the complete dimension growth of the closure. Writing, for example, (1,8,9)(1,8,9) when the successive dimensions are 1,8,91,8,9, the exact profile is (13) profile(1,9)(1,8,9)(1,7,9)(1,6,9)(1,5,9)(1,4,9)count613832234265211. array[]c|rprofile&(1,9)&(1,8,9)&(1,7,9)&(1,6,9)&(1,5,9)&(1,4,9)\\ &6138&3223&426&52&1&1. array In particular every projective point reaches V after at most two support enlargements. The two rank-four directions are represented by (14) (0,1,1,1,1,1,1,1,1),(1,1,1,1,1,1,1,0,1),(0,1,1,1,1,1,1,1,1), (1,1,1,1,1,1,1,0,1), and have growth profiles (1,4,9)(1,4,9) and (1,5,9)(1,5,9), respectively. The first line of Table 1 doubles to the published rank distribution for all nonzero vectors in the corresponding nine-dimensional relation space [3, p. 5]. This is an independent check that the tensor has been transcribed correctly. The closure data are a different computation: they record the iterative support condition of Lemma 4.2, not merely the rank of q(v)q(v). Theorem 4.3 (Tensor rigidity). The only q-closed subspaces of V are 0 and V. Proof. Let U be nonzero and q-closed. Choose 0≠v∈U0≠ v∈ U. Lemma 4.2 gives clq(v)≤Ucl_q(v)≤ U. By (12) and the exhaustive calculation in Table 1, clq(v)=Vcl_q(v)=V for every nonzero projective direction. Hence U=VU=V. The zero subspace is trivially q-closed. ∎ Remark 4.4 (What the computation certifies). The finite step is exhaustive, not probabilistic: Lemma 4.2 reduces every nonzero q-closed subspace to the closure of one projective point, and (12) lists all such points. A direct exact check of the 3636 commutator pairs gives 36/3636/36 distinct pairs. The reference verifier in Appendix A reproduces Table 1 and (13) using only integer arithmetic modulo three. As a negative control, deleting the first row q(e1)q(e_1) leaves ⟨e1⟩ e_1 closed, so the same procedure correctly detects a deliberately introduced proper closed subspace. 4.2. The stabilizer and the orbit question There is an obvious possible shortcut to an exhaustive projective verification: compute a symmetry group of q and check one point in each orbit. In the present example the natural symmetry group is too small for this strategy. Proposition 4.5 (Trivial projective tensor symmetry). Set Γ(q)=g∈GL(V):qg=(Λ2g)q (q)=\g (V):qg=( ^2g)q\ and let Γsim(q)=g∈GL(V):qg=λ(Λ2g)q for some λ∈3×. _sim(q)=\g (V):qg=λ( ^2g)q for some λ _3^×\. Then Γ(q)=I,Γsim(q)=I,−I. (q)=\I\, _sim(q)=\I,-I\. Consequently the induced action of the natural linear similitude group on PG(V)=PG(8,3)PG(V)=PG(8,3) is trivial. Proof. Let g∈Γ(q)g∈ (q). The class-two group P¯ P has Frattini quotient V, commutator layer Λ2V ^2V via (6), and power map q. These data give a full class-two presentation of P¯ P. Indeed, introduce central symbols cijc_ij of order three for 1≤i<j≤91≤ i<j≤ 9, impose [xi,xj]=cij[x_i,x_j]=c_ij and the nine cube relations encoded by q, and kill all triple commutators. Every element of the resulting group has a normal form x1a1⋯x9a9∏i<jcijbij,0≤ai,bij<3,x_1^a_1·s x_9^a_9 _i<jc_ij^b_ij, 0≤ a_i,b_ij<3, so its order is at most 39+363^9+36. It maps onto P¯ P, which has exactly that order; hence the presentation is exact. The assignments on V and Λ2V ^2V given by g and Λ2g ^2g therefore preserve the defining relations exactly when qg=(Λ2g)qqg=( ^2g)q. Thus g lifts to an endomorphism of P¯ P. Since g is invertible on the Frattini quotient, Burnside’s basis theorem makes this lift an automorphism. Abdollahi–Faghihi–Linton–O’Brien proved Aut(P¯)=Autc(P¯)Aut( P)=Aut_c( P) [3, Lemma 3.1, p. 5]. By (7), a central automorphism of P¯ P acts trivially on P¯/Φ(P¯)=V P/ ( P)=V. Therefore g=Ig=I, proving Γ(q)=I (q)=\I\. Now suppose g∈Γsim(q)g∈ _sim(q), so qg=λ(Λ2g)qqg=λ( ^2g)q with λ∈3×=1,−1λ _3^×=\1,-1\. Put h=λgh=λ g. Since λ2=1λ^2=1 and q is linear, qh=λqg=λ2(Λ2g)q=(Λ2h)q.qh=λ qg=λ^2( ^2g)q=( ^2h)q. Thus h∈Γ(q)h∈ (q), so h=Ih=I and g=λIg=λ I. Conversely I and −I-I plainly satisfy the corresponding similitude identities. Both scalars induce the identity on projective space. ∎ Remark 4.6. Proposition 4.5 is not needed for the E-group theorem. Its purpose is to explain the finite proof. It rules out the most natural orbit compression: the tensor itself has no nontrivial projective linear symmetry with which to identify different directions. It does not rule out a completely different, non-symmetry-based argument for simplicity of the dual algebra. For the present certificate, however, the projective enumeration is already orbit-minimal for the natural tensor similitude group. 5. Proof of the E-group theorem Theorem 5.1. The group P is a finite E-group of nilpotency class three. In particular, Problem 11.46(a) of the Kourovka Notebook has an affirmative answer. Proof. Fix φ∈End(P) (P) and let L be its induced map on V=P/Φ(P)V=P/ (P). By Lemma 3.1, imLimL is q-closed. Theorem 4.3 gives (15) imL=VorimL=0.imL=V =0. Suppose first that imL=VimL=V. Then φ(P)Φ(P)=P (P) (P)=P. Burnside’s basis theorem implies φ(P)=P (P)=P, and a surjective endomorphism of a finite group is an automorphism. Proposition 2.1 therefore gives [a,aφ]=1[a,a ]=1 for every a∈Pa∈ P. Suppose now that imL=0imL=0. By (5), φ(P)≤Φ(P)=P′. (P)≤ (P)=P . The group P′P is abelian. Apply φ to each of the nine relations in (3). Every commutator on a right-hand side becomes a commutator of two elements of P′P and hence is trivial. Therefore φ(xi)3=1(1≤i≤9). (x_i)^3=1 (1≤ i≤ 9). Since each φ(xi) (x_i) also lies in P′P , the identity Ω1(P′)=Z(P) _1(P )=Z(P) from Proposition 2.1 yields φ(xi)∈Z(P) (x_i)∈ Z(P) for every i. The xix_i generate P, so φ(P)≤Z(P) (P)≤ Z(P). Again [a,aφ]=1[a,a ]=1 for every a∈Pa∈ P. The two cases in (15) cover all endomorphisms. The order and exact nilpotency class are part of Proposition 2.1. ∎ Remark 5.2. The second case does not say that an endomorphism inducing zero on P/Φ(P)P/ (P) is the zero endomorphism. It first allows an arbitrary image inside P′=Z2(P)P =Z_2(P) and then uses the cube relations to force that image into the proper subgroup Z(P)Z(P). Keeping these two steps separate is essential in class three. 6. Algebraic meaning and scope The condition in Theorem 4.3 has a useful dual form. Let A=V∗A=V^* and define a bilinear anticommutative product by (16) ⟨α⋅β,v⟩=⟨α∧β,q(v)⟩,α,β∈V∗,v∈V. α·β,v = α β,q(v) , α,β∈ V^*,\ v∈ V. For U≤VU≤ V, write U⟂=α∈V∗:α(U)=0U =\α∈ V^*:α(U)=0\. Proposition 6.1. A subspace U≤VU≤ V is q-closed if and only if U⟂U is an ideal of the anticommutative algebra A. Consequently Theorem 4.3 is equivalent to simplicity of A. Proof. The subspace U⟂U is an ideal precisely when, for every α∈U⟂α∈ U , β∈V∗β∈ V^*, and u∈Uu∈ U, 0=⟨α⋅β,u⟩=⟨α∧β,q(u)⟩.0= α·β,u = α β,q(u) . For a fixed u, these equalities for all α∈U⟂α∈ U and β∈V∗β∈ V^* are equivalent to q(u)∈Λ2Uq(u)∈ ^2U. Hence the ideal condition is equivalent to q(U)⊆Λ2Uq(U) ^2U. Orthogonal complementation reverses 0 and V, so the absence of nonzero proper q-closed subspaces is exactly the absence of nonzero proper ideals in A. ∎ This reformulation helps locate the rigidity in a broader pattern. In Caranti’s module-theoretic treatment of class-two groups, power relations are likewise encoded by a linear map involving Λ2V ^2V [5, Section 3]; the published erratum should be read together with that paper for its later modified constructions [7]. Caranti’s subsequent construction gives examples where the compatible endomorphisms are reduced to the trivial map and the identity [6, Section 4]. The present argument has a similar linear silhouette but a different endpoint: the group is already fixed, the tensor is the one forced by (3), and a zero action on the Frattini quotient still has to be lifted through the noncentral group P′=Z2(P)P =Z_2(P). The conclusion therefore rests on two separate rigidity mechanisms. The first is linear: the relation tensor admits no nonzero proper closed subspace, so a singular endomorphism cannot retain any nonzero direction in P/Φ(P)P/ (P). The second is genuinely group-theoretic: once the induced map vanishes, the nine cube relations collapse the image from P′P to Ω1(P′)=Z(P) _1(P )=Z(P). Neither statement alone proves the E-property. Their combination is what makes the class-three candidate work. Appendix A A self-contained exact reference verifier This appendix makes the finite certificate in Section 4.1 reproducible from the paper alone. The program below uses no external package. Its list R is the zero-based encoding of the four exterior pairs in each of the nine rows of q displayed in Section 3. The routine support computes the column space of the corresponding alternating matrix, closure implements (11), and points enumerates exactly the first-nonzero-coordinate-one representatives of PG(8,3)PG(8,3). All row reduction is performed over 3F_3 by integer arithmetic modulo three. Listing 1: Exact reference verifier for the relation tensor. ⬇ from collections import Counter from itertools import product p, n = 3, 9 R = ( ((1,2),(3,4),(5,6),(7,8)), ((0,2),(3,5),(4,7),(6,8)), ((0,1),(3,6),(4,8),(5,7)), ((0,4),(1,5),(2,8),(6,7)), ((0,3),(1,7),(2,6),(5,8)), ((0,6),(1,8),(2,4),(3,7)), ((0,7),(3,8),(2,5),(1,4)), ((0,8),(2,3),(1,6),(4,5)), ((0,5),(2,7),(1,3),(4,6)), ) def rref(rows): A = [[x % p for x in row] for row in rows if any(x % p for x in row)] r = 0 for c in range(n): s = next((i for i in range(r, len(A)) if A[i][c]), None) if s is None: continue A[r], A[s] = A[s], A[r] if A[r][c] == 2: A[r] = [(2*x) % p for x in A[r]] for i in range(len(A)): if i != r and A[i][c]: a = A[i][c] A[i] = [(x-a*y) % p for x,y in zip(A[i],A[r])] r += 1 return A[:r] def qmat(v, rel=R): Q = [[0]*n for _ in range(n)] for a, pairs in enumerate(rel): for i,j in pairs: Q[i][j] = (Q[i][j] + v[a]) % p Q[j][i] = (Q[j][i] - v[a]) % p return Q def support(v, rel=R): Q = qmat(v, rel) return rref([[Q[i][j] for i in range(n)] for j in range(n)]) def closure(v, rel=R): B = rref([v]) dims = [len(B)] while True: C = rref(B + [w for u in B for w in support(u, rel)]) if len(C) == len(B): return B, tuple(dims) B = C dims.append(len(B)) def points(): for v in product(range(p), repeat=n): if v == (0,)*n: continue if next(x for x in v if x) == 1: yield v pts = list(points()) assert len(pts) == (p**n-1)//(p-1) == 9841 assert e for row in R for e in row == (i,j) for i in range(n) for j in range(i+1,n) ranks, closes, profiles = Counter(), Counter(), Counter() for v in pts: ranks[len(support(v))] += 1 B, profile = closure(v) closes[len(B)] += 1 profiles[profile] += 1 assert ranks == Counter(4:2, 6:478, 8:9361) assert closes == Counter(9:9841) assert profiles == Counter( (1,9):6138, (1,8,9):3223, (1,7,9):426, (1,6,9):52, (1,5,9):1, (1,4,9):1) bad = list(R) bad[0] = () assert len(closure((1,0,0,0,0,0,0,0,0), bad)[0]) == 1 print("9841 projective points; rank profile 4^2, 6^478, 8^9361") print("all closures have dimension 9; negative control detected") The output is 9841 projective points; rank profile 4^2, 6^478, 8^9361 all closures have dimension 9; negative control detected The assertions implement the certificate: a failed pair partition, projective count, rank distribution, closure count, growth profile, or negative control stops execution. In particular, the mathematical input, the exhaustion rule, and an executable implementation all appear in the PDF. Statement on computational and writing assistance The TARS agent system assisted with exploratory derivations. The exact finite verification in Section 4.1 was checked with independent Python and C++ implementations over 3F_3; the compact Python verifier used for the final certificate is reproduced in Appendix A. The authors are responsible for the mathematical statements, literature attributions, and final text. References [1] A. Abdollahi, A. Faghihi, and A. Mohammadi Hassanabadi, Minimal number of generators and minimum order of a non-abelian group whose elements commute with their endomorphic images, Comm. Algebra 36 (2008), no. 5, 1976–1987, https://doi.org/10.1080/00927870801941903. [2] A. Abdollahi, A. Faghihi, and A. Mohammadi Hassanabadi, 3-generator groups whose elements commute with their endomorphic images are abelian, Comm. Algebra 36 (2008), no. 10, 3783–3791, https://doi.org/10.1080/00927870802160727. [3] A. Abdollahi, A. Faghihi, S. A. Linton, and E. A. O’Brien, Finite 33-groups of class 33 whose elements commute with their automorphic images, Arch. Math. (Basel) 95 (2010), 1–7, https://doi.org/10.1007/s00013-010-0144-y. [4] A. Caranti, Finite p-groups of exponent p2p^2 in which each element commutes with its endomorphic images, J. Algebra 97 (1985), no. 1, 1–13, https://doi.org/10.1016/0021-8693(85)90068-7. [5] A. Caranti, A module-theoretic approach to abelian automorphism groups, Israel J. Math. 205 (2015), no. 1, 235–246, https://doi.org/10.1007/s11856-014-1106-z. [6] A. Caranti, A simple construction for a class of p-groups with all of their automorphisms central, Rend. Semin. Mat. Univ. Padova 135 (2016), 251–258, https://doi.org/10.4171/RSMUP/135-14. [7] A. Caranti, Erratum to “A module-theoretic approach to abelian automorphism groups”, Israel J. Math. 215 (2016), no. 2, 1025–1026, https://doi.org/10.1007/s11856-016-1401-y. [8] R. Faudree, Groups in which each element commutes with its endomorphic images, Proc. Amer. Math. Soc. 27 (1971), 236–240, https://doi.org/10.1090/S0002-9939-1971-0269737-3. [9] S. P. Glasby, F. A. M. Ribeiro, and C. Schneider, Duality between p-groups with three characteristic subgroups and semisimple anti-commutative algebras, Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), no. 4, 1827–1852, https://doi.org/10.1017/prm.2018.159. [10] E. I. Khukhro and V. D. Mazurov, eds., Unsolved Problems in Group Theory. The Kourovka Notebook, 21st ed., Novosibirsk, 2026; July 3, 2026 update, Problem 11.46. [11] J. J. Malone, More on groups in which each element commutes with its endomorphic images, Proc. Amer. Math. Soc. 65 (1977), no. 2, 209–214. [12] G. Traustason, Symplectic alternating algebras, Internat. J. Algebra Comput. 18 (2008), no. 4, 719–757, https://doi.org/10.1142/S0218196708004585.