The first isomorphism theorem produces the desired isomorphism, which sends the coset to . This corresponds to rewriting the tuple into the pi groups coming from the columns of .
The first isomorphism theorem produces the desired isomorphism, which sends the coset to  This corresponds to rewriting the tuple into the pi groups coming from the columns of .