Euclidean geometry

From the point of view of Cartan geometry, a Euclidean geometry $M$ is a Cartan geometry modeled over $(E(n),O(n))$ (the Euclidean group and orthogonal group respectively). The corresponding Klein geometry is called the Euclidean plane and since it is torsion-free (since it is flat) it is a Riemannian geometry.