https://9lib.org/document/y96r6kxj-concerning-groups-dyadic-relations-arbitrary-field.html