例外リー群E_8の有限部分群 H で (Z/2)^5と同型でE_8の随伴表現をこの群に制限すると8(正則表現 - 8)になるものが存在する。