שינויים
/* הטלה */
במקרה זה, עבור <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)
