Groups, conjugation and powers

TL;DR

This paper introduces the concept of power quandles, a new algebraic structure capturing conjugation and powers in groups, providing better invariants and a method to approximate and present groups via power quandle-based constructions.

Contribution

It defines power quandles, shows they determine key group invariants, and establishes a universal approximation and presentation method for groups using power quandle properties.

Findings

Power quandles determine the central quotient of any group.

Power quandles determine the center of finite groups.

Any group can be approximated by a group derived from its power quandle with a universal property.

Abstract

We introduce the notion of the power quandle of a group, an algebraic structure that forgets the multiplication but keeps the conjugation and the power maps. Compared with plain quandles, power quandles are much better invariants of groups. We show that they determine the central quotient of any group and the center of any finite group. Any group can be canonically approximated by the associated group of its power quandle, which we show to be a central extension, with a universal property, and a computable kernel. This allows us to present any group as a quotient of a group with a power-conjugation presentation by an abelian subgroup that is determined by the power quandle and low-dimensional homological invariants.