https://9dok.net/document/y6e48g34-problem-sheet-lie-groups-representations.html