Groups, conjugation and powers
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912351168495616 |
|---|---|
| author | Szymik, Markus Vik, Torstein |
| author_facet | Szymik, Markus Vik, Torstein |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2111_08998 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Groups, conjugation and powers Szymik, Markus Vik, Torstein Group Theory Algebraic Topology Geometric Topology K-Theory and Homology Representation Theory 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. |
| title | Groups, conjugation and powers |
| topic | Group Theory Algebraic Topology Geometric Topology K-Theory and Homology Representation Theory |
| url | https://arxiv.org/abs/2111.08998 |