0 Daumen
381 Aufrufe

Aufgabe23969ADF-3E6F-40C3-BF14-1E3BB716BB5E.jpeg

Text erkannt:

(b) Sei Sei (K,+,) (K,+, \cdot) ein Körper. Ist dann (KM,,) \left(K^{M}, \oplus, \odot\right) mit
(fg)(x)=f(x)+g(x),(fg)(x)=f(x)g(x) fu¨r alle xM \begin{array}{l} (f \oplus g)(x)=f(x)+g(x), \\ (f \odot g)(x)=f(x) \cdot g(x) \quad \text { für alle } x \in M \end{array}
für f,gKM f, g \in K^{M} auch immer ein Körper?

Hallo, ich habe ein Problem mit dieser Aufgabe. Wie soll ich das beweisen?

Avatar von

Für den Fall, dass MM mehr als ein Element besitzt,

zeige, dass KMK^M nicht nullteilerfrei ist.

1 Antwort

0 Daumen

KM ist ja wohl die Menge aller Abbildungen von M nach K,

wobei M irgendeine (nicht leere ? ) Menge ist.

Musst also schauen, ob (KM,⊕) eine kommutative Gruppe ist.

Also z.B. Seien f,g ∈ KM, ist f⊕g wieder in KM ? Offenbar ja.

Ist ⊕ assoziativ ? Seien also f,g,h ∈ KM

Dann ist  z =  ( f⊕g ) ⊕ h die Abb. , bei der für alle x∈M gilt:

z(x) = (f⊕g)(x) + h(x) = ( f(x)+g(x))+ h(x)

wegen Assoziativ. in K also

=  f(x)+( g ⊕ h) (x)

= (  f⊕  (g ⊕ h) ) (x)

Also stimmt z(x) für alle x∈M mit der Abb. f⊕  (g ⊕ h)

überein, somit ( f⊕g ) ⊕ h =  f⊕  (g ⊕ h).

In der Art (Def. anwenden und die Eigenschaften von K)

kannst du (vielleicht ?) auch alle anderen Körperaxiome

beweisen.

Avatar von 289 k 🚀

kannst du wohl auch alle anderen Körperaxiome beweisen

Kannst du es ?

Der Tipp mit "nicht nullteilerfrei" war echt gut !

Also klappen doch nicht alle, daher " (vielleicht ?) ".

Ein anderes Problem?

Stell deine Frage