_2=\mu$; moreover, $\sum_{i\in I} S^jf_{1i}\otimes f_{2i}\otimes u_i=0$ for all $j\geq2$. But we see that $\sum_{i\in I} S^2f_{1i}\otimes f_{2i}\otimes u_i\neq0$ by choosing $f_{1i}$ to be of form $t^{n_i}$ for $i\in I$, a contradiction. This shows $  \mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i,h_i(t)\big)\otimes M.$ Similarly, one has $$\mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i, h_i(t)\big)\otimes\otimes_{i=1}^m\Omega(\lambda_i,\alpha_i)\otimes M.$$ And the non-isomorphisms $\mathcal{M}\big(V,\mu,$ $\Omega(1,\alpha)\big)\ncong A_b$ and $\mathcal{M}\big(V,\mu,\Omega(1,\alpha)\big)\ncong\widetilde{\mathcal M}\big(W,\gamma(t)\big)$ follows immediately by using Proposition \[pro13.3\], completing the proof.

Now we can conclude this section with the following corollary.

Let $ \lambda,\alpha,1\neq \mu\in\C^*$ and $V$ be a simple $\H$-module in $\mathcal C$. Suppose that $V$ is not a highest weight $\mathfrak a$-module whose highest weight is nonzero. Then $\mathcal{M}\big(V,\mu,$ $\Omega(\lambda,\alpha)\big)$ is not isomorphic to any simple $\L$-module in [@H; @LGW; @LLZ; @TZ1; @MZ; @LZ2].

[9999]{} =2ex=-1pt=-1pt R. E. Block, The irreducible representations of the Lie algebra $\mathfrak{sl}(2)$ and of the Weyl algebra, [*Adv. Math.*]{} [**139**]{} (1981), 69-110.

H.
_ 2=\mu$; moreover, $ \sum_{i\in I } S^jf_{1i}\otimes f_{2i}\otimes u_i=0 $ for all $ j\geq2$. But we see that $ \sum_{i\in I } S^2f_{1i}\otimes f_{2i}\otimes u_i\neq0 $ by choosing $ f_{1i}$ to be of form $ t^{n_i}$ for $ i\in I$, a contradiction. This testify $   \mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i, h_i(t)\big)\otimes M.$ Similarly, one have $ $ \mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i, h_i(t)\big)\otimes\otimes_{i=1}^m\Omega(\lambda_i,\alpha_i)\otimes M.$$ And the non - isomorphisms $ \mathcal{M}\big(V,\mu,$ $ \Omega(1,\alpha)\big)\ncong A_b$ and $ \mathcal{M}\big(V,\mu,\Omega(1,\alpha)\big)\ncong\widetilde{\mathcal M}\big(W,\gamma(t)\big)$ follows immediately by using Proposition \[pro13.3\ ], complete the proof. 

 Now we can reason this section with the following corollary. 

 Let $ \lambda,\alpha,1\neq \mu\in\C^*$ and $ V$ be a elementary $ \H$-module in $ \mathcal C$. Suppose that $ V$ is not a highest weight unit $ \mathfrak a$-module whose highest weight is nonzero. Then $ \mathcal{M}\big(V,\mu,$ $ \Omega(\lambda,\alpha)\big)$ is not isomorphous to any simple $ \L$-module in [ @H; @LGW; @LLZ; @TZ1; @MZ; @LZ2 ]. 

 [ 9999 ] { } = 2ex=-1pt=-1pt R. E. Block, The irreducible representations of the Lie algebra $ \mathfrak{sl}(2)$ and of the Weyl algebra, [ * Adv. Math. * ] { } [ * * 139 * * ] { } (1981), 69 - 110. 

 H.
_2=\mu$; loreover, $\sum_{i\in I} S^jf_{1i}\otlmes f_{2i}\otimes u_i=0$ for aln $j\geq2$. But we ree that $\sum_{i\in I} S^2f_{1i}\otimes h_{2i}\otumes y_i\neq0$ by choosing $f_{1i}$ tu be of flrm $t^{n_i}$ dor $m\in I$, a contradirfion. Thlf shkas $  \nathcal{M}\big(V,\mu, \Omega(1,\alphd)\big)\ncong\otimev_{i=1}^v\Pki\big(\lambda_i,\alpha_i,h_i(t)\big)\otimes M.$ Simylarly, pnf has $$\mathcal{M}\fig(V,\kt, \Omsga(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambsa_i,\alphe_i, h_i(t)\big)\otimes\ptimes_{i=1}^m\Omega(\lambda_i,\alpha_i)\ltimfs M.$$ And the non-islmorphisms $\nathsql{M}\big(V,\mu,$ $\Omdga(1,\alpha)\big)\ncong A_b$ ans $\mathcal{M}\big(V,\mu,\Omega(1,\alpha)\big)\ncung\wibetilde{\mathxao M}\hhg(W,\gamma(t)\bij)$ folljws immediatcky by gsing Ptoposition \[pro13.3\], cokplwting the proof.

Now we can conclude this section fich the following coroolqry.

Lej $ \lakbda,\xophx,1\nes \ku\jn\C^*$ anf $V$ be a simpme $\H$-module un $\mathcal C$. Suppost trqt $V$ is not a higheft weight $\mathfrak a$-module whose highest feifht is nonzero. Then $\matycal{M}\big(V,\mu,$ $\Omega(\lambfa,\alpha)\bid)$ is not isomorphic to any simple $\L$-module in [@H; @LGF; @LLZ; @GZ1; @NZ; @UZ2].

[9999]{} =2fx=-1pt=-1pt R. E. Block, The irreducible representatijhs on the Lie algebrc $\mathfrak{sl}(2)$ and ov yre Weyl algebta, [*Adv. Matg.*]{} [**139**]{} (1981), 69-110.

H.
_2=\mu$; moreover, $\sum_{i\in I} S^jf_{1i}\otimes f_{2i}\otimes u_i=0$ $j\geq2$. we see $\sum_{i\in I} S^2f_{1i}\otimes to of form $t^{n_i}$ $i\in I$, a This shows $ \mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i,h_i(t)\big)\otimes M.$ one has $$\mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i, h_i(t)\big)\otimes\otimes_{i=1}^m\Omega(\lambda_i,\alpha_i)\otimes M.$$ And the non-isomorphisms $\mathcal{M}\big(V,\mu,$ $\Omega(1,\alpha)\big)\ncong A_b$ and M}\big(W,\gamma(t)\big)$ follows immediately by using Proposition \[pro13.3\], completing the proof. Now we can this with following Let $ \lambda,\alpha,1\neq \mu\in\C^*$ and $V$ be a simple $\H$-module in $\mathcal C$. Suppose that $V$ not a highest weight $\mathfrak a$-module whose highest is nonzero. Then $\mathcal{M}\big(V,\mu,$ is not isomorphic to any $\L$-module [@H; @LGW; @TZ1; @LZ2]. =2ex=-1pt=-1pt R. E. The irreducible representations of the Lie algebra $\mathfrak{sl}(2)$ and of the Weyl algebra, [*Adv. Math.*]{} [**139**]{} (1981), H.
_2=\mu$; moreover, $\sum_{i\in I} S^jf_{1i}\otimEs f_{2i}\otimes U_i=0$ for All $J\geQ2$. BUt we See tHat $\sum_{i\in I} S^2f_{1i}\oTImes F_{2i}\otimes u_i\neq0$ by choosinG $f_{1i}$ to Be OF forM $T^{n_I}$ for $i\In I$, a conTRaDICtiOn. thIs sHoWS $  \mAthcaL{M}\bIg(V,\mu, \OmEga(1,\alpha)\biG)\ncOnG\otimes_{i=1}^n\Phi\BIg(\Lambda_i,\alpHa_i,H_i(t)\big)\otimes m.$ SiMilarlY, oNe hAS $$\mathCal{m}\big(V,\Mu, \OmegA(1,\Alpha)\bIg)\ncong\otImES_{i=1}^n\Phi\BIg(\lambdA_I,\AlPha_i, H_i(t)\big)\otimes\otimeS_{I=1}^m\oMega(\lambda_i,\alpHa_i)\otiMeS m.$$ AND The Non-IsomorphisMs $\MathcAL{M}\big(V,\mU,$ $\omEGA(1,\AlpHA)\big)\ncong A_b$ anD $\mathcal{M}\biG(v,\mu,\omega(1,\aLpHa)\bIG)\ncong\WidetIlDE{\maThcal M}\big(W,\gAmma(T)\big)$ folloWs immeDIately bY Using PrOpositIon \[Pro13.3\], CompLEtInG thE pROof.

nOw We cAN coNclude thIs SeCtion With THE FOlloWinG corOllarY.

Let $ \lambda,\alpHa,1\nEq \mu\IN\C^*$ aNd $V$ be A simpLe $\H$-mOdUle in $\MathcaL C$. SupPoSe that $V$ is not a hiGhesT weight $\maThfRaK a$-mOdUle whOSe highEst WeiGht is noNzero. ThEN $\maThCAL{m}\bIg(V,\mu,$ $\Omega(\lambda,\alPhA)\BIg)$ Is not isoMorphiC To AnY Simple $\L$-mOdUle In [@H; @Lgw; @lLZ; @TZ1; @mZ; @LZ2].

[9999]{} =2EX=-1pT=-1pt R. E. BloCk, The iRReDuCible rePrEsentaTiOns Of tHe Lie ALgebRa $\mathFrak{sl}(2)$ anD of thE weyl algebra, [*Adv. mAth.*]{} [**139**]{} (1981), 69-110.

H.
_2=\mu$; moreover, $\sum_{ i\in I} S^ jf_{1 i}\ oti me s f_ {2i} \otimes u_i=0$ forall $j\geq2$. But we s ee th at $\su m _{ i\inI} S^2f _ {1 i } \ot im es  f_ {2 i }\ otime s u _i\neq0 $ by choos ing  $ f_{1i}$ to b e  o f form $t^ {n_ i}$ for $i\i n I $, a c on tra d ictio n.Thisshows$   \mat hcal{M}\b ig ( V,\mu, \Omega( 1 , \a lpha )\big)\ncong\otim e s_ { i=1}^n\Phi\big (\lamb da _ i, \ a lph a_i ,h_i(t)\bi g) \otim e s M.$ S i mi l a r ly, one has $$\ma thcal{M}\bi g (V, \mu, \ Om ega ( 1,\alp ha)\b ig ) \nc ong\otimes_ {i=1 }^n\Phi\b ig(\la m bda_i,\ a lpha_i,  h_i(t )\b ig) \oti m es \o tim es _ {i= 1 }^ m\O m ega (\lambda _i ,\ alpha _i)\ o t i m es M .$$  And  thenon-isomorphi sms  $\m a thc al{M} \big( V,\m u, $ $\O mega(1 ,\alp ha )\big)\ncong A_ b$ a nd $\math cal {M }\b ig (V,\m u ,\Omeg a(1 ,\a lpha)\b ig)\nco n g\w id e t i ld e{\mathcal M}\big( W, \ g am ma(t)\bi g)$ fo l lo ws immediat el y b y us i n g Pro posi t io n \[pro1 3.3\], co mp letingth e proo f. 

N owwe ca n  con cludethis sec tionw ith the follow i ng corollary. 
L e t  $ \lam bda ,\alpha,1\n eq \ m u\in \C^* $  a nd$ V$ be  a si mp l e$ \H$-module in $\mat hc al C$.  Supp ose that $V$is not a h i g h est weig ht $ \ ma t hfrak a$-modul e who se highest weight i s non zero. Th en $\math c a l{M}\big (V, \mu ,$$\O m e ga (\lambda,\alp h a )\bi g) $ is no t i somorph ictoany  si mp le $\L$-m odule in  [ @H ;@L GW;  @LLZ ;  @TZ1; @ MZ ; @ LZ 2]. 

[99 9 9]{} = 2ex=- 1pt= -1 pt R.E. Bloc k ,T h e ir re du cibl e r ep resen tati o nsof theLie algeb ra$ \mat hf ra k{sl}(2 )$ and of the  W eyl algebr a,  [* Adv. M a t h.*]{} [ **139**]{} (1981), 69-1 1 0.

H.
_2=\mu$; moreover,_$\sum_{i\in I}_S^jf_{1i}\otimes f_{2i}\otimes u_i=0$ for_all $j\geq2$._But_we see_that_$\sum_{i\in I} S^2f_{1i}\otimes_f_{2i}\otimes u_i\neq0$ by_choosing $f_{1i}$ to be_of form $t^{n_i}$_for_$i\in I$, a contradiction. This shows $  \mathcal{M}\big(V,\mu, \Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i,h_i(t)\big)\otimes M.$ Similarly, one has_$$\mathcal{M}\big(V,\mu,_\Omega(1,\alpha)\big)\ncong\otimes_{i=1}^n\Phi\big(\lambda_i,\alpha_i, h_i(t)\big)\otimes\otimes_{i=1}^m\Omega(\lambda_i,\alpha_i)\otimes_M.$$_And_the non-isomorphisms $\mathcal{M}\big(V,\mu,$ $\Omega(1,\alpha)\big)\ncong A_b$_and $\mathcal{M}\big(V,\mu,\Omega(1,\alpha)\big)\ncong\widetilde{\mathcal M}\big(W,\gamma(t)\big)$ follows immediately_by using_Proposition \[pro13.3\], completing the proof.

Now we can conclude_this_section with the_following corollary.

Let $ \lambda,\alpha,1\neq \mu\in\C^*$ and $V$ be a_simple $\H$-module in $\mathcal C$. Suppose_that $V$ is_not_a_highest weight $\mathfrak a$-module_whose highest weight is nonzero. Then_$\mathcal{M}\big(V,\mu,$ $\Omega(\lambda,\alpha)\big)$ is not isomorphic to_any simple $\L$-module in [@H; @LGW; @LLZ;_@TZ1; @MZ; @LZ2].

[9999]{} =2ex=-1pt=-1pt R. E._Block, The irreducible representations of_the Lie_algebra $\mathfrak{sl}(2)$ and of the_Weyl algebra, [*Adv._Math.*]{} [**139**]{}_(1981), 69-110.

H.