שינויים
/* HH=H */
מסגירות של <math>H</math> נקבל:
<math>HH=\left \{ h1h2h_1h_2|h1h_1,h2h_2\in H \right \}\sqsubset subseteq H</math>.
מצד שני, <math>H=eH\sqsubset subseteq HH</math>.
ומשתיי ההכלות נובע השיוויון <math>H=HH</math>
שאלה: למה <math>eH\sqsubset subseteq HH</math>? :בעזרת ההגדרה <math>AB=\{ab\colon a\in A, b\in B\}</math>, מתקיים השויון <math>gH=\{g\}H</math>. חיים רוזנר 04:40, 22 בדצמבר 2013 (EST)
ועוד שאלה: האם שתיי ההוכחות נכונות? (שתיי ההוכחות הן של הכיוון מימין לשמאל)
:בכיוון 2 של הראשונה מצאתי טעות. בשאר ההוכחות לא. חיים רוזנר 04:40, 22 בדצמבר 2013 (EST)
== איך מוכיחים את הטענה הזו...אמורה להיות פשוטה.. ==
