1: \begin{definition}
2: \labelDefinition{active representation in basis manifold, #1}
3: \ShowEq{ref active representation, #1}
4: автоморфизм $#4$ #2 $#3$
5: порождает преобразование
6: \DrawEq[{#4}]{active transformation}{#1}
7: многообразия базисов #2.
8: Это преобразование называется
9: \AddIndex{активным}{active transformation of basis}.
10: Согласно теореме
11: \RefTheorem{group of automorphisms of #1},
12: определено левостороннее представление
13: \ShowEq{active representation in basis manifold}
14: \ShowEq{active representation in basis manifold def}
15: группы $GA(f)$
16: в многообразии базисов $\mathcal B[f]$.
17: Представление $A(f)$ называется
18: \AddIndex{активным представлением}{active representation in basis manifold}.
19: Согласно следствию
20: \RefCorollary{automorphism uniquely defined by image of basis, #1},
21: это представление однотранзитивно.
22: \qed
23: \end{definition}