Resolution (block plan)

from Wikipedia, the free encyclopedia

A resolution of a 2- block plan (a special incidence structure ) is a generalization of the parallelism of block plans in finite geometry . The partition of the set of d -dimensional subspaces as blocks of an affine geometry in sets of parallels is a 1-resolution of this geometry as a 2-block plan. A block plan that allows a resolution is called a dissolvable block plan , with this resolution the block set breaks down into a maximum number c of generalized sets of parallels , then one speaks of a strong dissolution and calls the block plan strongly dissolvable .

Definitions

  • Be a block plan. A resolution of is a partition of the block set of into flocks such that there are positive integers with the property that each point in lies within exactly blocks of . The numbers are called the parameters of the resolution. If all parameters of a resolution are the same , one speaks of a resolution.
  • A block plan is called dissolvable or - dissolvable if it has a resolution or a resolution.
  • If a resolvable block plan with c classes is valid , then this resolution is called strong resolution of the block plan and the block plan is called strongly resolvable .
  • If two blocks of a resolvable block diagram are in the same class , then one also writes and names the blocks in parallel with regard to the resolution . The generalized parallelism defined in this way is obviously an equivalence relation on the set of blocks.
  • For a resolution you set the number of blocks in the family .

properties

Be a block diagram that has a resolution with the parameters . Then applies

  1. If has a -resolution, then k is a divisor of and each class has the same number m of blocks.
  • If there is a resolvable block diagram with c classes, then is . A strong resolution is therefore a resolution with the block for the amount of maximum number of crowds.

Hughes and Piper theorem about strong resolutions

  • The following theorem by Hughes and Piper characterizes the strong resolutions:
Let be a block diagram with b blocks that has a resolution . Then and equality applies if and only if there are two non-negative numbers ("inner number of cuts") and ("outer number of cuts") with the following properties:
  • Every two different blocks of the same class always have exactly intersections and
  • Every two blocks from different classes always have exactly intersections.

Beker's Theorem about Solvable 3-Block Plans

  • The set of Beker clarifies the question of when a highly resolvable block plan is a three-block plan:
The highly resolvable 3-block plans are exactly the Hadamard 3-block plans .

Examples

  • Each block diagram has the trivial resolution , i.e. H. every block plan can be r resolved. - In a block diagram, the number indicates with how many blocks a given point is incised.
  • If there is a dissolution of , then a dissolution of is obtained again when certain groups are united to form a new group. For example, and again are resolutions of .
  • A block diagram can only be 1-resolved if it has parallelism. The resolution is the division of the block quantity into sets of parallel and it applies that the inner number of cuts is then , but the outer number of cuts need not be constant.
  • In particular, an affine geometry with its usual parallelism is 1-solvable and it then applies , that is, the number of parallels in each family is the same, the outer number of intersections is constant, if the block set is the set of hyperplanes of space.
  • Every affine block plan can be 1-resolved due to its parallelism, here too is the same for every set of parallels.

Generalization: Tactical Decomposition

Each resolution of a 2-block plan also provides a special tactical breakdown of this block plan. With this generalization of the concept of “dissolving a block plan”, in addition to the partitioning of the block set into (generalized parallels) families, the point set is also broken down into several “point classes” .

literature

Articles on individual questions
  • Daniel R. Hughes, Fred C. Piper: On resolutions and Bose's theorem . In: Geom. Dedicata . tape 5 , 1976, p. 129-133 , doi : 10.1007 / BF00148147 .
  • Henry Beker: On strong tactical decompositions . In: Journal of the London Mathematical Society . tape 16 , 1977, pp. 191–196 ( abstract [accessed May 2, 2013]).
Textbooks
  • Albrecht Beutelspacher : Introduction to finite geometry I . Block plans. Bibliographische Institut, Mannheim / Vienna / Zurich / New York 1982, ISBN 3-411-01632-9 , Chapter 5. Resolutions and decompositions, pp. 196–240.
  • Thomas Beth , Dieter Jungnickel , Hanfried Lenz : Design Theory . BI Wissenschaftsverlag, Mannheim 1986, ISBN 0-521-33334-2 .
  • DR Hughes, FC Piper: Projective planes . Springer, Berlin / Heidelberg / New York 1973 (Here the solvability is only defined and examined for the special cases of affine geometries.).

Individual evidence

  1. a b c d Beutelspacher (1982)
  2. Beutelspacher (1982), Lemma 5.1.1
  3. Beutelspacher (1982), Corollary 5.1.2
  4. Hughes, Piper (1976); Beutelspacher (1982), main clause 5.1.9
  5. Beker (1977)
  6. Beutelspacher (1982), sentence 5.1.10