Let D be a divison ring of prime characteristic p and, let V be a left vector space space of dimension > 1over D, possibly possibly infinite.
Let M be a maximal subgroup of the additive abelian group V, i.e. dimensional, a hyperplane ofand let F be the F_p-vector space Vprime field of D.
Does M necessarily contain a nonIs it true that every F-zero subspacehyperplane of theV contains a D-vector spacehyperplane of V?
There are several equivalent ways to ask this question, of which the above is perhapsI am mostly interested in the most elementarycase when D has prime characteristic.
The answer is positive if D is finite, regardless of the dimension of V, although it is easier to see if V is finite dimensional. Any help with with the case when D is infinite of prime characteristic would be appreciated.