62.27 Rank for semigroups

Rank( sg )

The rank of a transformation semigroup S is defined as the minimal rank of the elements of S, i.e. min{ rank(s) mid s in S }.

The function Rank returns the rank of the semigroup sg.

  gap> Rank( s );
  1
  gap> c3;
  TransformationSemigroup( Transformation( [ 1, 2, 3 ], [ 2, 3, 1 ] ) ) 
  gap> Rank( c3 );
  3

Previous Up Top Next
Index