Вот есть экспонента аддитивной группы

— НОК порядков всех элементов группы. Её ещё можно определить как целое число, порождающее идеал

. Я правильно, понимаю, что можно обобщить группу до модуля над коммутативным кольцом, то есть экспонента

-модуля

— это идеал

. Это понятие где-нибудь используется?