Dowling geometry

From Wikipedia, the free encyclopedia

In combinatorial mathematics, a Dowling geometry (sometimes called Dowling matroid) is a matroid associated with a group. There is a Dowling geometry of each rank for each group. If the rank is at least 3, the Dowling geometry uniquely determines the group.

A Dowling lattice is the lattice of closed sets associated with a Dowling geometry. The lattice and the geometry are mathematically equivalent: knowing either one determines the other. Dowling lattices, and by implication Dowling geometries, were introduced by Dowling (1973a,b).

A Dowing lattice or geometry of rank n of a group G is often denoted Q_n(G).

1 The original definitions
2 Graphical definitions
3 Generalizations
4 References

[edit] The original definitions

In his first paper (1973a) Dowling defined the rank-n Dowling lattice of the multiplicative group of a finite field F. It is the set of all those subspaces of the vector space Fⁿ that are generated by subsets of the set E that consists of vectors with at most two nonzero coordinates. The corresponding Dowling geometry is the set of 1-dimensional vector subspaces generated by the elements of E.

In his second paper (1973b) Dowling gave an intrinsic definition of the rank-n Dowling lattice of any group G. Let S be the set {1,...,n}. A G-labelled set (T, α) is a set T together with a function α: T --> G. Two G-labelled sets, (T, α) and (T, β), are equivalent if there is a group element, g, such that β = gα. An equivalence class is denoted [T, α]. A partial G-partition of S is a set γ = {[B₁,&alpha₁], ..., [B_k,α_k]} of equivalence classes of G-labelled sets such that B₁,...,B_k are nonempty subsets of S that are pairwise disjoint. (k may equal 0.) A partial G-partition γ is said to be ≤ another one, γ*, if

every block B_i of the first one is contained in a block B*_j of the second one,

every block of the second is a union of blocks of the first, and

for each B_i contained in B*_j, α_i is equivalent to the restriction of α_j* to domain B_i.

This gives a partial ordering of the set of all partial G-partitions of S. The resulting partially ordered set is the Dowling lattice Q_n(G).

[edit] Graphical definitions

A graphical definition was then given by Doubilet, Rota, and Stanley (1972). We give the slightly simpler (but essentially equivalent) graphical definition of Zaslavsky (1991), expressed in terms of gain graphs.

Take n vertices, and between each pair of vertices, v and w, take edges labelled by all possible elements of the group G. The edges are oriented, in that, if the label in the direction from v to w is the group element g, then the label of the same edge in the opposite direction, from w to v, is g⁻¹. The label of an edge therefore depends on the direction of the edge; such labels are called gains. Also add to each vertex a loop whose gain is any value other than 1. (1 is the group identity element.) This gives a graph which is called GK_n^o (note the raised circle).

A cycle in the graph then has a gain. The cycle is a sequence of edges, e₁e₂···e_k. Suppose the gains of these edges, in a fixed direction around the cycle, are g₁, g₂, ..., g_k. Then the gain of the cycle is the product, g₁g₂···g_k. The value of this gain is not completely well defined, since it depends on the direction chosen for the cycle and on which is called the "first" edge of the cycle. What is independent of these choices is the answer to the following question: is the gain equal to 1 or not? If it equals 1 under one set of choices, then it is also equal to 1 under all sets of choices.

To define the Dowling geometry, we specify the circuits (minimal dependent sets). The circuits of the matroid are

the cycles whose gain is 1,
the pairs of cycles with both gains not equal to 1, and which intersect in a single vertex and nothing else, and
the theta graphs in which none of the three cycles has gain equal to 1.

Thus, the Dowling geometry Q_n(G) is the bias matroid or frame matroid of the gain graph GK_n^o (the raised circle denotes the presence of loops). Other, equivalent definitions are described in the article on gain graphs.

[edit] Generalizations

There is also a Dowling geometry, of rank 3 only, associated with each quasigroup; see Dowling (1973b). This does not generalize in a straightforward way to higher ranks. There is a generalization due to Zaslavsky (t.a.) that involves n-ary quasigroups.

[edit] References

Peter Doubilet, Gian-Carlo Rota, and Richard P. Stanley (1972), On the foundations of combinatorial theory (VI): The idea of generating function. In: Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability (Berkeley, Calif., 1970/71), Vol. II: Probability Theory, pp.\ 267-318. University of California Press, Berkeley, Calif., 1972.
T.A. Dowling (1973a), A q-analog of the partition lattice. Chapter 11 in: J.N. Srivastava et al., eds., A Survey of Combinatorial Theory (Proceedings of an International Symposium, Ft. Collins, Colo., 1971), pp. 101-115. North-Holland, Amsterdam, 1973.
T.A. Dowling (1973b), A class of geometric lattices based on finite groups. Journal of Combinatorial Theory Series B, Vol. 14 (1973), pp. 61-86.
Thomas Zaslavsky (1991), Biased graphs. II. The three matroids. Journal of Combinatorial Theory Series B, Vol. 51, pp. 46-72.
Thomas Zaslavsky (t.a.), Associativity in multary quasigroups: The way of biased expansions. Submitted for publication.