Aufgabe:
Sei X ein unendlichdimensionaler Vektorraum über dem Körper Z3, und sei S ein Erzeugendensystem von X.
Sei weiters f : S→ (Z3)^3 eine Funktion.
(A) f lässt sich zu einer linearen Abbildung von X nach (Z3)^3 fortsetzen.
(B) Wenn g, h zwei lineare Fortsetzungen von f auf X sind, so gilt g = h.
(C) f hat höchstens endlich viele paarweise verschiedene Fortsetzungen zu einer linearen Abbildung von X nach (Z3)^3