A. S. Denisenko, N. T. Kogabaev, “On automatic presentations of projective planes”, Sibirsk. Mat. Zh., 2014, Volume 55, Number 1,Pages <nobr>66

On automatic presentations of projective planes

A. S. Denisenko^ab, N. T. Kogabaev^ab

^a Sobolev Institute of Mathematics, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

Abstract: We study automatic presentations of projective planes and prove that no freely generated projective plane has any automatic presentations. Every desarguesian (pappian) projective plane is shown to be automatically presentable if and only if it is finite.

Keywords: automatic model, automatic presentation, projective plane, freely generated projective plane, desarguesian projective plane, pappian projective plane.

UDC: 510.53+514.146

Received: 29.08.2012