is the group of rigid transformations in the 2D plane, the semi-direct product . It has three degrees of freedom: two for translation and one for rotation. Subgroups include .