Elations with given axis form a group having a partition into subgroups given by elations having elements as center
From Groupprops
Statement
Suppose is a projective plane and
is a line in
. For every point
(i.e., every point incident to
), define
as the set of all Elation (?)s with center
and axis
. Define:
.
In other words, is defined as the set of all elations with axis
.
Then, is a group, and the
form a partition of
(i.e., they are subgroups whose pairwise intersection is trivial and whose union is the whole group).