A family of double loops (Q584431)

Let \({\mathcal V}\) be a 3-dimensional vector space over a field F. For each 2-dimensional subspace U of \({\mathcal V}\) let \(G_ U\) be a set of permutations of U with certain properties. A double loop is now constructed whose elements are (i) scalar maps called \(\lambda\) 1, for all \(\lambda\in F\), which have the whole of \({\mathcal V}\) as their domain, and (ii) members of the sets \(G_ U\) which have a 2-dimensional subspace of \({\mathcal V}\) as their domain. For these elements, addition and multiplication are then defined. There follows a study of properties of these double loops, their subloops and cosets. For the finite case, the author establishes a connection between the constructed type of double loop and certain linear spaces.