A theory of group structures. Basic theory / Volume 1, (2016)