Алгебрична комбінаторика

Кільце симетричних функцій є своєрідною границею кілець симетричних многочленів від n змінних при n, що прямує до нескінченності. Це кільце слугує універсальною структурою, в якій зв'язки між симетричними многочленами можна виразити без прив'язки до числа змінних (але елементи кільця не є ні многочленами, ні функціями). Крім усього іншого, це кільце відіграє важливу роль у теории представлений симметрических групп.

Схема відношень — це набір бінарних відношень, які задовольняють певним умовам сумісності. Схеми відношень дають однаковий підхід до багатьох розділів, наприклад, комбінаторних схем і теорії кодування[1][2]. В алгебрі схеми відношень узагальнюють групи, а теорія схем відношень узагальнює теорію характерів лінійних представлень груп[3][4][5].

Сильно регулярний граф визначають таким чином. Нехай G = (V,E) — регулярний граф з v вершинами і степенем k. Кажуть, що G сильно регулярний, якщо існують цілі числа λ і μ, такі, що:

• Будь-які дві суміжні вершини мають λ спільних сусідів.
• Будь-які дві несуміжні вершини мають μ спільних сусідів.

Графи такого виду іноді позначаються srg(v, k, λ, μ).

Деякі автори виключають графи, які відповідають визначенню тривіально, а саме ті графи, які є об'єднанням (одного і більше) однакових повних графів[6][7], і їх доповнення, що не перетинаються, графи Турана.

Діаграми Юнга — комбінаторні об'єкти, корисні в теорії представлень і численні Шуберта. Вони дають зручний спосіб опису представлень симетричних груп і повних лінійних груп і дозволяють вивчати властивості цих об'єктів. Діаграми запропонував Альфред Юнг, математик Кембриджського університету, в 1900 році. В 1903 році їх застосував для вивчення симетричних груп Фердинанд Фробеніус. Пізніше їх теорію розвинули багато математиків, серед яких Персі Макмагон, В. В. Д. Годж, Г. де Б. Робінсон, Д.-К. Рота, Ален Ласку, М.-П. Шютценберже і Річард Стенлі.

Матроїд — це структура, яка вбирає й узагальнює поняття лінійної незалежності у векторних просторах. Є багато еквівалентних шляхів визначення матроїда, і найважливіші з них — у термінах незалежних множин, баз, замкнених множин чи площин, операторів замикання і функцій рангу.

Теорія матроїдів значною мірою запозичує термінологію з лінійної алгебри та теорії графів, переважно в тому, що в ній використовуються абстракції різних центральних понять із цих галузей, з топології, комбінаторної оптимізації, теорії мереж та теорії кодування[8][9].

Скінченна геометрія — це будь-яка геометрична система, що має лише скінченне число точок.

Звичайна евклідова геометрія не є скінченною, оскільки евклідова пряма містить нескінченно багато точок. Геометрію, засновану на графіці комп'ютерного екрана, де пікселі вважаються точками, можна вважати скінченною геометрією. Хоча існує багато систем, які можна було б вважати скінченними геометріями, переважно увагу приділяють скінченним проєктивним і афінним просторам зважаючи на їх регулярність і простоту. Інші суттєві типи скінченних геометрій — скінченні площини Мебіуса або інверсні площині та площини Лагерра, які є прикладами більш загальних об'єктів, званих площинами Бенца, і їх аналогами у вищих розмірностях, таких як скінченні інверсійні геометрії.

Скінченні геометрії можна побудувати за допомогою лінійної алгебри, починаючи з векторних просторів над скінченними полями. Афінні і проєктивні площини, побудовані таким чином, називають геометріями Галуа. Скінченні геометрії можна також визначити чисто аксіоматично. Найпоширеніші скінченні геометрії — геометрії Галуа, оскільки будь-який скінченний проєктивний простір розмірності три і більше ізоморфний проєктивному простору над скінченним полем. Проте в розмірності два є афінні і проєктивні площини, які не ізоморфні геометріям Галуа, а саме, недезаргові площини. Схожі результати мають місце для інших видів скінченних геометрій.