Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Bib Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

9 Cat^3-groups and Crossed cubes
 9.1 Functions for (pre-)cat^3-groups
 9.2 Enumerating cat^3-groups with a given source
 9.3 Definition and constructions for cat^n-groups and their morphisms

9 Cat^3-groups and Crossed cubes

The term 4d-group refers to a set of equivalent categories of which the ones we are most interested are the categories of crossed cubes and cat^3-groups. A 4d-mapping is a function between two 4d-groups which preserves all the structure.

The material in this chapter should be considered very experimental. As yet there are no functions for crossed cubes.

9.1 Functions for (pre-)cat^3-groups

We shall use the following standard orientation of a cat^3-group calE on a group G. calE contains 8 groups; 12 cat^1-groups and 6 cat^2-groups forming the vertices; edges and faces of a cube, as shown in the following diagram.

\vcenter{\xymatrix{ & H \ar[dddd] <+0.5ex> \ar[dddd] <+0.0ex> \ar[rrrr] <+0.5ex> \ar[rrrr] <+0.0ex> \ar[dr] <+0.6ex> & & & & N \ar[llll] <+0.6ex> \ar[dddd] <+0.6ex> \ar[dddd] <+0.0ex> \ar[dr] <+0.6ex> & \\ & & G \ar[dddd] <+0.5ex> \ar[dddd] <+0.0ex> \ar[rrrr] <+0.5ex> \ar[rrrr] <+0.0ex> \ar[ul] <+0.5ex> \ar[ul] <+0.0ex> & & & & R \ar[llll] <+0.6ex> \ar[dddd] <+0.5ex> \ar[dddd] <+0.0ex> \ar[ul] <+0.5ex> \ar[ul] <+0.0ex> \\ & & & & & & \\ & & & & & & \\ & M \ar[uuuu] <+0.6ex> \ar[rrrr] <+0.5ex> \ar[rrrr] <+0.0ex> \ar[dr] <+0.6ex> & & & & L \ar[uuuu] <+0.6ex> \ar[llll] <+0.6ex> \ar[dr] <+0.6ex> & \\ & & Q \ar[uuuu] <+0.6ex> \ar[rrrr] <+0.5ex> \ar[rrrr] <+0.0ex> \ar[ul] <+0.5ex> \ar[ul] <+0.0ex> & & & & P \ar[uuuu] <+0.6ex> \ar[llll] <+0.6ex> \ar[ul] <+0.5ex> \ar[ul] <+0.0ex> \\ }}

By definition, calE is generated by three commuting cat^1-groups (G ⇒ R), (G ⇒ Q) and (G ⇒ H), but it is more convenient to think of calE as generated by two cat^2-groups

Because the tail, head and embedding maps all commute, it follows that up(calE), generated by (G ⇒ H) and (G ⇒ R), is a third cat^2-group. The three remaining faces (cat^2-groups) right(calE), down(calE) and back(calE) are then easily constructed. We shall always use the order [front, left, up, right, down, back] for the six faces.

9.1-1 Cat3Group
‣ Cat3Group( args )( function )
‣ PreCat3Group( args )( function )
‣ IsCat3Group( C )( property )
‣ PreCat3GroupByPreCat2Groups( L )( operation )

The global functions Cat3Group and PreCat3Group normally take as arguments a pair of cat^2-groups [front, left], or a trio of cat^1-groups [front-up, front-left = left-up, left-left].

In subsection AllCat2GroupsIterator (8.6-4) the list of pairs CatnGroupLists(d12).pairs contains the three entries [6,8],[8,11] and [6,11]. It follows that the sixth, eighth and eleventh cat^1-groups for d12 generate a cat^3-group.


gap> alld12 := AllCat1Groups( d12 );; 
gap> C68 := Cat2Group( alld12[6], alld12[8] );; 
gap> C811 := Cat2Group( alld12[8], alld12[11] );;
gap> C3Ga := Cat3Group( C68, C811 );
cat3-group with generating (pre-)cat1-groups:
1 : [d12 => Group( [ (), (1,6)(2,5)(3,4) ] )]
2 : [d12 => Group( [ (1,4)(2,5)(3,6), (1,3)(4,6) ] )]
3 : [d12 => Group( [ (1,5,3)(2,6,4), (1,4)(2,3)(5,6) ] )]
gap> C3Gb := Cat3Group( alld12[6], alld12[8], alld12[11] );;
gap> C3Ga = C3Gb;
true

9.1-2 Front3DimensionalGroup
‣ Front3DimensionalGroup( C3 )( attribute )
‣ Left3DimensionalGroup( C3 )( attribute )
‣ Up3DimensionalGroup( C3 )( attribute )
‣ Right3DimensionalGroup( C3 )( attribute )
‣ Down3DimensionalGroup( C3 )( attribute )
‣ Back3DimensionalGroup( C3 )( attribute )

The six faces of a cat^3-group are stored as these attributes.


gap> C116 := Cat2Group( alld12[11], alld12[6] );;
gap> Up3DimensionalGroup( C3Ga ) = C116;
true

9.2 Enumerating cat^3-groups with a given source

Once the list CatnGroupLists(G).pairs has been obtained we may seek all triples [i,j],[j,k] and [k,i] or [i,k] of pairs in this list and then, for each such triple, construct a cat^3-group generated by the i-th, j-th and k-th cat^1-group on G.

9.2-1 AllCat3GroupTriples
‣ AllCat3GroupTriples( G )( operation )
‣ AllCat3GroupsNumber( G )( attribute )
‣ AllCat3Groups( G )( operation )

The list of triples returned by the operation AllCat3GroupTriples is saved as CatnGroupLists(G).cat3triples. The length of this list is the number of cat^3-groups on G, and is saved as CatnGroupNumbers(G).cat3.

As yet there is no operation AllCat3GroupsUpToIsomorphism(G).


gap> triples := AllCat3GroupTriples( d12 );;
gap> CatnGroupNumbers( d12 ).cat3; 
94
gap> triples[46];
[ 5, 7, 11 ]
gap> alld12 := AllCat1Groups( d12 );; 
gap> Cat3Group( alld12[5], alld12[7], alld12[11] );
cat3-group with generating (pre-)cat1-groups:
1 : [d12 => Group( [ (), (1,4)(2,3)(5,6) ] )]
2 : [d12 => Group( [ (1,4)(2,5)(3,6), (2,6)(3,5) ] )]
3 : [d12 => Group( [ (1,5,3)(2,6,4), (1,4)(2,3)(5,6) ] )]

9.3 Definition and constructions for cat^n-groups and their morphisms

In this chapter and the previous one we are interested in cat^2-groups and cat^3-groups, and it is convenient in this section to give the more general definition. There are three equivalent descriptions of a cat^n-group.

A cat^n-group consists of the following.

Note that, since the t_A,i, h_A,i and e_A,i commute, composite homomorphisms t_A,B, h_A,B : G_A -> G_A ∖ B and e_A,B : G_A ∖ B -> G_A are well defined for all B ⊆ A ⊆ [n].

Secondly, we give the simplest of the three descriptions, again adapted from Ellis-Steiner [ES87].

A cat^n-group calC consists of 2^n groups G_A, one for each subset A of [n], and 3n homomorphisms

t_{[n],i}, h_{[n],i} : G_{[n]} \to G_{[n] \setminus \{i\}},~ e_{[n],i} : G_{[n] \setminus \{i\}} \to G_{[n]},

satisfying the following axioms for all 1 leqslant i leqslant n,}

Our third description defines a cat^n-group as a "cat^1-group of cat^(n-1)-groups".

A cat^n-group calC consists of two cat^(n-1)-groups:

9.3-1 PreCatnGroup
‣ PreCatnGroup( L )( operation )
‣ CatnGroup( L )( operation )

The operation (Pre)CatnGroup expects as input a list of cat^1-groups. For our group d12 we may construct various cat^4-groups, and here is one of them.


gap> PC4 := PreCatnGroup( [ alld12[5], alld12[7], alld12[11], alld12[12] ] );
(pre-)cat4-group with generating (pre-)cat1-groups:
1 : [d12 => Group( [ (), (1,4)(2,3)(5,6) ] )]
2 : [d12 => Group( [ (1,4)(2,5)(3,6), (2,6)(3,5) ] )]
3 : [d12 => Group( [ (1,5,3)(2,6,4), (1,4)(2,3)(5,6) ] )]
4 : [d12 => Group( [ (1,2,3,4,5,6), (2,6)(3,5) ] )]
gap> IsCatnGroup( PC4 );                                             
true
gap> HigherDimension( PC4 );
5

For a cat^5-group we may start with the cyclic group whose order is the product of the first five primes. With this group we may form 32 cat^1-groups and 528 cat^2-groups.


gap> G := Group( (1,2), (3,4,5), (6,7,8,9,10), (11,12,13,14,15,16,17),
>                (20,21,22,23,24,25,26,27,28,29,30) );;
gap> SetName( G, "C2310" );
gap> all1 := AllCat1Groups( G );;
gap> Print( "G has ", CatnGroupNumbers( G ).cat1, " cat1-groups\n" );
G has 32 cat1-groups
gap> PC5 := PreCatnGroup( [ all1[2], all1[5], all1[13], all1[25], all1[32] ] );
(pre-)cat5-group with generating (pre-)cat1-groups:
1 : [C2310 => Group( [ (), (), (), (), (1,2) ] )]
2 : [C2310 => Group( [ (), (), (), (3,4,5), (1,2) ] )]
3 : [C2310 => Group( [ (), (), ( 6, 7, 8, 9,10), (3,4,5), (1,2) ] )]
4 : [C2310 => Group( [ (), (11,12,13,14,15,16,17), ( 6, 7, 8, 9,10), (3,4,5), 
  (1,2) ] )]
5 : [C2310 => Group( [ (20,21,22,23,24,25,26,27,28,29,30), 
  (11,12,13,14,15,16,17), ( 6, 7, 8, 9,10), (3,4,5), (1,2) ] )]
gap> HigherDimension( PC5 );
6

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Bib Ind

generated by GAPDoc2HTML