https://123dok.org/document/qo5pn9d0-representations-of-finite-groups-basic-results.html