Reduktiva algebraiska grupper, 7,5 hp