词条 | Generalized quadrangle |
释义 |
In geometry, a generalized quadrangle is an incidence structure whose main feature is the lack of any triangles (yet containing many quadrangles). A generalized quadrangle is by definition a polar space of rank two. They are the {{nowrap|generalized n-gons}} with n = 4 and near 2n-gons with n = 2. They are also precisely the partial geometries pg(s,t,α) with α = 1. DefinitionA generalized quadrangle is an incidence structure (P,B,I), with I ⊆ P × B an incidence relation, satisfying certain axioms. Elements of P are by definition the points of the generalized quadrangle, elements of B the lines. The axioms are the following:
(s,t) are the parameters of the generalized quadrangle. The parameters are allowed to be infinite. If either s or t is one, the generalized quadrangle is called trivial. For example, the 3x3 grid with P = {1,2,3,4,5,6,7,8,9} and B = {123, 456, 789, 147, 258, 369} is a trivial GQ with s = 2 and t = 1. A generalized quadrangle with parameters (s,t) is often denoted by GQ(s,t). The smallest non-trivial generalized quadrangle is GQ(2,2), whose representation has been dubbed "the doily" by Stan Payne in 1973. PropertiesGraphsThere are two interesting graphs that can be obtained from a generalized quadrangle.
DualityIf (P,B,I) is a generalized quadrangle with parameters (s,t), then (B,P,I−1), with I−1 the inverse incidence relation, is also a generalized quadrangle. This is the dual generalized quadrangle. Its parameters are (t,s). Even if s = t, the dual structure need not be isomorphic with the original structure. Generalized quadrangles with lines of size 3There are precisely five (possible degenerate) generalized quadrangles where each line has three points incident with it, the quadrangle with empty line set, the quadrangle with all lines through a fixed point corresponding to the windmill graph Wd(3,n), grid of size 3x3, the W(2) quadrangle and the unique GQ(2,4). These five quadrangles corresponds to the five root systems in the ADE classes An, Dn, E6, E7 and E8 , i.e., the simply laced root systems. See [1] and.[2] Classical generalized quadranglesWhen looking at the different cases for polar spaces of rank at least three, and extrapolating them to rank 2, one finds these (finite) generalized quadrangles :
(this is just a grid)
The generalized quadrangle derived from is always isomorphic with the dual of , and they are both self-dual and thus isomorphic to each other if and only if is even. Non-classical examples
Restrictions on parametersBy using grids and dual grids, any integer z, z ≥ 1 allows generalized quadrangles with parameters (1,z) and (z,1). Apart from that, only the following parameters have been found possible until now, with q an arbitrary prime power : and and and References1. ^Cameron P.J.; Goethals, J.M.; Seidel, J.J; Shult, E. E. Line graphs, root systems and elliptic geometry 2. ^http://www.win.tue.nl/~aeb/2WF02/genq.pdf
2 : Incidence geometry|Set families |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。