group theory

2007, Hedley G. Dimock, Rachel R. Kass, How to Observe Your Group, Captus Press, 4th Edition, page 3, After you have read over the seven group theories you'll be clearer about what makes the most sense to you for the groups with which you want to use your observation skills.

2012, Stéphanie Delaune, Steve Kremer, Daniel Pasaila, Security Protocols, Constraint Systems, and Group Theories, Bernhard Gramlich, Dale Miller, Ulrike Sattler (editors), Automated Reasoning: 6th International Joint Conference, Springer, LNAI 7364, page 165, In particular we study the case where cryptographic primitives are modelled using a group theory. Group theories are a special case of monoidal theories which have been extensively studied by F. Baader and W. Nutt [20,6] who have provided a complete survey of unification in these theories. Group theories include theories for exclusive or and Abelian groups.