Rank 4 Star diagram with parameters (a,b,c) = (22,4,4)

Small Group ID = [704,1038], hypertope number 1.

• Structure of Group

((C2 x C2 x C2 x C2) : C2) x D22

• Generators of Automorphism Group (Permutation Representation for GAP)

r0 := (2,3)(4,7)(5,8)(6,12)(10,14)(13,18)(15,20)(17,21)(19,24)(22,26)(23,27)(25,29)(28,31)(30,34)(32,36)(33,37)(35,40)(38,42)(39,43)(41,45)(44,47)(46,50)(48,52)(49,53)(51,56)(54,58)(55,59)(57,61)(60,63)(62,66)(64,68)(65,69)(67,72)(70,74)(71,75)(73,77)(76,79)(78,82)(80,84)(83,87);

r1 := (1,2)(3,6)(4,9)(5,11)(7,13)(8,15)(10,16)(12,17)(14,19)(18,22)(20,23)(21,25)(24,28)(26,30)(27,32)(29,33)(31,35)(34,38)(36,39)(37,41)(40,44)(42,46)(43,48)(45,49)(47,51)(50,54)(52,55)(53,57)(56,60)(58,62)(59,64)(61,65)(63,67)(66,70)(68,71)(69,73)(72,76)(74,78)(75,80)(77,81)(79,83)(82,85)(84,86)(87,88);

r2 := (2,4)(3,7)(5,10)(8,14)(17,22)(21,26)(23,28)(27,31)(33,38)(37,42)(39,44)(43,47)(49,54)(53,58)(55,60)(59,63)(65,70)(69,74)(71,76)(75,79)(81,85)(86,88);

r3 := (2,5)(3,8)(4,10)(7,14)(17,23)(21,27)(22,28)(26,31)(33,39)(37,43)(38,44)(42,47)(49,55)(53,59)(54,60)(58,63)(65,71)(69,75)(70,76)(74,79)(81,86)(85,88);

• Finitely Presented Group Representation (GAP)

F := FreeGroup(4);

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

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

• Number of Elements of each type

type 0: 22 elements

type 1: 88 elements

type 2: 4 elements

type 3: 4 elements

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

• This hypertope does not have non-degenerate leaves