Рассмотрим сумму двух эрмитовых матриц A и B. Это снова будет эрмитова матрица. В 1912 году Герман Вейль задался таким вопросом: что можно сказать о ее собственных значениях, если известны собственные значения матриц A и В? Во-первых, ясно, что след A+B будет равен сумме следов исходных матриц; во-вторых, наибольшее собственное значение A+B не превосходит суммы наибольших собственных значений A и B. А какие еще есть ограничения? В 1962 году Альфред Хорн выписал ряд неравенств на собственные значения матриц A, B и A+B и сформулировал гипотезу о том, что это полный набор условий. В 1999 году А.А.Клячко свел эту гипотезу к так называемой гипотезе о насыщении. Они же предложили описание неравенств Хорна при помощи диаграмм или «сот», которые имеют самое прямое отношение к теории представлений полной линейной группы GL(n).

Исчислительная геометрия занимается подсчетом числа геометрических объектов, удовлетворяющих данных условиям. Первой задачей исчислительной геометрии принято считать задачу Аполлония (III в. до н.э.) о числе окружностей, касающихся трех данных окружностей. Как известно всем любителям геометрии, таких окружностей может быть не более восьми, и все их можно построить циркулем и линейкой. С точки зрения проективной геометрии окружности можно рассматривать как коники (кривые второго порядка) на комплексной проективной плоскости, проходящие через две фиксированные бесконечно удаленные точки. Поэтому задача Аполлония есть задача о подсчете числа коник, заданных пятью условиями (прохождение через две точки и касание трех коник). В 1848 году Якоб Штейнер обобщил эту задачу: он предложил найти число коник, касающихся пяти данных коник.

Группы отражений являются дискретной группой движений пространства постоянной кривизны (сфера, евклидово или гиперболическое пространство), которая порождается множеством отражений. Группы отражений появляются удивительно часто в различных алгебраических задач.