1. הכוונה (ב-ב.) היא שצריך להוכיח שקיים אפימורפיזם מZ^m לG, נכון?
2. אני יכול לטעון שקבוצה מסוימת יוצרת את Z^m בלי להוכיח את זה?
3. זה טריויאלי להשתמש בעובדה שניתן להגדיר הומומורפיזם ע"י שליחת יוצר בקבוצה אחת ליוצר בקבוצה אחרת?(כשאני מגדיר כך פונקציה, אני לא מצליח להוכיח שהיא הומומורפיזם. זה נראה לי כאילו צריך להגדיר אותה להיות הומומורפיזם ואי אפשר להוכיח את זה).
תודה!