Beweis. Angenommen, char(K) = m = k*l ≠ 0 mit 1<k,l<m. Aus 0 = m*1 = (k*l)*1 = (k*1)(l*1) folgt wegen der Nullteilerfreiheit k*1 = 0 oder l*1 = 0 im Widerspruch zur Minimalität von m.
Was ich hier nicht verstehe ist die Nutzung der Nullteilefreiheit bzw. woher weißt man, dass es sich hier um einen Nullteilerfreien Körper handelt?
Und warum kann man nicht sagen, dass wenn wir 0 = m*1 haben und es sich um ein Koerper handelt, d.h. 1 ist neutrales Element, dann haben wir 0 = m und wir haben gesagt 0<m also Widerspruch?