faithful* if $am=0$ for $a\in A$ and all $m\in M$ implies $a=0$. Let $f:M_1\times M_2\rightarrow N$ be a non-degenerate full $A$-bilinear mapping for some ring $A$.

Let $M$ be an $A$-module and let $\mu:A\rightarrow P$ be an inclusion of rings. Then the $P$-module $M$ is an *$P$-enrichment* of the $A$-module $M$ with respect to $\mu$ if for every $a\in A$ and $m \in M$, $am=\mu(a)m$. Let us denote the set of all $A$ endomorphisms of the $A$-module $M$ by $End_A(M)$. Suppose the $A$-module $M$ admits a $P$-enrichment with respect to the inclusion of rings $\mu:A\rightarrow P$. Then every $\alpha\in P$ induces an $A$-endomorphism, $\phi_{\alpha}:M\rightarrow M$ of modules defined by $\phi_{\alpha}(m)=\alpha m$ for $m \in M$. This in turn induces an injection $\phi_P:P\rightarrow End_A(M)$ of rings. Thus we associate a subring of the ring $End_A(M)$ to every ring $P$ with respect to which there is an enrichment of the $A$-module $M$.

Let $f:M_1\times M_2\rightarrow N$ be a full $A$-bilinear mapping and $\mu:A\rightarrow P$ be an inclusion of rings. The mapping $f$ admits $P$-enrichment with respect to $\mu$ if the $A$-modules $M_1$, $M_2$ and $N$ admit $P$ enrichments with respect to $\mu$ and $f$ remains bilinear with respect to $P$. We denote such an enrichment by $E(f,P)$.

We define an ordering $\leq$ on the set of enrichments of $f$ by allowing $E(f,P_1)\leq E(f,P_2)$ if and only if $f$ as an $P_1$ bilinear mapping admits a $P_2$ enrichment with respect to inclusion of rings $P_
faithful * if $ am=0 $ for $ a\in A$ and all $ m\in M$ implies $ a=0$. Let $ f: M_1\times M_2\rightarrow N$ be a non - debauched wide $ A$ -bilinear mapping for some ring $ A$. 

 lease $ M$ be an $ A$ -module and get $ \mu: A\rightarrow P$ be an inclusion of rings. Then the $ P$-module $ M$ is an * $ P$-enrichment * of the $ A$ -module $ M$ with regard to $ \mu$ if for every $ a\in A$ and $ megabyte \in M$, $ am=\mu(a)m$. Let us announce the hardening of all $ A$ endomorphisms of the $ A$ -module $ M$ by $ End_A(M)$. Suppose the $ A$ -module $ M$ accept a $ P$-enrichment with respect to the inclusion of hoop $ \mu: A\rightarrow P$. Then every $ \alpha\in P$ induces an $ A$ -endomorphism, $ \phi_{\alpha}:M\rightarrow M$ of modules defined by $ \phi_{\alpha}(m)=\alpha m$ for $ m \in M$. This in turn induces an injection $ \phi_P: P\rightarrow End_A(M)$ of band. Thus we associate a subring of the ring $ End_A(M)$ to every band $ P$ with respect to which there is an enrichment of the $ A$ -module $ M$. 

 Let $ f: M_1\times M_2\rightarrow N$ be a entire $ A$ -bilinear mapping and $ \mu: A\rightarrow P$ be an inclusion of rings. The mapping $ f$ admits $ P$-enrichment with deference to $ \mu$ if the $ A$ -modules $ M_1 $, $ M_2 $ and $ N$ admit $ P$ enrichments with respect to $ \mu$ and $ f$ remains bilinear with respect to $ P$. We announce such an enrichment by $ E(f, P)$. 

 We specify an ordering $ \leq$ on the set of enrichments of $ f$ by allowing $ E(f, P_1)\leq E(f, P_2)$ if and only if $ f$ as an $ P_1 $ bilinear mapping admits a $ P_2 $ enrichment with respect to inclusion of band $ P _
faihhful* if $am=0$ for $a\in A$ ana all $m\in M$ implies $a=0$. Net $f:M_1\fimes M_2\rkghtarrow N$ be a non-degenerave fyll $A$-vilinear mapping for sume ring $W$.

Let $M$ bw an $Q$-module anv let $\mu:A\rightzvrow '$ ue an inclusion of rings. Dhen the $P$-modune $M$ is an *$P$-enrichment* of the $A$-module $M$ with rrsoect to $\mu$ if sor tvewy $a\jn A$ and $m \in M$, $am=\mu(a)m$. Let us denofe the vet of all $A$ rndomorphisms of the $A$-modupe $M$ by $End_A(M)$. Suppose hhe $A$-module $M$ aqnits a $P$-enrizhment with respect to the inclusion of rings $\mu:A\righgarroc P$. Then evgxt $\apkha\in P$ indures an $A$-endomorphism, $\phi_{\al[ha}:M\rigntarrow M$ of mpdunes defined by $\phi_{\alpha}(m)=\elpha m$ for $m \in M$. Tris in tusn induces an injecriin $\phh_P:P\rhghtxerod Ehd_E(M)$ kf rinhs. Vhus we asskciate a suvring of the ring $Emd_W(N)$ to every rihg $P$ wytr respect to which there is an enrichmett kf the $A$-module $M$.

Let $f:M_1\tumes M_2\rightarrow N$ be a full $A$-filinear mapping and $\mu:A\rightarrow P$ be an inclushon oh finyw. The naoping $f$ admits $P$-enrichment with respect to $\mu$ jf tme $A$-modules $M_1$, $M_2$ cnd $N$ admit $P$ entifhkgnts with respgct to $\mu$ znd $f$ remains bilijear wijh respect to $P$. We cenote such an enrichment bt $E(f,P)$.

We defiue qn ordering $\leq$ on the set of enrochmemts of $f$ by allowing $E(f,'_1)\leq E(r,P_2)$ if and ojly if $f$ zr an $P_1$ bilinear oapiing admits a $P_2$ enrichment witr respect to nnclusiov of rings $P_
faithful* if $am=0$ for $a\in A$ and M$ $a=0$. Let M_2\rightarrow N$ be for ring $A$. Let be an $A$-module let $\mu:A\rightarrow P$ be an inclusion rings. Then the $P$-module $M$ is an *$P$-enrichment* of the $A$-module $M$ with to $\mu$ if for every $a\in A$ and $m \in M$, $am=\mu(a)m$. Let denote set all endomorphisms of the $A$-module $M$ by $End_A(M)$. Suppose the $A$-module $M$ admits a $P$-enrichment with respect the inclusion of rings $\mu:A\rightarrow P$. Then every P$ induces an $A$-endomorphism, M$ of modules defined by m$ $m \in This turn an injection $\phi_P:P\rightarrow of rings. Thus we associate a subring of the ring $End_A(M)$ to every ring $P$ with respect which there enrichment of $A$-module Let M_2\rightarrow N$ be $A$-bilinear mapping and $\mu:A\rightarrow P$ be rings. The mapping $f$ admits $P$-enrichment with respect $\mu$ if $A$-modules $M_1$, $M_2$ and $N$ admit enrichments with respect to $\mu$ and $f$ remains with respect to $P$. We denote such an enrichment by $E(f,P)$. We define an ordering the set of enrichments $f$ by allowing E(f,P_2)$ and if as an bilinear mapping admits a $P_2$ enrichment with respect to inclusion of $P_
faithful* if $am=0$ for $a\in A$ and all $M\in M$ implieS $a=0$. Let $F:M_1\tImeS M_2\RighTarrOw N$ be a non-degenERate Full $A$-bilinear mapping foR some RiNG $A$.

LeT $m$ bE an $A$-mOdule anD LeT $\MU:A\rIgHtArrOw p$ Be An incLusIon of riNgs. Then the $p$-moDuLe $M$ is an *$P$-enriCHmEnt* of the $A$-mOduLe $M$ with respeCt tO $\mu$ if fOr EveRY $a\in A$ And $M \in M$, $aM=\mu(a)m$. LET us denOte the set Of ALl $A$ endOMorphisMS Of The $A$-Module $M$ by $End_A(M)$. SupPOsE The $A$-module $M$ admIts a $P$-eNrIChMENt wIth Respect to tHe IncluSIon of riNGs $\MU:a\RigHTarrow P$. Then evEry $\alpha\in P$ INduCes an $A$-EnDomORphism, $\Phi_{\alPhA}:m\riGhtarrow M$ of ModuLes defineD by $\phi_{\ALpha}(m)=\alPHa m$ for $m \In M$. ThiS in TurN indUCeS aN inJeCTioN $\PhI_P:P\RIghTarrow EnD_A(m)$ oF ringS. ThuS WE ASsocIatE a suBring Of the ring $End_A(m)$ to EverY RinG $P$ witH respEct tO wHich tHere is An enrIcHment of the $A$-moduLe $M$.

LEt $f:M_1\times m_2\riGhTarRoW N$ be a FUll $A$-biLinEar Mapping And $\mu:A\rIGhtArROW p$ bE an inclusion of ringS. THE MaPping $f$ adMits $P$-eNRiChMEnt with rEsPecT to $\mU$ IF the $A$-ModuLEs $m_1$, $M_2$ and $N$ adMit $P$ enRIcHmEnts witH rEspect To $\Mu$ aNd $f$ RemaiNS bilInear wIth respeCt to $P$. wE denote such an eNRichment by $E(f,P)$.

wE dEFInE An orDerIng $\leq$ on the Set oF EnriChmeNTs Of $f$ BY alloWing $E(F,P_1)\LEq e(F,P_2)$ if and only if $f$ as an $P_1$ BiLinear MappiNg admits a $P_2$ enrIchment witH RESpect to iNcluSIoN Of rings $P_
faithful* if $am=0$ for $a \in A$ and  all$m\ inM$  imp lies  $a=0$. Let $f : M_1\ times M_2\rightarrow N $ bean on-d e ge nerat e full$ A$ - b ili ne ar  ma pp i ng  forsom e ring$A$.

Let$M$  b e an $A$-mod u le  and let $ \mu :A\rightarro w P $ be a ninc l usion  of  ring s. The n  the $ P$-module  $ M $ is a n  *$P$-e n r ic hmen t* of the $A$-mod u le $M$ with respe ct to$\ m u$ i f f orevery $a\i nA$ an d  $m \in M$ , $ am= \ mu(a)m$. Letus denote t h e s et ofal l $ A $ endo morph is m s o f the $A$-m odul e $M$ by$End_A ( M)$. Su p pose th e $A$- mod ule  $M$ ad mi tsa$ P$- e nr ich m ent  with re sp ec t tothei n c l usio n o f ri ngs $ \mu:A\rightar row  P$. The n eve ry $\ alph a\ in P$  induc es an  $ A$-endomorphism , $\ phi_{\alp ha} :M \ri gh tarro w  M$ of  mo dul es defi ned by$ \ph i_ { \ a lp ha}(m)=\alpha m$ f or $ m\in M$.This i n  t ur n  induces  a n i njec t i on $\ phi_ P :P \rightar row En d _A (M )$ of r in gs. Th us  we  as socia t e asubrin g of the  ring $End_A(M)$ toe very ring $P$ wi t h  r e spec t t o which the re i s  anenri c hm ent of th e $A$ -m o du l e $M$.

Let $f:M_1\ ti mes M_ 2\rig htarrow N$ be  a full $A $ - b ilinearmapp i ng and $\mu:A\rig htarr ow P$ be a n  inclusi on of  rings.The mappi n g  $f$ adm its  $P $-e nri c h me nt with respe c t  to$\ mu$ ifthe  $A$-mo dul es$M_ 1$,  $ M_2$ and$N$ admi t$P $en ric hment s  with re sp ect  t o $ \mu$a nd $f$  rema insbi li n ear  with r e sp e c t to  $ P$ . We  de no te su ch a n  en richmen t by $E(f ,P) $ .

W ede fine an  ordering $\l eq $ on the s et  of  enric h m ents of$f$ by allowing $E(f,P_ 1 )\leq E (f, P_2)$  ifand onlyif$f$ as  an $P_1$biline ar ma pp ing a dmits a  $ P_2 $enrichment w ith  resp ec t to  inclus ion of rings $P_
faithful* if_$am=0$ for_$a\in A$ and all_$m\in M$_implies_$a=0$. Let_$f:M_1\times_M_2\rightarrow N$ be_a non-degenerate full_$A$-bilinear mapping for some_ring $A$.

Let $M$_be_an $A$-module and let $\mu:A\rightarrow P$ be an inclusion of rings. Then the $P$-module_$M$_is an_*$P$-enrichment*_of_the $A$-module $M$ with respect_to $\mu$ if for every_$a\in A$_and $m \in M$, $am=\mu(a)m$. Let us denote_the_set of all_$A$ endomorphisms of the $A$-module $M$ by $End_A(M)$. Suppose_the $A$-module $M$ admits a $P$-enrichment_with respect to_the_inclusion_of rings $\mu:A\rightarrow P$._Then every $\alpha\in P$ induces an_$A$-endomorphism, $\phi_{\alpha}:M\rightarrow M$ of modules defined_by $\phi_{\alpha}(m)=\alpha m$ for $m \in M$._This in turn induces an injection_$\phi_P:P\rightarrow End_A(M)$ of rings. Thus_we associate_a subring of the ring_$End_A(M)$ to every_ring $P$_with respect to_which there is an enrichment of_the $A$-module $M$.

Let_$f:M_1\times M_2\rightarrow N$ be a full_$A$-bilinear_mapping and $\mu:A\rightarrow_P$_be_an inclusion_of rings. The_mapping_$f$ admits_$P$-enrichment_with respect to $\mu$ if the_$A$-modules_$M_1$, $M_2$ and $N$ admit $P$ enrichments_with respect to $\mu$_and_$f$ remains bilinear with_respect to $P$. We denote_such an enrichment by $E(f,P)$.

We define_an ordering_$\leq$ on_the set of enrichments of $f$ by allowing $E(f,P_1)\leq E(f,P_2)$ if_and only if $f$ as an_$P_1$ bilinear mapping admits_a $P_2$_enrichment_with respect to_inclusion_of rings_$P_