They were introduced by the group theorist Philip Hall (1928).
群論学者 Philip Hall (1928) が導入した。