From what I can gather, what I am attempting just doesn't make any sense. I am gonna try embedding the monoid into the group of all integer sequences and using relations to find subgroups. Such as . Now, I am looking for all that are eventually constant. Essentially, I am looking for a way to group together sequences based on how uniform they eventually become.