Finding a homomorphism between groups with a given kernel

abstract-algebragroup-theory

What is a homomorphism defined on the group of invertible upper-triangular $3\times 3$ matrices whose kernel consists of matrices $\begin{bmatrix} 1 & 0 & a \\ 0 & 1 & 0 \\ 0 &0 & 1\end{bmatrix}$?

I want to use this to study the quotient group, also is there always a way to find a group homomorphism, once the kernel is given and one the group is known in general ?

What changes when the diagonal entries in the group of upper triangular matrices are all equal to one .

I prefer a correct answer as much as easy to follow explanation, because my backgroud in algebra does not go beyond "first abstract algebra course"

Thank you.

Best Answer

You might imagine it as the group of upper triangular matrices with the top-right entry marked as unknown or irrelevant, $$\begin{pmatrix}x&y&?\\0&z&u\\0&0&v\end{pmatrix} $$ This is fine because when multiplying two such matrices, the top-right entries are needed only for computing the top-right entry: $$\begin{pmatrix}x&y&?\\0&z&u\\0&0&v\end{pmatrix}\begin{pmatrix}x'&y'&?\\0&z'&u'\\0&0&v'\end{pmatrix}=\begin{pmatrix}xx'&xy'+yz'&?\\0&zz'&zu'+uv'\\0&0&vv'\end{pmatrix} $$


By removing all decoration, this becomes a group structure on the set $$G:=\{\,(x,y,z,u,v,D)\mid yzvD-1=0\,\}$$ and with multiplication rule $$(x,y,z,u,v,D)\cdot(x',y',z',u',v',D')=(xx',xy'+yz',zz',zu'+uv',vv',DD').$$ But I suppose that this explicit rule looks a bit unintuitive, compared to the matrix with irrelevant entry.

As a sidenote: Because the set $G$ and the group operation are defined in terms of polynomials, this is an algebraic group

Related Question