Typical examples: the difference between an Abelian projective plane and an affine plane

Introduction

A projective plane is a fundamental structure in finite geometry, defined as a set of points and lines satisfying specific axioms. These axioms ensure that any two points lie on a unique line, and any two lines intersect in at most one point. Projective planes are often studied in the context of combinatorial and algebraic properties, with applications in coding theory, cryptography, and computer science. Among these structures, the distinction between an affine plane and an Abelian projective plane lies in their defining characteristics and constraints. While both are special cases of projective planes, the key difference resides in the nature of their underlying groups and the inclusion of the line at infinity. This article explores the definitions, properties, and examples of these two structures to clarify their differences.

Definitions and Core Properties

An affine plane is a structure that satisfies the axioms of a projective plane but excludes the line at infinity. In other words, it is a projective plane where the points and lines are defined in a way that does not include the "projective point at infinity." This distinction is crucial because affine planes are closely related to finite geometries and have well-defined combinatorial properties. For example, an affine plane of order $ n $ has $ n^2 + n + 1 $ points and $ n^2 + n + 1 $ lines, with each line containing exactly $ n + 1 $ points. The automorphism group of an affine plane is finite and is isomorphic to the symmetric group $ S_{n+1} $, reflecting the symmetries of the plane's structure.

An Abelian projective plane is a specific type of projective plane where the group of automorphisms is abelian. This condition imposes additional constraints on the structure, ensuring that the automorphism group is commutative. While all projective planes have automorphism groups that are finite and can be non-abelian, the Abelian property restricts these groups to be commutative. In an Abelian projective plane, the automorphism group is isomorphic to $ \mathbb{Z}_2 $, the cyclic group of order 2, for certain orders, or to a more complex group for higher orders. This property ensures that the plane's symmetries are particularly structured, which can influence its geometric and algebraic properties.

Structural and Combinatorial Differences

The primary difference between an affine plane and an Abelian projective plane lies in their underlying groups and the inclusion of the line at infinity. In an affine plane, the line at infinity is excluded, meaning that the plane does not include a "point at infinity" where parallel lines meet. This absence of the line at infinity simplifies the structure but also restricts the types of transformations that can be