ich frage mich gerade, warum $$K \cdot$$ in einem Körper definiert werden muss. Es heisst ja, dass alles andere mittels mathematischer Beweise aus den Körperaxiomen hergeleitet werden kann. Natürlich, die Substraktion (mit dem inversen Element zur Addition) und Division (mit dem inversen Element zur Multiplikation) ist ja quasi schon mit drin. Dann sollte noch das Potenzieren folgerbar sein, denn das ist ja schlussendlich auch nur eine Multiplikation. Genauso die Wurzel und der Logarithmus. Aber warum muss man neben K+ auch noch K* definieren? K* ist doch eigentlich aus K+ herleitbar, 5*4 ist doch auch auf die Addition zurückführbar mit 5*4 = 4+4+4+4+4 oder 5*4 = 5+5+5+5.
Eigentlich ist die grundsätzlichste aller Rechenoperationen doch die Addition und alles andere ist mit K1-K4 daraus herzuleiten, inklusive Multiplikation... würde ich sagen.
Oder was meint ihr?
Danke,
Thilo