Abstract

Klein’s Erlangen program contains the postulate to study thegroup of automorphisms instead of a structure itself. This postulate, takenliterally, sometimes means a substantial loss of information. For example, thegroup of automorphisms of the field of rational numbers is trivial. Howeverin the case of Euclidean plane geometry the situation is different. We shallprove that the plane Euclidean geometry is mutually interpretable with theelementary theory of the group of authomorphisms of its standard model.Thus both theories differ practically in the language only