


























An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $π$ be any projective plane of order $p$. For any partial linear space ${\cal X}$, define the inclusion number $i({\cal X},π)$ to be the number of isomorphic copies of ${\cal X}$ in $π$. In this paper we prove that if ${\cal X}$ has at most $\log_2 p$ lines, then $i({\cal X},π)$ can be written as an explicit rational linear combination (depending only on ${\cal X}$ and $p$) of the coefficients of the complete weight enumerator (c.w.e.) of the $p$-ary code of $π$. Thus, the c.w.e. of this code carries an enormous amount of structural information about $π$. In consequence, it is shown that if $p > 2^ 9=512$, and $π$ has the same c.w.e. as $PG(2,\mathbb{F}_p)$, then $π$ must be isomorphic to $PG(2,\mathbb{F}_p)$. Thus, the uniqueness conjecture can be approached via a thorough study of the possible c.w.e. of the codes of putative projective planes of prime order.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。