Abstract Algebra

Prove #1 (b) using quantified statements. Show ALL steps and give a long proof (Start steps with "Let..." or "Suppose...")

1. Let us consider (5Z, +) (the set of all multiples of 5 with usual addi- tion).(b) Show that (5E, +) is abeliau, that is, + 011 525 is commutative, that is, [V211V22 E 5745: 21+ 2:2 2 22 + 21]. Hint: You may use the fact + 011 Z is commutative