Shahid Beheshti University Categories and General Algebraic Structures with Applications 2345-5853 1 1 2013 12 01 A pointfree version of remainder preservation 27 58 4264 EN Themba Dube Department of Mathematical Sciences, University of South Africa, P.O. Box 392, 0003 Unisa, South Africa. Inderasan Naidoo Department of Mathematical Sciences, University of South Africa, P.O. Box 392, 0003 Unisa, South Africa. 0000-0002-3454-2268 Journal Article 2014 01 18 Recall that a continuous function $fcolon Xto Y$ between Tychonoff spaces is proper if and only if the Stone extension $f^{beta}colon beta Xtobeta Y$ takes remainder to remainder, in the sense that $f^{beta}[beta X-X]subseteq beta Y-Y$. We introduce the notion of ``taking remainder to remainder" to frames, and, using it, we define a frame homomorphism $hcolon Lto M$ to be $beta$-proper, $lambda$-proper or $upsilon$-proper in case the lifted homomorphism $h^{beta}colonbeta Ltobeta M$, $h^{lambda}colonlambda Ltolambda M$ or $h^{upsilon}colonupsilon Ltoupsilon M$ takes remainder to remainder. These turn out to be weaker forms of properness. Indeed, every proper homomorphism is $beta$-proper, every $beta$-proper homomorphism is $lambda$-proper, and $lambda$-properness is equivalent to $upsilon$-properness. A characterization of $beta$-proper maps in terms of pointfree rings of continuous functions is that they are precisely those whose induced ring homomorphisms contract free maximal ideals to free prime ideals. https://cgasa.sbu.ac.ir/article_4264_dc49dfebb0b00fd44aeff5c60cc1f825.pdf