فرض کنیم g یک گروه متناهی از مرتبه |g|= p_1^(?_1 ) p_2^(?_2 )…p_n^(?_n ) باشد که p_i اعداد اول هستند و p_1<p_2<?<p_n است. یکی از معروف ترین گرااف های مرتبط با با g گراف اول آن است که با ?(g) یا gk(g) نمایش داده شود. این گراف به صورت زیر ساخته می شود. مجموعه رئوس آن ?(g)={p_1,p_2,…,p_n } و دو راس p_i و p_j که i?j مجاورند (با یال به هم وصل می شوند) اگر و تنها اگر g شامل عضوی از مرتبه p_i p_j باشد...