История

Хотя в алгебре «действительных чисел» используются отношения а) (+)*(+) = +, б) (+)*(-) = —, в) (-)*(+) = —, г) (-)*(-) = +, но в теории групп уже появляется три полярных объекта а/а = е. Здесь е — единица такая, что (е)*(е) = е, (е)*(а) = а.

Если посмотреть внимательно, то + выполняет роль единицы, но в двухполярном отношении, так, что (+)*(+) = +.

Конечно, в теорию групп вошли понятия из «арифметического опыта», но то, что деление «растягивает» пространство, увеличивая его на одну полярность, никто не заметил. Если бы это математики заметили, то алгебра трёхполярных отношений выглядела бы иначе, чем алгебра действительных чисел. Кстати, именно, на связь с действительным миром нацелились теория групп, кольцо, поле, тело и прочие изобретения «опосля», то есть после опыта в арифметике.