← 2014 Paper 2

UPSC 2014 Maths Optional Paper 2 Q1a — Step-by-Step Solution

10 marks · Section A

Normal subgroups; quotient groups · Algebra · asked 2× in 13 yrs · Read the full method →

Question

Let GG be the set of all real 2×22\times 2 matrices [xy0z]\begin{bmatrix}x & y\\ 0 & z\end{bmatrix}, where xz0xz\ne 0. Show that GG is a group under matrix multiplication. Let NN denote the subset {[1a01]:aR}\left\{\begin{bmatrix}1 & a\\ 0 & 1\end{bmatrix}:a\in\mathbb R\right\}. Is NN a normal subgroup of GG? Justify your answer.

Technique

Direct verification of group axioms; explicit conjugation calculation to check normality.

Solution

Part 1 — GG is a group

Closure. For A=(x1y10z1)A=\begin{pmatrix}x_1&y_1\\0&z_1\end{pmatrix}, B=(x2y20z2)B=\begin{pmatrix}x_2&y_2\\0&z_2\end{pmatrix}:

AB=(x1x2x1y2+y1z20z1z2).AB=\begin{pmatrix}x_1 x_2 & x_1 y_2+y_1 z_2\\ 0 & z_1 z_2\end{pmatrix}.

The product is upper-triangular with (1,1)(1,1) entry x1x2x_1 x_2 and (2,2)(2,2) entry z1z2z_1 z_2. Their product x1x2z1z2=(x1z1)(x2z2)0x_1 x_2 z_1 z_2=(x_1 z_1)(x_2 z_2)\ne 0. So ABGAB\in G ✓.

Associativity. Inherited from matrix multiplication (associative for all matrices).

Identity. I=(1001)GI=\begin{pmatrix}1&0\\0&1\end{pmatrix}\in G (with x=z=1,y=0x=z=1,\,y=0; xz=10xz=1\ne 0). And IA=AI=AIA=AI=A for all AGA\in G ✓.

Inverse. For A=(xy0z)A=\begin{pmatrix}x&y\\0&z\end{pmatrix} with xz0xz\ne 0:

A1=1xz(zy0x)=(1/xy/(xz)01/z).A^{-1}=\frac{1}{xz}\begin{pmatrix}z&-y\\0&x\end{pmatrix}=\begin{pmatrix}1/x & -y/(xz)\\ 0 & 1/z\end{pmatrix}.

This is upper-triangular with (1,1)(2,2)=1/(xz)0(1,1)\cdot(2,2)=1/(xz)\ne 0, so A1GA^{-1}\in G ✓.

Hence GG is a group under matrix multiplication.

Part 2 — Is NN normal in GG?

N={na:aR}N=\{n_a:a\in\mathbb R\} where na=(1a01)n_a=\begin{pmatrix}1&a\\0&1\end{pmatrix}.

To check normality, compute gnag1gn_a g^{-1} for general g=(xy0z)Gg=\begin{pmatrix}x&y\\0&z\end{pmatrix}\in G.

gna=(xy0z)(1a01)=(xxa+y0z).gn_a=\begin{pmatrix}x&y\\0&z\end{pmatrix}\begin{pmatrix}1&a\\0&1\end{pmatrix}=\begin{pmatrix}x&xa+y\\0&z\end{pmatrix}. gnag1=(xxa+y0z)(1/xy/(xz)01/z)=(1y/z+(xa+y)/z01)=(1xa/z01).gn_a g^{-1}=\begin{pmatrix}x&xa+y\\0&z\end{pmatrix}\begin{pmatrix}1/x & -y/(xz)\\0 & 1/z\end{pmatrix}=\begin{pmatrix}1 & -y/z+(xa+y)/z\\0 & 1\end{pmatrix}=\begin{pmatrix}1 & xa/z\\0 & 1\end{pmatrix}.

This is nxa/zNn_{xa/z}\in N. So gNg1NgNg^{-1}\subseteq N for every gGg\in G.

Answer

  N is a normal subgroup of G.  \boxed{\;N\text{ is a normal subgroup of }G.\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 13 years, mapped. Get the take-away PDF free.