Moufang set

From HandWiki

In mathematics, a Moufang set is a particular kind of combinatorial system named after Ruth Moufang.

Definition

A Moufang set is a pair [math]\displaystyle{ \left({ X; \{U_x\}_{x \in X} }\right) }[/math] where X is a set and [math]\displaystyle{ \{U_x\}_{x \in X} }[/math] is a family of subgroups of the symmetric group [math]\displaystyle{ \Sigma_X }[/math] indexed by the elements of X. The system satisfies the conditions

  • [math]\displaystyle{ U_y }[/math] fixes y and is simply transitive on [math]\displaystyle{ X \setminus \{y\} }[/math];
  • Each [math]\displaystyle{ U_y }[/math] normalises the family [math]\displaystyle{ \{U_x\}_{x \in X} }[/math].

Examples

Let K be a field and X the projective line P1(K) over K. Let Ux be the stabiliser of each point x in the group PSL2(K). The Moufang set determines K up to isomorphism or anti-isomorphism: an application of Hua's identity.

A quadratic Jordan division algebra gives rise to a Moufang set structure. If U is the quadratic map on the unital algebra J, let τ denote the permutation of the additive group (J,+) defined by

[math]\displaystyle{ x \mapsto -x^{-1} = - U_x^{-1}(x) \ . }[/math]

Then τ defines a Moufang set structure on J. The Hua maps ha of the Moufang structure are just the quadratic Ua (De Medts Weiss). Note that the link is more natural in terms of J-structures.

References