1: \begin{definition}

2: \labelDefinition{active representation in basis manifold, #1}

3: \ShowEq{ref active representation, #1}

4: automorphism $#4$ of the #2 $#3$

5: generates transformation

6: \DrawEq[{#4}]{active transformation}{#1}

7: of the basis manifold of #2.

8: This transformation is called

9: \AddIndex{active}{active transformation of basis}.

10: According to the theorem

11: \RefTheorem{group of automorphisms of #1},

12: we defined left\Hyph side representation

13: \ShowEq{active representation in basis manifold}

14: \ShowEq{active representation in basis manifold def}

15: of group $GA(f)$

16: in basis manifold $\mathcal B[f]$.

17: Representation $A(f)$ is called

18: \AddIndex{active representation}{active representation in basis manifold}.

19: According to the corollary

20: \RefCorollary{automorphism uniquely defined by image of basis, #1},

21: this representation is single transitive.

22: \qed

23: \end{definition}