Viele scheinen nicht verstanden zu haben, was zu zeigen ist, wenn man z.B. eine kommutative Gruppe nachweisen möchte. Es reicht NICHT nur das Kommutativgesetz nachzuweisen. Dann fehlt der Nachweis, dass es sich um eine Gruppe handelt. Um zu zeigen, dass eine kommuative Gruppe ist, müssen also gezeigt werden, dass wohldefiniert ist (das versteckt sich dahinter, dass eine Abbildung sein soll), die Gruppenaxiome (Assoziativgesetz, Existenz des neutralen Elementes und Existenz von inversen Elementen) und das Kommutativgesetz.
Die Wohldefiniertheit ist wichtig! Um das zu sehen definieren wir eine Subtraktion , indem wir das Paar auf dasjenige abbilden, welches als -ten Nachfolger hat. Das Problem an dieser Definition ist, dass sie dem Peano-Axiom " ist kein Nachfolger" widerspricht, da auf den Vorgänger von abgebildet würde. Die Abbildung bildet also gar nicht nach ab, sodass es hinfällig wird irgendwelche Gruppenaxiome nachzurechnen.
Behauptungen aufzustellen reicht nicht aus. Wenn ihr sagt irgendwas hätte bestimmte Eigenschaften (bijektiv, maximal, etc.) so ist diese Aussage zu beweisen!
