Green's Relation of T4

  1. Generators
    a : [1, 0, 2, 3]
    b : [1, 2, 3, 0]
    c : [0, 0, 1, 2]

  2. Elements
    Elements : 256
    IRepresentationMap
    a[1, 0, 2, 3]
    b[1, 2, 3, 0]
    c[0, 0, 1, 2]
    *a.a[0, 1, 2, 3]
    b.a[0, 2, 3, 1]
    c.a[1, 1, 0, 2]
    a.b[2, 1, 3, 0]
    b.b[2, 3, 0, 1]
    *c.b[1, 1, 2, 3]
    *b.c[0, 1, 2, 0]
    c.c[0, 0, 0, 1]
    a.b.a[2, 0, 3, 1]
    b.b.a[2, 3, 1, 0]
    *c.b.a[0, 0, 2, 3]
    b.c.a[1, 0, 2, 1]
    c.c.a[1, 1, 1, 0]
    b.a.b[1, 3, 0, 2]
    c.a.b[2, 2, 1, 3]
    a.b.b[3, 2, 0, 1]
    b.b.b[3, 0, 1, 2]
    c.b.b[2, 2, 3, 0]
    b.c.b[1, 2, 3, 1]
    c.c.b[1, 1, 1, 2]
    a.b.c[1, 0, 2, 0]
    b.b.c[1, 2, 0, 0]
    b.c.c[0, 0, 1, 0]
    *c.c.c[0, 0, 0, 0]
    b.a.b.a[0, 3, 1, 2]
    c.a.b.a[2, 2, 0, 3]
    a.b.b.a[3, 2, 1, 0]
    b.b.b.a[3, 1, 0, 2]
    c.b.b.a[2, 2, 3, 1]
    b.c.b.a[0, 2, 3, 0]
    c.c.b.a[0, 0, 0, 2]
    *a.b.c.a[0, 1, 2, 1]
    b.b.c.a[0, 2, 1, 1]
    b.c.c.a[1, 1, 0, 1]
    *c.c.c.a[1, 1, 1, 1]
    b.b.a.b[3, 0, 2, 1]
    c.b.a.b[1, 1, 3, 0]
    b.c.a.b[2, 1, 3, 2]
    c.c.a.b[2, 2, 2, 1]
    b.a.b.b[2, 0, 1, 3]
    c.a.b.b[3, 3, 2, 0]
    c.b.b.b[3, 3, 0, 1]
    b.c.b.b[2, 3, 0, 2]
    *c.c.b.b[2, 2, 2, 3]
    a.b.c.b[2, 1, 3, 1]
    b.b.c.b[2, 3, 1, 1]
    *b.c.c.b[1, 1, 2, 1]
    b.a.b.c[0, 2, 0, 1]
    a.b.b.c[2, 1, 0, 0]
    b.b.b.c[2, 0, 0, 1]
    c.b.b.c[1, 1, 2, 0]
    *b.b.c.c[0, 1, 0, 0]
    b.b.a.b.a[3, 1, 2, 0]
    c.b.a.b.a[0, 0, 3, 1]
    b.c.a.b.a[2, 0, 3, 2]
    c.c.a.b.a[2, 2, 2, 0]
    b.a.b.b.a[2, 1, 0, 3]
    c.a.b.b.a[3, 3, 2, 1]
    c.b.b.b.a[3, 3, 1, 0]
    b.c.b.b.a[2, 3, 1, 2]
    a.b.c.b.a[2, 0, 3, 0]
    b.b.c.b.a[2, 3, 0, 0]
    *b.c.c.b.a[0, 0, 2, 0]
    b.a.b.c.a[1, 2, 1, 0]
    a.b.b.c.a[2, 0, 1, 1]
    b.b.b.c.a[2, 1, 1, 0]
    c.b.b.c.a[0, 0, 2, 1]
    b.b.c.c.a[1, 0, 1, 1]
    a.b.b.a.b[0, 3, 2, 1]
    b.b.b.a.b[0, 2, 1, 3]
    c.b.b.a.b[3, 3, 0, 2]
    b.c.b.a.b[1, 3, 0, 1]
    *c.c.b.a.b[1, 1, 1, 3]
    a.b.c.a.b[1, 2, 3, 2]
    b.b.c.a.b[1, 3, 2, 2]
    b.c.c.a.b[2, 2, 1, 2]
    *c.c.c.a.b[2, 2, 2, 2]
    b.b.a.b.b[0, 1, 3, 2]
    c.b.a.b.b[2, 2, 0, 1]
    b.c.a.b.b[3, 2, 0, 3]
    c.c.a.b.b[3, 3, 3, 2]
    b.c.b.b.b[3, 0, 1, 3]
    c.c.b.b.b[3, 3, 3, 0]
    a.b.c.b.b[3, 2, 0, 2]
    b.b.c.b.b[3, 0, 2, 2]
    b.c.c.b.b[2, 2, 3, 2]
    b.a.b.c.b[1, 3, 1, 2]
    a.b.b.c.b[3, 2, 1, 1]
    b.b.b.c.b[3, 1, 1, 2]
    b.b.c.c.b[1, 2, 1, 1]
    b.b.a.b.c[2, 0, 1, 0]
    b.a.b.b.c[1, 0, 0, 2]
    c.a.b.b.c[2, 2, 1, 0]
    c.b.b.b.c[2, 2, 0, 0]
    b.c.b.b.c[1, 2, 0, 1]
    a.b.b.c.c[1, 0, 0, 0]
    a.b.b.a.b.a[1, 3, 2, 0]
    b.b.b.a.b.a[1, 2, 0, 3]
    c.b.b.a.b.a[3, 3, 1, 2]
    b.c.b.a.b.a[0, 3, 1, 0]
    *c.c.b.a.b.a[0, 0, 0, 3]
    a.b.c.a.b.a[0, 2, 3, 2]
    b.b.c.a.b.a[0, 3, 2, 2]
    b.c.c.a.b.a[2, 2, 0, 2]
    b.b.a.b.b.a[1, 0, 3, 2]
    b.c.a.b.b.a[3, 2, 1, 3]
    b.c.b.b.b.a[3, 1, 0, 3]
    c.c.b.b.b.a[3, 3, 3, 1]
    a.b.c.b.b.a[3, 2, 1, 2]
    b.b.c.b.b.a[3, 1, 2, 2]
    b.a.b.c.b.a[0, 3, 0, 2]
    a.b.b.c.b.a[3, 2, 0, 0]
    b.b.b.c.b.a[3, 0, 0, 2]
    b.b.c.c.b.a[0, 2, 0, 0]
    b.b.a.b.c.a[2, 1, 0, 1]
    b.a.b.b.c.a[0, 1, 1, 2]
    c.b.b.b.c.a[2, 2, 1, 1]
    b.c.b.b.c.a[0, 2, 1, 0]
    *a.b.b.c.c.a[0, 1, 1, 1]
    c.a.b.b.a.b[0, 0, 3, 2]
    b.c.b.b.a.b[3, 0, 2, 3]
    a.b.c.b.a.b[3, 1, 0, 1]
    b.b.c.b.a.b[3, 0, 1, 1]
    b.c.c.b.a.b[1, 1, 3, 1]
    b.a.b.c.a.b[2, 3, 2, 1]
    b.b.b.c.a.b[3, 2, 2, 1]
    c.b.b.c.a.b[1, 1, 3, 2]
    *b.b.c.c.a.b[2, 1, 2, 2]
    c.b.b.a.b.b[0, 0, 1, 3]
    b.c.b.a.b.b[2, 0, 1, 2]
    a.b.c.a.b.b[2, 3, 0, 3]
    b.b.c.a.b.b[2, 0, 3, 3]
    *b.c.c.a.b.b[3, 3, 2, 3]
    *c.c.c.a.b.b[3, 3, 3, 3]
    a.b.c.b.b.b[0, 3, 1, 3]
    *b.b.c.b.b.b[0, 1, 3, 3]
    b.c.c.b.b.b[3, 3, 0, 3]
    b.a.b.c.b.b[2, 0, 2, 3]
    *b.b.b.c.b.b[0, 2, 2, 3]
    b.b.c.c.b.b[2, 3, 2, 2]
    b.b.a.b.c.b[3, 1, 2, 1]
    b.a.b.b.c.b[2, 1, 1, 3]
    c.b.b.b.c.b[3, 3, 1, 1]
    a.b.b.c.c.b[2, 1, 1, 1]
    b.b.b.a.b.c[0, 1, 0, 2]
    c.b.a.b.b.c[1, 1, 0, 0]
    b.c.a.b.b.c[2, 1, 0, 2]
    b.c.b.b.b.c[2, 0, 0, 2]
    *b.c.b.b.a.b.a[3, 1, 2, 3]
    a.b.c.b.a.b.a[3, 0, 1, 0]
    b.b.c.b.a.b.a[3, 1, 0, 0]
    b.c.c.b.a.b.a[0, 0, 3, 0]
    b.a.b.c.a.b.a[2, 3, 2, 0]
    b.b.b.c.a.b.a[3, 2, 2, 0]
    b.b.c.c.a.b.a[2, 0, 2, 2]
    c.b.b.a.b.b.a[1, 1, 0, 3]
    a.b.c.a.b.b.a[2, 3, 1, 3]
    b.b.c.a.b.b.a[2, 1, 3, 3]
    a.b.c.b.b.b.a[1, 3, 0, 3]
    b.b.c.b.b.b.a[1, 0, 3, 3]
    b.c.c.b.b.b.a[3, 3, 1, 3]
    *b.a.b.c.b.b.a[2, 1, 2, 3]
    b.b.b.c.b.b.a[1, 2, 2, 3]
    b.b.a.b.c.b.a[3, 0, 2, 0]
    b.a.b.b.c.b.a[2, 0, 0, 3]
    c.b.b.b.c.b.a[3, 3, 0, 0]
    a.b.b.c.c.b.a[2, 0, 0, 0]
    b.b.b.a.b.c.a[1, 0, 1, 2]
    c.b.a.b.b.c.a[0, 0, 1, 1]
    b.c.b.b.b.c.a[2, 1, 1, 2]
    b.c.a.b.b.a.b[0, 3, 2, 0]
    *a.b.c.b.b.a.b[0, 3, 2, 3]
    b.b.c.b.b.a.b[0, 2, 3, 3]
    b.a.b.c.b.a.b[1, 0, 1, 3]
    a.b.b.c.b.a.b[0, 3, 1, 1]
    *b.b.b.c.b.a.b[0, 1, 1, 3]
    b.b.c.c.b.a.b[1, 3, 1, 1]
    c.b.b.b.c.a.b[3, 3, 2, 2]
    b.c.b.b.c.a.b[1, 3, 2, 1]
    a.b.b.c.c.a.b[1, 2, 2, 2]
    b.c.b.b.a.b.b[0, 1, 3, 0]
    a.b.c.b.a.b.b[0, 2, 1, 2]
    *b.b.c.b.a.b.b[0, 1, 2, 2]
    b.a.b.c.a.b.b[3, 0, 3, 2]
    b.b.b.c.a.b.b[0, 3, 3, 2]
    b.b.c.c.a.b.b[3, 2, 3, 3]
    b.a.b.c.b.b.b[3, 1, 3, 0]
    b.b.b.c.b.b.b[1, 3, 3, 0]
    b.b.c.c.b.b.b[3, 0, 3, 3]
    *c.b.b.b.c.b.b[0, 0, 2, 2]
    a.b.b.c.c.b.b[3, 2, 2, 2]
    b.b.b.a.b.c.b[1, 2, 1, 3]
    *b.c.b.b.b.c.b[3, 1, 1, 3]
    b.c.b.a.b.b.c[1, 0, 0, 1]
    a.b.c.a.b.b.c[1, 2, 0, 2]
    b.b.c.a.b.b.c[1, 0, 2, 2]
    a.b.c.b.b.b.c[0, 2, 0, 2]
    a.b.c.b.b.a.b.a[1, 3, 2, 3]
    b.b.c.b.b.a.b.a[1, 2, 3, 3]
    *b.a.b.c.b.a.b.a[0, 1, 0, 3]
    a.b.b.c.b.a.b.a[1, 3, 0, 0]
    b.b.b.c.b.a.b.a[1, 0, 0, 3]
    b.b.c.c.b.a.b.a[0, 3, 0, 0]
    *a.b.b.c.c.a.b.a[0, 2, 2, 2]
    b.c.b.b.a.b.b.a[1, 0, 3, 1]
    b.a.b.c.a.b.b.a[3, 1, 3, 2]
    b.b.b.c.a.b.b.a[1, 3, 3, 2]
    b.a.b.c.b.b.b.a[3, 0, 3, 1]
    b.b.b.c.b.b.b.a[0, 3, 3, 1]
    *b.b.c.c.b.b.b.a[3, 1, 3, 3]
    *c.b.b.b.c.b.b.a[1, 1, 2, 2]
    b.b.b.a.b.c.b.a[0, 2, 0, 3]
    b.c.b.b.b.c.b.a[3, 0, 0, 3]
    *b.c.b.a.b.b.c.a[0, 1, 1, 0]
    a.b.c.b.b.b.c.a[1, 2, 1, 2]
    b.a.b.c.b.b.a.b[3, 2, 3, 0]
    b.b.b.c.b.b.a.b[2, 3, 3, 0]
    b.b.a.b.c.b.a.b[0, 1, 3, 1]
    b.a.b.b.c.b.a.b[3, 1, 1, 0]
    a.b.b.c.c.b.a.b[3, 1, 1, 1]
    *b.c.b.b.b.c.a.b[3, 2, 2, 3]
    a.b.c.b.b.a.b.b[1, 0, 3, 0]
    b.a.b.c.b.a.b.b[2, 1, 2, 0]
    b.b.b.c.b.a.b.b[1, 2, 2, 0]
    *c.b.b.b.c.a.b.b[0, 0, 3, 3]
    a.b.b.c.c.a.b.b[2, 3, 3, 3]
    *c.b.b.b.c.b.b.b[1, 1, 3, 3]
    *a.b.b.c.c.b.b.b[0, 3, 3, 3]
    *b.c.b.b.b.c.b.b[0, 2, 2, 0]
    a.b.c.b.b.b.c.b[1, 3, 1, 3]
    *a.b.c.b.a.b.b.c[0, 1, 0, 1]
    b.a.b.c.a.b.b.c[2, 0, 2, 1]
    b.b.b.c.a.b.b.c[0, 2, 2, 1]
    b.a.b.c.b.b.b.c[2, 0, 2, 0]
    b.a.b.c.b.b.a.b.a[3, 2, 3, 1]
    b.b.b.c.b.b.a.b.a[2, 3, 3, 1]
    b.a.b.b.c.b.a.b.a[3, 0, 0, 1]
    a.b.b.c.c.b.a.b.a[3, 0, 0, 0]
    a.b.b.c.c.b.b.b.a[1, 3, 3, 3]
    b.c.b.b.b.c.b.b.a[1, 2, 2, 1]
    *a.b.c.b.b.b.c.b.a[0, 3, 0, 3]
    a.b.c.b.a.b.b.c.a[1, 0, 1, 0]
    *b.a.b.c.b.b.b.c.a[2, 1, 2, 1]
    c.b.b.b.c.b.b.a.b[2, 2, 3, 3]
    b.b.b.a.b.c.b.a.b[1, 3, 1, 0]
    *a.b.c.b.b.b.c.a.b[2, 3, 2, 3]
    b.a.b.c.b.b.a.b.b[0, 3, 0, 1]
    b.c.b.b.b.c.a.b.b[0, 3, 3, 0]
    b.c.b.b.b.c.b.b.b[1, 3, 3, 1]
    b.a.b.c.b.b.b.c.b[3, 1, 3, 1]
    b.a.b.c.b.b.b.c.b.a[3, 0, 3, 0]
    b.c.b.b.b.c.b.b.a.b[2, 3, 3, 2]
    b.a.b.c.b.b.b.c.a.b[3, 2, 3, 2]

  3. D Classes
    D classes : 4, L classes : 15, R classes : 15

  4. Hierarchy of L & R classes