I am not exactly sure what these functions mean:
defined by for and
defined by for .
These two functions really are and right?
So if is a bijection with inverse , then if and only if so that . So this implies that sometimes?
I do not think you taken group theory, given the homomorphism then where is called the kernel it is extremely important concept.
Have you even taken linear algebra? Given a linear transformation then is defined exactly like above where is the zero vector of . This is another important concept.
However is always a function from to .