projective plane of a ternary ring

projective plane of a ternary ring

Given a

ternary ring

(

R

,

0

,

1

,

*

)

, one can construct a

projective plane

π

such that

R

coordinatizes

π

:

1.

points of

π

are of the forms

(

x

,

y

)

or

(

m

)

, where

x

,

y

∈

R

, and

m

∈

R

∪

{

∞

}

. We assume that the symbol

∞

is not a member of

R

.

2.

lines of

π

are sets of points, of the following forms

–

[

m

,

b

]

:=

{

(

x

,

y

)

∣

y

=

x

*

m

*

b

,

x

,

y

,

m

,

b

∈

R

}

∪

{

(

m

)

}

;

–

[

a

]

:=

{

(

x

,

y

)

∣

x

=

a

,

x

,

y

,

a

∈

R

}

∪

{

(

∞

)

}

;

–

[

∞

]

:=

{

(

m

)

∣

m

∈

R

∪

{

∞

}

}

.

3.

incidence relation

is the same as set membership

∈

.

The line

[

∞

]

is called the

line at infinity

of

R

, and points

(

m

)

are the

points at infinity

(or slope points) of

R

.

Proposition 1

.

[

m

,

b

]

≠

[

a

]

for any

m

,

b

∈

R

and

a

∈

R

∪

{

∞

}

. If

(

m

1

,

b

1

)

≠

(

m

2

,

b

2

)

, then

[

m

1

,

b

1

]

≠

[

m

2

,

b

2

]

, for any

m

1

,

m

2

,

b

1

,

b

2

∈

R

. Also, if

a

≠

b

, then

[

a

]

≠

[

b

]

, for any

a

,

b

∈

R

∪

{

∞

}

.

Proof.

The first assertion is true, since

(

∞

)

∈

[

a

]

-

[

m

,

b

]

,

(

m

)

∈

[

m

,

b

]

-

[

a

]

for any

a

∈

R

, and

(

0

,

b

)

∈

[

m

,

b

]

-

[

∞

]

.

If

m

1

≠

m

2

, then

(

m

1

)

∈

[

m

1

,

b

1

]

-

[

m

2

,

b

2

]

, while

(

m

2

)

∈

[

m

2

,

b

2

]

-

[

m

1

,

b

1

]

. If

b

1

≠

b

2

, then

(

0

,

0

*

m

1

*

b

1

)

=

(

0

,

b

1

)

≠

(

0

,

b

2

)

=

(

0

,

0

*

m

2

*

b

2

)

, so that

(

0

,

b

1

)

∈

[

m

1

,

b

1

]

-

[

m

2

,

b

2

]

, while

(

0

,

b

2

)

∈

[

m

2

,

b

2

]

-

[

m

1

,

b

1

]

.

Next, if

a

≠

∞

, then

(

a

,

0

)

∈

[

a

]

-

[

∞

]

, while

(

a

)

∈

[

∞

]

-

[

a

]

.

Finally, if

a

,

b

∈

R

with

a

≠

b

, then

(

a

,

0

)

∈

[

a

]

-

[

b

]

, while

(

b

,

0

)

∈

[

b

]

-

[

a

]

.∎

This shows that no two lines have the same “

coordinates

”. In fact, more is true:

Proposition 2

.

π

, with points and lines defined above, is indeed a projective plane.

Proof.

We need to verify that points and lines satisfy the axioms of projective plane.

1.

Axiom 1: two distinct points are

incident

with exactly one line. There are four cases:

–

Given

a

,

b

∈

R

∪

{

∞

}

, with

a

≠

b

, points

(

a

)

,

(

b

)

lie on line

[

∞

]

.

–

Given

x

,

y

∈

R

with

x

≠

y

, points

(

x

,

y

)

,

(

∞

)

lie on line

[

x

]

.

–

Given

x

,

y

,

m

∈

R

with

x

≠

y

, there is a unique

b

∈

R

such that

y

=

x

*

m

*

b

. Then points

(

x

,

y

)

,

(

m

)

lie on line

[

m

,

b

]

.

–

Given

x

1

,

y

1

,

x

2

,

y

2

∈

R

, with

(

x

1

,

y

1

)

≠

(

x

2

,

y

2

)

. If

x

1

=

x

2

=

x

, then points

(

x

1

,

y

1

)

,

(

x

2

,

y

2

)

lie on line

[

x

]

. Otherwise, there is a unique pair

(

m

,

b

)

such that

y

1

=

x

1

*

m

*

b

and

y

2

=

x

2

*

m

*

b

, so that both points lie on line

[

m

,

b

]

.

All lines above are unique by

proposition

1. From this, let us write

P

⁢

Q

for the line where points

P

,

Q

lie on.

2.

Axiom 2: two distinct lines are incident with exactly one point. In light of the previous axiom, all we need to show is that two distinct lines contain at least one point. There are three cases:

–

Given lines

[

a

]

,

[

c

]

with

a

,

c

∈

R

∪

{

∞

}

and

a

≠

c

, they both contain point

(

∞

)

.

–

Given lines

[

m

,

b

]

,

[

a

]

, if

a

=

∞

, then both contain point

(

m

)

, and if

a

≠

∞

, then both contain point

(

a

,

a

*

m

*

b

)

.

–

Given lines

[

m

1

,

b

1

]

,

[

m

2

,

b

2

]

, with

(

m

1

,

b

1

)

≠

(

m

2

,

b

2

)

. If

m

1

=

m

2

=

m

, then both lines contain point

(

m

)

. Otherwise, the equation

x

*

m

1

*

b

1

=

x

*

m

2

*

b

2

has a unique solution for

x

. Say the solution is

a

. Then both lines contain point

(

a

,

a

*

m

1

*

b

1

)

=

(

a

,

a

*

m

2

*

b

2

)

.

3.

Axiom 3: there exists a

quadrangle

. The four points are

(

0

,

0

)

,

(

1

,

1

)

,

(

0

)

,

(

∞

)

, and all six lines

(

0

,

0

)

⁢

(

1

,

1

)

=

[

1

,

0

]

,

(

0

,

0

)

⁢

(

0

)

=

[

0

,

0

]

,

(

0

,

0

)

⁢

(

∞

)

=

[

0

]

,

(

1

,

1

)

⁢

(

0

)

=

[

0

,

1

]

,

(

1

,

1

)

⁢

(

∞

)

=

[

1

]

, and

(

0

)

⁢

(

∞

)

=

[

∞

]

are all distinct. Hence they form a quadrangle.

Therefore,

π

is a projective plane.
∎

If one removes the line

[

∞

]

and all the points on it, then the resulting plane is an

affine plane

. In this regard,

R

can be used to coordinatize an affine plane. It is possible to construct the affine plane from

R

without the use of the line at infinity.

Given a projective plane, one can also construct a ternary ring that coordinatizes the plane. See this entry (

http://planetmath.org/TernaryRingOfAProjectivePlane

) for more detail.

References

1

R. Artzy,

Linear

Geometry

, Addison-Wesley (1965)

Title

projective plane of a ternary ring

Canonical name

ProjectivePlaneOfATernaryRing

Date of creation

2013-03-22 19:14:35

Last modified on

2013-03-22 19:14:35

Owner

CWoo (3771)

Last modified by

CWoo (3771)

Numerical id

11

Author

CWoo (3771)

Entry type

Definition

Classification

msc 51A35

Classification

msc 51E15

Classification

msc 51A25

Related topic

TernaryRingOfAProjectivePlane

Generated on Fri Feb 9 21:57:58 2018 by

LaTeXML