Супергруппа —
Ли, — групповой объект в категории супермногообразий. С. задается функтором точек из категории коммутативных супералгебр в категорию групп. На С. переносятся Ли теоремы, что дает соответствие между С. и конечномерными супералгебрами Ли [1, 2]. Примеры.
Математическая энциклопедия