*תכונת הצמצום: תהי חבורה G, אזי לכל <math>a,b,c\in G</math> אם <math>ab=ac</math> אזי <math>b=c</math>.
**הוכחה: נכפול באיבר ההופכי <math>a^{-1}(ab)=a^{-1}(ac)</math> ונשתמש באסוציאטיביות ובאיבר הנייטרלי.
**<math>\mathbb{Z}</math> חבורת השלמים עם חיבור.
**<math>\mathbb{Z}_n</math> חבורת השאריות עם חיבור מודולו n.
*הגדרה: תהי חבורה G. תת קבוצה <math>H\subseteq G</math> נקראת תת חבורה של G אם היא חבורה ביחס לפעולה של G.
*תת חבורות; קווטרניונים, מעגל היחידה ושורשי יחידה, המרוכבים ללא אפס כתת חבורה של מטריצות ממשיות בגודל 2 על 2.
**<math>e_G\in H</math>.
**לכל שני איברים <math>a,b\in H</math> מתקיים כי <math>ab^{-1}\in H</math>.
*הוכחת הקריטריון המקוצר:
*כיוון ראשון:
**נוכיח כי <math>e_G\in H</math>.
***נניח H תת חבורה, לכן קיים בה איבר נייטרלי <math>e_H</math>.
***כיוון שמדובר באיבר נייטרלי בH מתקיים כי <math>e_H\cdot e_H=e_H</math>.
***מצד שני ברור ש<math>e_H\cdot e_G=e_H</math>.
***לכן <math>e_H\cdot e_H=e_H\cdot e_G</math>לפי תכונת הצמצום נובע ש<math>e_H=e_G</math>.
**נוכיח כי לכל שני איברים <math>a,b\in H</math> מתקיים כי <math>ab^{-1}\in H</math>.
***יהיו <math>a,b\in H</math>.
***קיים בH הופכי לb, נקרא לו c.
***לכן <math>bc=bb^{-1}=e_G</math> (הרי הוכחנו כבר ש<math>e_H=e_G</math>).
***שוב לפי תכונת הצמצום נובע כי <math>b^{-1}=c\in H</math>.
***לפי הסגירות של H נובע כי <math>ab^{-1}\in H</math>.
*תת חבורות; קווטרניונים, מעגל היחידה ושורשי יחידה, המרוכבים ללא אפס כתת חבורה של מטריצות ממשיות בגודל 2 על 2.