Rank 4 Tail-triangle diagram with parameters (a,b,c,d) = (6,3,6,6)

Small Group ID = [648,732], hypertope number 1.

• Structure of Group

S3 x S3 x ((C3 x C3) : C2)

• Generators of Automorphism Group (Permutation Representation for GAP)

r0 := (1,2)(3,6)(4,7)(5,11)(8,18)(9,15)(10,17)(12,21)(13,23)(14,25)(16,28)(19,30)(20,27)(22,32)(24,34)(26,36)(29,33)(31,35);

r1 := (2,5)(3,8)(4,10)(6,14)(7,16)(9,20)(11,22)(12,24)(13,15)(17,27)(18,29)(19,31)(21,25)(23,28)(26,30)(33,34);

r2 := (1,3)(2,6)(4,10)(5,12)(7,17)(9,20)(11,21)(13,16)(14,24)(15,27)(19,31)(22,33)(23,28)(25,34)(29,32)(30,35);

r3 := (1,4)(2,7)(3,9)(5,13)(6,15)(8,19)(10,21)(11,23)(12,17)(14,26)(16,29)(18,30)(20,22)(24,35)(25,36)(27,32)(28,33)(31,34);

• Finitely Presented Group Representation (GAP)

F := FreeGroup(4);

r0 := F.1;; r1 := F.2;; r2 := F.3;; r3 := F.4;;

G := F/[ r1^2, r2^2, r0^2, r3^2, (r0*r3)^2, (r0*r2)^2, (r2*r1)^3, (r1*r0*r1*r3*r0)^2, (r1*r2*r0*r1*r0)^2, r1*r0*r1*r3*r2*r1*r0*r1*r2*r3, ((r3*r1)^2*r2)^2, (r3*r2*r3*r1*r2)^2, (r0*r1)^2*(r3*r1*r3*r0*r2)^2*r3*r1*r3*r2 ];;

• Number of Elements of each type

type 0: 6 elements

type 1: 27 elements

type 2: 9 elements

type 3: 18 elements

• Order of r₀ r₁ r₂ r₃ : 6

• This hypertope does not have non-degenerate leaves