1: \begin{definition}

2: \labelDefinition{effective representation of algebra}

3: Let the map

4: \ShowEq{representation of algebra}

5: be an isomorphism of the $\Omega_1$\Hyph algebra $A_1$ into

6: \ShowEq{End O2}{A_2}.

7: Then the representation

8: \ShowEq{f:A->*B}f{A_1}{A_2}

9: of the $\Omega_1$\Hyph algebra $A_1$ is called

10: \AddIndex{effective}{effective representation}.\,\footnote{

11: See similar definition of effective representation of group in

12: \citeBib{Postnikov: Differential Geometry}, page 16,

13: \citeBib{Basic Concepts of Differential Geometry}, page 111,

14: \citeBib{Cohn: Algebra 1}, page 51

15: (Cohn calls such representation faithful).

16: See also the theorem

17: \RefTheorem{effective representation of multiplicative Omega-group}.

18: }

19: \qed

20: \end{definition}