ApCoCoA-1:Tetraeder group
From ApCoCoAWiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Description
The Tetraeder group is isomorphic to the alternating group A_4. Geometrically this group is generated by the rotations of a regular tetrahedron. Its representation is given by
A_4 = <a,b | a^2 = b^3 = (ab)^3 = 1>
Reference
Geometries and Transformations, Manuscript, Chapter 11: Finite symmetry groups, N.W. Johnson, 2011
Computation
/*Use the ApCoCoA package ncpoly.*/ Use ZZ/(2)[a,b]; NC.SetOrdering("LLEX"); Define CreateRelationsTetraeder() Relations:=[]; // add the relation a^2 = 1 Append(Relations,[[a^2],[1]]); // add the relation b^3 = 1 Append(Relations,[[b^3],[1]]); // add the relation (ab)^3 = 1 Append(Relations,[[a,b,a,b,a,b],[1]]); Return Relations; EndDefine; Relations:=CreateRelationsTetraeder(); Gb:=NC.GB(Relations);
Example in Symbolic Data Format
<FREEALGEBRA createdAt="2014-01-24" createdBy="strohmeier"> <vars>a,b</vars> <basis> <ncpoly>a*a-1</ncpoly> <ncpoly>b*b*b-1</ncpoly> <ncpoly>(a*b)^3-1</ncpoly> </basis> <Comment>Tetraeder_group</Comment> </FREEALGEBRA>