doc/info/es/Groups.es.texi

   1 @c English version 2008-03-28
   2 @menu
   3 * Funciones y variables para grupos::
   4 @end menu
   5
   6 @node Funciones y variables para grupos,  , Grupos, Grupos
   7 @section Funciones y variables para grupos
   8
   9 @deffn {Función} todd_coxeter (@var{relaciones}, @var{subgrupo})
  10 @deffnx {Función} todd_coxeter (@var{relaciones})
  11
  12 Busca el orden de G/H donde G es el módulo del Grupo Libre de @var{relations}, y H es el subgrupo de G generado por @code{subgrupo}. @code{subgrupo} es un argumento opcional, cuyo valor por defecto es [].
  13
  14 En este proceso se obtiene una tabla de multiplicación para la acción correcta de G sobre G/H, donde los co-cojuntos son enumerados [H,Hg2,Hg3,...]. Esto puede ser observado internamente en el @code{todd_coxeter_state}.
  15
  16 Ejemplo:
  17
  18 @example
  19 (%i1) symet(n):=create_list(
  20         if (j - i) = 1 then (p(i,j))^^3 else
  21             if (not i = j) then (p(i,j))^^2 else
  22                 p(i,i) , j, 1, n-1, i, 1, j);
  23                                                        <3>
  24 (%o1) symet(n) := create_list(if j - i = 1 then p(i, j)
  25
  26                                 <2>
  27  else (if not i = j then p(i, j)    else p(i, i)), j, 1, n - 1,
  28
  29 i, 1, j)
  30 (%i2) p(i,j) := concat(x,i).concat(x,j);
  31 (%o2)        p(i, j) := concat(x, i) . concat(x, j)
  32 (%i3) symet(5);
  33          <2>           <3>    <2>           <2>           <3>
  34 (%o3) [x1   , (x1 . x2)   , x2   , (x1 . x3)   , (x2 . x3)   ,
  35
  36             <2>           <2>           <2>           <3>    <2>
  37           x3   , (x1 . x4)   , (x2 . x4)   , (x3 . x4)   , x4   ]
  38 (%i4) todd_coxeter(%o3);
  39
  40 Rows tried 426
  41 (%o4)                          120
  42 (%i5) todd_coxeter(%o3,[x1]);
  43
  44 Rows tried 213
  45 (%o5)                          60
  46 (%i6) todd_coxeter(%o3,[x1,x2]);
  47
  48 Rows tried 71
  49 (%o6)                          20
  50 @end example
  51
  52 @end deffn
  53
  54