Isometry/Bilinear form/Group/Exercise

Let ${}V$ be a ${}K$-vector space, equipped with a bilinear form ${}\Phi$. Show that the set of all isometries on ${}V$ forms a group under the composition of mappings.

Create a solution