PanLinx
русский
rus-000
разложение в прямую сумму
English
eng-000
direct sum decomposition
PanLex