On trigonometries of groups on a projective plane (Q1921790)

The author deals with an existence criterion for a trigonometry group of an projective plane. This property is equivalent to the existence of some closed set of matrices which elements belongs to the group. Moreover, he proves the existence of not uniquely determined triangles by three sides in the trigonometries of groups on a projective plane. It implies that the so-called trigonometric theories over a projective plane are not 2-theories. The statement according to which trigonometry on a projective plane generates an atomic structure is given, too. The author establishes that every free group with \(\lambda\) free generators has \(2^\lambda\) trigonometries on some projective plane and proves that the projective plane in the constructed trigonometries is induced by a digraph without circuits.