Verifying axioms of a group
Let
View code
Let $G$ denote the set of invertible $2\times 2$ matrices with values in a field. Prove $G$ is a group by defining a group law, identity element, and verifying the axioms. Credit is based on completeness.