In my introductory abstract algebra course, the quotient group $G/H$ was defined as
$$G/H=\{gH:g\in G\}$$
which is a set of sets. In an exercise, I should show that for the group of invertible matrices $GL_n(K)$ over a field $K$ and the normal subgroup $SL_n(K)$ the quotient group is abelian.
I'm horribly confused. What is the operation that combines two sets of matrices? What does it mean for two sets of matrices to commute with respect to this operation?
I apologize if this is a silly question, but our lecture only ever mentioned modular arithmetic…
Best Answer
The application $\text{det} : \text{GL}_{n}(K) \rightarrow K^{*}$ is a homomorphism and his kernel is $\text{SL}_{n}(K)$. Moreover $\text{det}$ is surjective. Then $\frac{\text{GL}_{n}(K)}{\text{SL}_{n}(K)}$ is isomorphic to the commutative group $K^{*}$.