חבורה חליקה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Omri Got (שיחה | תרומות)
Omri Got (שיחה | תרומות)
שורה 44:
<math>G = \left(\bigoplus_{p \in \mathbf P} \mathbb Z[p^\infty]^{(I_p)}\right) \oplus \mathbb Q^{(I)}</math>
 
ז"א כל חבורה חליקה היא סכום ישר של תתי חבורות שכל אחת מהן היא או חבורת <math>p^\infty</math> עבור <math>p</math> ראשוני כלשהו, או איזומורפית ל-<math>\ \mathbb{Q}</math>.
 
אפשר להראות גם שהצגה זו איננה יחידה, אך יש יחידות במספר האיברים מכל סוג.
 
 
==הכללות למודולים==