Hubbry Logo
search
logo
929815

Uniform matroid

logo
Community Hub0 Subscribers
Write something...
Be the first to start a discussion here.
Be the first to start a discussion here.
See all
Uniform matroid

In mathematics, a uniform matroid is a matroid in which the independent sets are exactly the sets containing at most r elements, for some fixed integer r. An alternative definition is that every permutation of the elements is a symmetry.

The uniform matroid is defined over a set of elements. A subset of the elements is independent if and only if it contains at most elements. A subset is a basis if it has exactly elements, and it is a circuit if it has exactly elements. The rank of a subset is and the rank of the matroid is .

A matroid of rank is uniform if and only if all of its circuits have exactly elements.

The matroid is called the -point line.

The dual matroid of the uniform matroid is another uniform matroid . A uniform matroid is self-dual if and only if .

Every minor of a uniform matroid is uniform. Restricting a uniform matroid by one element (as long as ) produces the matroid and contracting it by one element (as long as ) produces the matroid .

The uniform matroid may be represented as the matroid of affinely independent subsets of points in general position in -dimensional Euclidean space, or as the matroid of linearly independent subsets of vectors in general position in an -dimensional real vector space.

Every uniform matroid may also be realized in projective spaces and vector spaces over all sufficiently large finite fields. However, the field must be large enough to include enough independent vectors. For instance, the -point line can be realized only over finite fields of or more elements (because otherwise the projective line over that field would have fewer than points): is not a binary matroid, is not a ternary matroid, etc. For this reason, uniform matroids play an important role in Rota's conjecture concerning the forbidden minor characterization of the matroids that can be realized over finite fields.

See all
User Avatar
No comments yet.