noun the branch of mathematics that deals with the structure of mathematical groups and mappings between them. The branch of mathematics concerned with groups and the description of their properties.
Liberal Dictionary English Dictionary