Difference between revisions of "ApCoCoA-1:SpecialLinearPrime group"

From ApCoCoAWiki
(New page: === <div id="special_linear_group with prime p">Special Linear Group with prime p</div> === ==== Description ==== For p is prim...)
 
Line 7: Line 7:
 
not found yet
 
not found yet
 
==== Computation ====
 
==== Computation ====
 +
  /*Use the ApCoCoA package ncpoly.*/
 +
 +
// set the variables k,p,t
 +
// Note that p have to be prime
 +
MEMORY.K:=3;
 +
MEMORY.P:=2;
 +
MEMORY.T:=5;
 +
Use ZZ/(2)[x,y,a,b];
 +
NC.SetOrdering("LLEX");
 +
 +
  Define CreateRelationsSpeciallineargroupprime()
 +
  Relations:=[];
 +
 
 +
    // add the inverse relations
 +
  Append(Relations,[[x,a],[1]]);
 +
  Append(Relations,[[a,x],[1]]);
 +
  Append(Relations,[[y,b],[1]]);
 +
  Append(Relations,[[b,y],[1]]);
 +
 
 +
  // add the relation x^2 = (xy)^3
 +
  Append(Relations,[[x,x],[x,y,x,y,x,y]]);
 +
 
 +
  // add the relation ((((x*y)^4)*x*y^t)^2)*(y^p)*(x^(2k))-1
 +
  Append(Relations,[[x,y,x,y,x,y,x,y,x,y^(MEMORY.T),x,y,x,y,x,y,x,y,x,y^(MEMORY.T),y^(MEMORY.P),x^(2*MEMORY.K)],[1]]);
 +
  Return Relations;
 +
EndDefine;
 +
 +
Relations:=CreateRelationsSpeciallineargroupprime();
 +
Relations;
 +
 +
Gb:=NC.GB(Relations,31,1,100,1000);
 +
Gb;
 +
 
====Example in Symbolic Data Format====
 
====Example in Symbolic Data Format====

Revision as of 10:21, 27 March 2014

Description

For p is prime has the Special Linear Group with prime p the following presentation:

  SL_2(p) = <x,y | x^{2} =(xy)^{3},(xy^{4}xy^{t})^{2}y^{p}x^{2k}=1>

Reference

not found yet

Computation

 /*Use the ApCoCoA package ncpoly.*/

// set the variables k,p,t
// Note that p have to be prime
MEMORY.K:=3;
MEMORY.P:=2;
MEMORY.T:=5;
Use ZZ/(2)[x,y,a,b];
NC.SetOrdering("LLEX");

 Define CreateRelationsSpeciallineargroupprime()
  Relations:=[];
  
   // add the inverse relations
  Append(Relations,[[x,a],[1]]);
  Append(Relations,[[a,x],[1]]);
  Append(Relations,[[y,b],[1]]);
  Append(Relations,[[b,y],[1]]);
  
  // add the relation x^2 = (xy)^3
  Append(Relations,[[x,x],[x,y,x,y,x,y]]);
  
  // add the relation ((((x*y)^4)*x*y^t)^2)*(y^p)*(x^(2k))-1
  Append(Relations,[[x,y,x,y,x,y,x,y,x,y^(MEMORY.T),x,y,x,y,x,y,x,y,x,y^(MEMORY.T),y^(MEMORY.P),x^(2*MEMORY.K)],[1]]);
  Return Relations;
EndDefine;

Relations:=CreateRelationsSpeciallineargroupprime();
Relations;

Gb:=NC.GB(Relations,31,1,100,1000);
Gb;

Example in Symbolic Data Format