Incoming links: Group isomorphism
The orthogonal group has 2 connected components:
- one with determinant +1, which is itself a subgroup known as the special orthogonal group. These are pure rotations without a reflection.
- the other with determinant -1. This is not a subgroup as it does not contain the origin. It represents rotations with a reflection.
It is instructive to visualize how the looks like in :
- you take the first basis vector and move it to any other. You have therefore two angular parameters.
- you take the second one, and move it to be orthogonal to the first new vector. (you can choose a circle around the first new vector, and so you have another angular parameter.
- at last, for the last one, there are only two choices that are orthogonal to both previous ones, one in each direction. It is this directio, relative to the others, that determines the "has a reflection or not" thing
As a result it is isomorphic to the direct product of the special orthogonal group by the cyclic group of order 2:
A low dimensional example:because you can only do two things: to flip or not to flip the line around zero.
Something analogous to a group isomorphism, but that preserves whatever properties the given algebraic object has. E.g. for a field, we also have to preserve multiplication in addition to addition.
Other common examples include isomorphisms of vector spaces and field. But since both of those two are much simpler than groups in classification, as they are both determined by number of elements/dimension alone, see:we tend to not talk about isomorphisms so much in those contexts.