Difference between revisions of "Talk:Aufgaben:Problem 3"
From Ferienserie MMP2
(Created page with "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 i...") |
|||
| Line 2: | Line 2: | ||
A: ? | 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. | ||
| + | |||
| + | [[User:Carl|Carl]] ([[User talk:Carl|talk]]) 21:24, 20 July 2015 (CEST) | ||
Revision as of 19:24, 20 July 2015
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.
