Green's Relation of Semigroup for accepting Binary-coded Quaternary

  1. Generators
    B : [1, 0, 3, 2, 4]
    dot : [2, 4, 4, 4, 4]

  2. Elements
    Elements : 7
    IRepresentationMap
    B[1, 0, 3, 2, 4]
    dot[2, 4, 4, 4, 4]
    *B.B[0, 1, 2, 3, 4]
    dot.B[3, 4, 4, 4, 4]
    B.dot[4, 2, 4, 4, 4]
    *dot.dot[4, 4, 4, 4, 4]
    B.dot.B[4, 3, 4, 4, 4]

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

  4. Hierarchy of L & R classes