Difference between revisions of "Net in finite geometry"
(Importing text file) |
m (Ivan moved page Net in finite geometry(2) to Net in finite geometry: no need for (2)) |
(No difference)
|
Revision as of 08:33, 19 October 2014
(update)
In the language of design theory (cf. Block design and the links given there), a net of order , degree
and index
(for short, an
-net) is the same as an affine resolvable
-design (see Tactical configuration; Affine design). Thus, it is an incidence structure
for which the set of blocks
is partitioned into parallel classes each of which in turn partitions the point set
, and such that any two non-parallel blocks intersect in exactly
points. Moreover, there are
parallel classes each consisting of
blocks; then each block has
points. The dual of an
-net is called a transversal design (denoted a
); in this setting, the parallel classes of blocks of a net become the point classes of the transversal design. In a more combinatorial language, a net is also equivalent to an orthogonal array of strength
. For detailed studies of nets, transversal designs and orthogonal arrays, see [a1] and [a3].
Any net satisfies the inequality
![]() | (a1) |
and equality holds if and only the net is an (affine) -design; then
is also called a complete net. If the dual transversal design is also resolvable (that is, if "not being joined" induces an equivalence relation on the point set of
), a stronger bound holds, namely
; in the case of equality (in which case the dual of
is again an
-net), it is referred to as a symmetric net (or a symmetric transversal design). The classical examples for complete nets are the affine designs
formed by the points and hyperplanes of the
-dimensional finite affine spaces
(cf. also Affine space) over the Galois field
of order
(so
is a prime power here); and the classical symmetric nets can be obtained from the complete ones by omitting all hyperplanes parallel to some selected line.
As of 2001, the outstanding problem in this area is the determination of the triples for which an
-net exists. This problem is exceedingly difficult; for instance, it includes the famous problem of deciding whether or not a projective plane of order not a prime power exists, and, more generally, the existence problem for affine designs (cf. also Affine design). Many constructions and a thorough discussion of the existence problem can be found in [a1], and an extensive set of tables is given in [a2].
In general, a net is not characterized just by its parameters. For instance, the number of non-isomorphic nets with the same parameters as grows exponentially with a growth rate of at least
, where
, and a similar assertion holds for symmetric nets. Hence, it is desirable to characterize the classical examples among the complete and symmetric nets. For instance, a symmetric net
with
and
in which every line (that is, the intersection of all blocks through two given points) has cardinality
is isomorphic to a classical example; see Affine design for similar results in the complete case. There is also considerable interest in nets with "nice" automorphism groups, for instance in translation nets, a generalization of the well-known translation planes (cf. Plane). As a further example, any generalized Hadamard matrix (see Hadamard matrix) is equivalent to a "class-regular" symmetric net. These topics are discussed in detail in [a1], see also [a4].
The case has received particular attention. An
-net is often called a Bruck net and is simply referred to as an
-net. Here the dual structure is denoted by
(see also Transversal system) and the corresponding orthogonal arrays are equivalent to sets of mutually orthogonal Latin squares. The Bruck nets satisfying the bound (a1) with equality are precisely the affine planes of order
(see also Affine space; Plane). An
-net is called maximal if it cannot be extended to an
-net by adding a new parallel class of lines. Any candidate for a new line necessarily is an
-set of points which meets every existing line in a unique point; such a set is called a transversal. Many known constructions of maximal nets actually yield transversal-free nets. A related problem is deciding whether or not a given net is maximal, and to find conditions guaranteeing that nets may be extended to larger nets. There is also considerable interest in determining the spectrum of all pairs
for which a maximal
-net exists, a problem even harder than the existence problem discussed above and in Orthogonal Latin squares. See [a1] for a detailed study of all these topics and [a2] for an extensive set of tables. For a survey emphasizing the geometric properties of nets as well as their automorphism groups, see [a4].
References
[a1] | T. Beth, D. Jungnickel, H. Lenz, "Design theory" , Cambridge Univ. Press (1999) (Edition: Second) |
[a2] | C.J. Colbourn, J.H. Dinitz, "The CRC handbook of combinatorial designs" , CRC (1996) |
[a3] | A.S. Hedayat, N.J.A. Sloane, J. Stufken, "Orthogonal arrays" , Springer (1999) |
[a4] | D. Jungnickel, "Latin squares, their geometries and their groups" D.K. Ray-Chaudhuri (ed.) , Coding Theory and Design Theory Part II , Springer (1990) pp. 166–225 |
Net in finite geometry. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Net_in_finite_geometry&oldid=33898