@khovratovich слушай, такой оффтопик - а почему в пэйрингах таргет группу всегда записывают в мультипликативной форме, а исходные - чаще в аддитивной? Из-за того что в общем случае G_1 и G_2 - разные и, типа, поэтому пэйринг логически некоммутативен? Или бывает что G_T - неабелева? Насколько я понимаю, пэйринги - являются обобщением скалярного произведения, и если обозначать их не через e, а знаком *, в то время как все групповые операции в G_1, G_2, и G_T обозначить за +, то все свойства дистрибутивности запишутся в знакомом для глаза виде: (A + B)*C = A*C + B*C, A*(B + C) = A*B + A*C, ну и билинейнойсть будет очевидна: mA * nB = (mn)(A * B). И если немного нестандартно обозначить генераторы всех групп за единицы (при том, что сами группы записаны в аддитивной форме, и их нейтральные элементы - это нули), то условие невырожденности пэйринга будет записываться как 1*1 != 0 и 1*1 = 1. Мультипликативная форма, она что-то упрощает? или от чего-то предостерегает? Или является единственной корректной в общем случае? Или это просто традиция и дело вкуса? Вот... -)
