Identifying subgroups and their cosets
Let G be a group and consider its multiplication table. By exchanging rows and columns you can put the elements of a subset at the beginning. By definition it is a subgroup if the products are also within this subset. We can see this clearly by either
For instance, the subset {0, 1} is not a subgroup from Z/6Z, but the subset {0, 3} is a subgroup. We can see this from
Note that by resizing again to the original size, you get the original group back, as long as you did not change the structure essentially (e.g. by deleting an element).