S/I)$ is clean, we obtain a pretty clean filtration of $S/I$ as a refinement of the dimension filtration by the clean filtrations of the factors $D_i(S/I)/D_{i-1}(S/I)$. Thus in this prime filtration each factor $S/P$ belongs to $\Ass(D_i(S/I)/D_{i-1}(S/I))$ for some $i$. It follows that $\depth S/P\geq t$, as desired.

Prime filtrations and primary decompositions
============================================

In this section we give another characterization of pretty clean modules in terms of primary decompositions.

\[primary\] Let $M$ be an $R$-module, and suppose $M$ admits the prime filtration ${\mathcal F}: (0)=M_0\subset M_1\subset \cdots \subset M_{r-1}\subset M_r=M$ with $M_i/M_{i-1}\iso R/P_i$ for all $i$. Then for $j=1,\ldots, r$ there exist irreducible $P_j$-primary submodules $N_j$ of $M$ such that $M_i=\Sect_{j=i}^rN_j$ for $i=0,\ldots, r$.

In the proof of this result we shall need the following

\[complement\] Let $U\subset V\subset M$ be submodules of $M$ such that $V/U\iso R/P$ for some $P\in \Spec(R)$. Then there exists an irreducible submodule $W$ of $M$ such that $U=V\sect W$.

By Noetherian induction there exists a maximal submodule $W$ of $M$ such that $U=V\sect W$. We claim that $W$ is an irreducible submodule of $M$. Indeed, suppose that $W=W_1\sect W_2$. Then $U=(V\sect W_1)\sect(V\sect W_2)$ is a decomposition of $U$ in $V$. However, $U$ is irreducible in $V$ since $V/U\iso R/P$. It follows that $V\sect W_1=U$ or $V\sect
 W_2=U$. Since $W$ was
S / I)$ is clean, we obtain a pretty clean filtration of $ south / I$ as a nuance of the dimension filtration by the clean filtrations of the factors $ D_i(S / I)/D_{i-1}(S / I)$. therefore in this prime filtration each factor $ S / P$ belongs to $ \Ass(D_i(S / I)/D_{i-1}(S / I))$ for some $ i$. It surveil that $ \depth S / P\geq t$, as desired. 

 Prime filtrations and chief decompositions 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section we collapse another characterization of pretty clean module in term of primary decompositions. 

 \[primary\ ] Let $ M$ be an $ R$-module, and suppose $ M$ admits the premier filtration $ { \mathcal F }: (0)=M_0\subset M_1\subset \cdots \subset M_{r-1}\subset M_r = M$ with $ M_i / M_{i-1}\iso R / P_i$ for all $ i$. Then for $ j=1,\ldots, r$ there exist irreducible $ P_j$-primary submodules $ N_j$ of $ M$ such that $ M_i=\Sect_{j = i}^rN_j$ for $ i=0,\ldots, r$. 

 In the proof of this result we shall want the following 

 \[complement\ ] Let $ U\subset V\subset M$ be submodules of $ M$ such that $ V / U\iso R / P$ for some $ P\in \Spec(R)$. Then there exists an irreducible submodule $ W$ of $ M$ such that $ uracil = V\sect W$. 

 By Noetherian induction there exists a maximal submodule $ W$ of $ M$ such that $ U = V\sect W$. We claim that $ W$ is an irreducible submodule of $ M$. Indeed, suppose that $ W = W_1\sect W_2$. Then $ U=(V\sect W_1)\sect(V\sect W_2)$ is a decomposition of $ U$ in $ V$. However, $ U$ is irreducible in $ V$ since $ five / U\iso R / P$. It follows that $ V\sect W_1 = U$ or $ V\sect 
  W_2 = U$. Since $ W$ was
S/I)$ ls clean, we obtain a preuty clean filtratnin of $V/I$ as z refineoent of the dimension filtravion by tye clean filtrations ow the facnors $D_i(S/I)/E_{i-1}(S/I)$. Rhus in thma prime filtrzbion zarh factor $S/P$ bekongs to $\Avs(D_i(S/I)/D_{i-1}(S/I))$ for sumz $i$. It follows that $\depth S/P\geq t$, as desirec.

Pgime filtratiogs amq prjmary decompositions
============================================

In this sectioh we gine another characyerization of pretty clean modkles in terms of pgimary deconposyrions.

\[primary\] Let $M$ be an $R$-module, ahd suppose $M$ admits the prime fkltracion ${\mathcao D}: (0)=M_0\dobset M_1\subsev \cdotf \subset M_{r-1}\smnset M_s=M$ with $M_i/M_{i-1}\iso R/P_i$ fpr ell $u$. Then for $j=1,\ldots, r$ tiere exist irreducibje $P_j$-primdrv submodules $N_j$ of $M$ wuxh thdt $M_h=\Secg_{h=i}^rV_j$ roc $i=0,\mdots, g$.

In the proof of this rewult we shall need uhe dollowing

\[compmement\] Lqt $U\subset V\subset M$ be submodules of $M$ sudh that $V/U\iso R/P$ for sone $P\in \Spec(R)$. Then thete exists wn irreducible submodule $W$ of $M$ such that $U=V\sect F$.

By Nkdthtrlwv ijduction there exists a maximal submodule $W$ os $M$ slch that $U=V\sect W$. We claim tnah $E$ is an irreduzible subjodule of $M$. Indeed, supposg that $W=W_1\sect W_2$. Them $U=(V\sect W_1)\sect(V\sect W_2)$ is a eecompositiou od $U$ in $V$. However, $U$ is irreducnble im $V$ sonce $V/U\iso R/P$. It followr thzt $V\sect W_1=U$ or $V\sect
 D_2=U$. Since $W$ was
S/I)$ is clean, we obtain a pretty of as a of the dimension of factors $D_i(S/I)/D_{i-1}(S/I)$. Thus this prime filtration factor $S/P$ belongs to $\Ass(D_i(S/I)/D_{i-1}(S/I))$ for $i$. It follows that $\depth S/P\geq t$, as desired. Prime filtrations and primary ============================================ In this section we give another characterization of pretty clean modules in of decompositions. Let be an $R$-module, and suppose $M$ admits the prime filtration ${\mathcal F}: (0)=M_0\subset M_1\subset \cdots \subset M_r=M$ with $M_i/M_{i-1}\iso R/P_i$ for all $i$. Then $j=1,\ldots, r$ there exist $P_j$-primary submodules $N_j$ of $M$ that for $i=0,\ldots, In proof this result we need the following \[complement\] Let $U\subset V\subset M$ be submodules of $M$ such that $V/U\iso R/P$ for $P\in \Spec(R)$. exists an submodule of such that $U=V\sect Noetherian induction there exists a maximal $M$ such that $U=V\sect W$. We claim that is an submodule of $M$. Indeed, suppose that W_2$. Then $U=(V\sect W_1)\sect(V\sect W_2)$ is a decomposition $U$ in $V$. However, $U$ is irreducible in $V$ since $V/U\iso R/P$. It follows that or $V\sect W_2=U$. Since was
S/I)$ is clean, we obtain a pretty cLean filtraTion oF $S/I$ As a ReFineMent Of the dimension FIltrAtion by the clean filtratIons oF tHE facTOrS $D_i(S/I)/d_{i-1}(S/I)$. ThuS In THIs pRiMe FilTrATiOn eacH faCtor $S/P$ bElongs to $\AsS(D_i(s/I)/d_{i-1}(S/I))$ for some $i$. iT fOllows that $\DepTh S/P\geq t$, as deSirEd.

PrimE fIltRAtionS anD primAry decOMpositIons
============================================

In thiS sECtion wE Give anoTHEr CharActerization of preTTy CLean modules in tErms of PrIMaRY DecOmpOsitions.

\[prImAry\] LeT $m$ be an $R$-mODuLE, ANd sUPpose $M$ admits tHe prime filtRAtiOn ${\mathCaL F}: (0)=M_0\SUbset M_1\SubseT \cDOts \Subset M_{r-1}\subSet M_R=M$ with $M_i/M_{I-1}\iso R/P_I$ For all $i$. tHen for $j=1,\Ldots, r$ TheRe eXist IRrEdUciBlE $p_j$-pRImAry SUbmOdules $N_j$ Of $m$ sUch thAt $M_i=\sECT_{J=i}^rN_J$ foR $i=0,\ldOts, r$.

IN the proof of thIs rEsulT We sHall nEed thE folLoWing

\[cOmplemEnt\] LeT $U\Subset V\subset M$ bE subModules of $m$ suCh ThaT $V/u\iso R/p$ For somE $P\iN \SpEc(R)$. Then There exISts An IRREdUcible submodule $W$ of $m$ sUCH tHat $U=V\secT W$.

By NoEThErIAn inductIoN thEre eXISts a mAximAL sUbmodule $w$ of $M$ suCH tHaT $U=V\sect w$. WE claim ThAt $W$ Is aN irreDUcibLe submOdule of $M$. indeeD, Suppose that $W=W_1\sECt W_2$. Then $U=(V\sect w_1)\SeCT(v\sECt W_2)$ iS a dEcompositioN of $U$ IN $V$. HoWeveR, $u$ iS irREduciBle in $v$ sINcE $v/U\iso R/P$. It follows thaT $V\Sect W_1=U$ Or $V\seCt
 W_2=U$. Since $W$ was
S/I)$ is clean, we obtaina pretty c leanfil tra ti on o f $S /I$ as a refin e ment  of the dimension filt ratio nb y th e  c leanfiltrat i on s ofth efac to r s$D_i( S/I )/D_{i- 1}(S/I)$.Thu sin this prim e  f iltrationeac h factor $S/ P$belong sto$ \Ass( D_i (S/I) /D_{i- 1 }(S/I) )$ for so me $i$. I t  follow s th at $ \depth S/P\geq t$ ,  a s  desired.

Pri me fil tr a ti o n s a ndprimary de co mposi t ions
== = == = = = === = ============= =========== = === ====
In  th i s sect ion w eg ive  another ch arac terizatio n of p r etty cl e an modu les in  te rms  ofp ri ma ryde c omp o si tio n s.
\[prima ry \]  Let$M$b e a n $R $-m odul e, an d suppose $M$  ad mits the  prim e fil trat io n ${\ mathca l F}:  ( 0)=M_0\subset M _1\s ubset \cd ots  \ sub se t M_{ r -1}\su bse t M _r=M$ w ith $M_ i /M_ {i - 1 } \i so R/P_i$ for all$i $ .  T hen for$j=1,\ l do ts ,  r$ ther eexi st i r r educi ble$ P_ j$-prima ry sub m od ul es $N_j $of $M$  s uch  th at $M _ i=\S ect_{j =i}^rN_j $ for $i=0,\ldots, r $ .

In the pro o fo f  t h is r esu lt we shall  nee d  the  fol l ow ing 
\[co mplem en t \] Let $U\subset V\sub se t M$ b e sub modules of $M $ such tha t $ V/U\isoR/P$ fo r  some $P\in \S pec(R )$. Then t h ere exis ts an  irreduc ible subm o d ule $W$of$M$  su cht h at  $U=V\sect W$ . 
ByNo etheria n i nductio n t her e e xis ts  a maxima l submod ul e$W $of$M$ s u ch that$U =V\ se ctW$. W e  claim  that  $W$  i sa n i rreduci b le s ubmo du le  of$M$ .Indee d, s u ppo se that  $W=W_1\s ect W_2$ .Th en $U=( V\sect W_1)\s ec t(V\sect W _2 )$is a d e c ompositi on of $U$ in $V$. Howev e r, $U$isirred ucib le in $V$  si nce $V /U\ i so R/P $. Itfollo ws  th a t  $V\s e c tW_1 =U $ or $V\se c t 
 W _2=U$ .Sinc e $W$ w as
S/I)$ is_clean, we_obtain a pretty clean_filtration of_$S/I$_as a_refinement_of the dimension_filtration by the_clean filtrations of the_factors $D_i(S/I)/D_{i-1}(S/I)$. Thus_in_this prime filtration each factor $S/P$ belongs to $\Ass(D_i(S/I)/D_{i-1}(S/I))$ for some $i$. It follows_that_$\depth S/P\geq_t$,_as_desired.

Prime filtrations and primary decompositions
============================================

In_this section we give another_characterization of_pretty clean modules in terms of primary decompositions.

\[primary\]_Let_$M$ be an_$R$-module, and suppose $M$ admits the prime filtration ${\mathcal_F}: (0)=M_0\subset M_1\subset \cdots \subset M_{r-1}\subset_M_r=M$ with $M_i/M_{i-1}\iso_R/P_i$_for_all $i$. Then for_$j=1,\ldots, r$ there exist irreducible $P_j$-primary_submodules $N_j$ of $M$ such that_$M_i=\Sect_{j=i}^rN_j$ for $i=0,\ldots, r$.

In the proof of_this result we shall need the_following

\[complement\] Let $U\subset V\subset M$_be submodules_of $M$ such that $V/U\iso_R/P$ for some_$P\in \Spec(R)$._Then there exists_an irreducible submodule $W$ of $M$_such that $U=V\sect_W$.

By Noetherian induction there exists a_maximal_submodule $W$ of_$M$_such_that $U=V\sect_W$. We claim_that_$W$ is_an_irreducible submodule of $M$. Indeed, suppose_that_$W=W_1\sect W_2$. Then $U=(V\sect W_1)\sect(V\sect W_2)$ is_a decomposition of $U$_in_$V$. However, $U$ is_irreducible in $V$ since $V/U\iso_R/P$. It follows that $V\sect W_1=U$_or $V\sect
_W_2=U$. Since_$W$ was