В математике матроиды Коксетера являются обобщением матроидов, зависящим от выбора группы Коксетера W и параболической подгруппы P. Обычные матроиды соответствуют случаю, когда P является максимальной параболической подгруппой симметрической группы W. Они были введены Гельфандом и Сергановой (1987, 1987b), которые назвали их в честь HSM Coxeter .
Боровик, Гельфанд и Уайт (2003) дают подробный отчет о матроидах Коксетера.
Предположим, что W — группа Коксетера, порождённая множеством инволюций S , а P — параболическая подгруппа (подгруппа, порождённая некоторым подмножеством S ). Матроид Коксетера — это подмножество M из W / P , которое для каждого w из W содержит единственный минимальный элемент относительно порядка w — Брюа .
Предположим, что группа Коксетера W является симметрической группой S n , а P является параболической подгруппой S k × S n – k . Тогда W / P можно отождествить с k -элементными подмножествами n -элементного множества {1,2,..., n } , а элементы w из W соответствуют линейным порядкам этого множества. Матроид Коксетера состоит из k -элементных множеств, таких что для каждого w существует уникальный минимальный элемент в соответствующем порядке Брюа k -элементных подмножеств. Это в точности определение матроида ранга k на n -элементном множестве в терминах базисов: матроид можно определить как некоторые k -элементные подмножества, называемые базисами n -элементного множества, такие что для каждого линейного порядка множества существует уникальная минимальная база в порядке Гейла k -элементных подмножеств.