Let $G$ be an (affine) algebraic group. Fix a $g \in G$. Prove that the left multipication map $\varphi: x \mapsto gx$ is an isomorphisms of (affine) variety $G$.
Could you show me explicitly why this map is a morphism and, moreover, an isomorphism?
Note: Here are some definitions I use. Let $X$ be an (affine) variety. A regular funtions on $X$ (or a morphism $X\to \mathbb{A}^1$) is a restriction of a polynomial map on $X$. A morphism of varieties $X\to \mathbb{A}^n$ is a $n-$tuple of regular functions on X. A morphisms of varieties $X\to Y\subset\mathbb{A}^n$ is a morphism $X\to \mathbb{A}^n$ with image in $Y$. A morphism $X\to Y$ is an isomorphism iff its associative $k-$algebra homomorphism $k[Y]\to k[X]$ is an isomorphism.
Thank you very much.