Some new results on sets of type (m,n) in projective planes (Q1822354): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Property / reviewed by
 
Property / reviewed by: Q676707 / rank
Normal rank
 

Revision as of 23:12, 21 February 2024

scientific article
Language Label Description Also known as
English
Some new results on sets of type (m,n) in projective planes
scientific article

    Statements

    Some new results on sets of type (m,n) in projective planes (English)
    0 references
    0 references
    1987
    0 references
    A set K in a projective plane is said to be of type (m,n) if, for each line \(\ell,| K\cap \ell |\) is either m or n. Here \(0\leq m<n\leq q+1\), where q is the order of the plane. Let \(| K| =k\). It follows that \(k^ 2-k[(m+n)(q+1)-q]+mn(q^ 2+q+1)=0\). The author proves that if \(m=1\) and \(q=p^ k(n-1)\) for some prime p, then K is either a Baer subplane or a unital. If \(m=1\) and \(n\geq 4\) then the two solutions for the above equation in k and the value of q can be expressed in terms of \(P_{s-1}(n)\), \(P_ s(n)\), \(P_{s+1}(n)\), where \(P_ s(n)\) satisfies the recurrence relation \[ P_ s(n)=(n- 2)P_{s-1}(n)+ 1- P_{s-2}(n),\text{ where } P_ 0(n)=0\text{ and } P_ 1(n)=1. \] (This last result does not require \(q=p^ k(n-1).)\) Suppose that (1) \((n-m)^ 2\geq q\), (2) g.c.d.\((m,n)=\) g.c.d.\((m-1,n- 1)=1.\) The author shows that then q is a square, \(n=m+\sqrt{q}\) and \(k=m(q+\sqrt{q}+1)\) or \(k=(m+\sqrt{q})(q-\sqrt{q}+1).\)
    0 references
    projective plane
    0 references
    Baer subplane
    0 references
    unital
    0 references

    Identifiers