Аналог понятия тождественного соотношения для теории формаций конечных групп

Abstract

The introduced here term of the e-identity allowed to define formations of finite groups by analogy with abstract varieties: as classes of finite groups which satisfy sets of identity relations (e-identities). Thereupon characteristic subgroups of free profinite group of infinity rank play the role of verbal subgroups for formations. Формации конечных групп определяются автором аналогично абстрактным многообразиям: как классы конечных групп, удовлетворяющих некоторому множеству тождественных соотно­шений (е-тождеств). В этой связи роль вербальных групп для формаций играют характеристи­ческие подгруппы свободной проконечной группы бесконечного ранга.