## מעל חוג ראשי תת-מודול של מודול חופשי הוא חופשי.
## משפט המבנה למודולים נוצרים סופית מעל תחום ראשי. שימושים למיון חבורות אבליות נוצרות סופית ולצורה הרציונלית של מטריצות. צורת ז'ורדן.
'''דרישות קדם'''. [[#88-211 אלגברה מופשטת 1|אלגברה מופשטת 1]] או 89-214 (מבנים אלגבריים 1 למדעי המחשב).
== 88-222 טופולוגיה ==