Talk:Aufgaben:Problem 3
From Ferienserie MMP2
Q: In Part c) 1. 2. associativity is used to prove it is well defined. And for proving associativity we need it to be well defined. This seems like a problem, how dowe solve it?
A: ?
Is not 1.1 the proof of the group operation being well defined. And 1.2 the proof of closure? I can't see why we could't first show 1.1 then associativity and then the rest. Why would we need closure to prove associativity? Associativity for maps follow directly from the definition of composition, if the domains and images fit together, which is clear after 1.1.