במקרה זה, עבור <math>G=G_1 \times G_2</math> הטלה לרכיב הראשון תהיה הפונקציה <math>\pi_1:G\rightarrow G_1</math> המוגדרת <math>\pi_1(g_1,g_2)=g_1</math>. באופן דומה מגדירים הטלה לרכיב השני, או הטלה ממכפלה קרטזית של יותר חבורות.
לגבי הקשר ללינארית, במובן מסויים אפשר להסתכל על ההטלה הנ"ל בתור הכללה של הvטלה במרחבי מכפלה פנימית ממימד סופיהטלה במרחבים וקטוריים.אם V הוא ממ"פ ממימד סופי, אזי על הטלה של וקטור <math>v\in V</math> לתמ"ו <math>W\leq V</math> ניתן להסתכל באופן הבא:
W הוא תמ"ו של V, לכן קיים המשלים הניצב <math>W^{+}\leq V</math> ומתקיים <math>V=W_1\oplus W_2</math>. לפי תכונות הסכום הישר, v ניתן להצגה יחידה מהצורה <math>v=w_1+w_2</math> כש <math>w_1\in W</math> ו <math>w_2 \in W^{+}</math>. ומתקיים ההטלה של v על W היא <math>\pi_{W}(v)=w_1</math>.
המקרה של חבורות מכליל מקרה זה שכן, מרחבים וקטוריים הם בפרט חבורות חיבוריות.
לעומת זאת, המקרה של חבורות אינו אנלוגי למקרה של ממ"פ ממימד סופימרחבים וקטוריים. בעוד שבמקרה זה לתת שלתת מרחב וקטורי המשלים הניצב תמיד קיים ויחיד (ולכן, ניתן להגדיר היטל בצורה שתיארנו עכשיו) בחבורות זה לא המצב.
למשל, עבור החבורה <math>D_3</math> ותת החבורה <math>C_3</math>, לא קיימת תת חבורה <math>H\leq D_3</math> כך ש <math>D_3\cong C_3\times H</math>. [[משתמש:גילי|גילי]] 16:00, 29 באוגוסט 2012 (IDT)