این پایان نامه با معرفی ساختاری از بزرگترین فشرده سازی نیمگروهی از یک گروه موضعاً فشرده به عنوان خارج قسمتی ازفشرده سازی استون چک از یک گروه مجزا (βgd) شروع می شود. این معرفی در اثبات قضیه ساختار موضعی (که توصیفی توپولوژیکی از همسایگی هایی از هر نقطه در gluc را به ما می دهد)همچنین در اثبات بعضی از توسیعهای جدید استفاده می شود. این نتایج فوراً قضیه ویچ را نتیجه می دهند. در پایان قضیه ویچ را به این صورت توسیع خواهیم داد: برای یک گروه σ-فشرده نگاشت g→gx برای x∋gluc هر روی یک مجموعه بزرگتر از g یک به یک است.