1. A divisor D is an element of the free abelian group on the points of the surface.

Дивизор D — это элемент свободной абелевой группы, порождённой точками поверхности.

2. A4 is the smallest group demonstrating that the converse of Lagrange's theorem is not true in general: given a finite group G and a divisor d of |G|, there does not necessarily exist a subgroup of G with order d: the group G = A4 has no subgroup of order 6.

A4 является наименьшей группой, показывающей, что теорема, обратная теореме Лагранжа, в общем случае, не верна — если дана конечная группа G и делитель d числа |G|, не обязательно существует подгруппа группы G с порядком d — группа G = A4 не имеет подгруппы порядка 6.