自由群学习贴

cjsh

F:=FreeGroup(13);
F;
Identity(F) ;
Id(F) ;
F ! 1 ;
F ! [ 1,2,3,4,13 ];
Random(F, 3, 13);

Finitely presented group F on 13 generators (free)
Id(F)
Id(F)
Id(F)
F.1 * F.2 * F.3 * F.4 * F.13
F.4 * F.6^-1 * F.2 * F.5^-1 * F.9 * F.11^-2 * F.4