Strong normalizer 33 thin residue

We define O 1 (T) to be the intersection of all strongly normal closed subsets of T and call it the thin residue of T. 

From Theorem 3.2.1 (i) we know that O U J ) is strongly normal in T. Thus, by Lemma 4.2.5(h), T//0 T) is thin. Thus, we obtain from Lemma 4.2.7(i) that the thin residue 0 S(T) of T is the uniquely defined smallest closed subset of S having a thin quotient scheme. 

---