arXiv:1907.02262 Abstract | arXiv Analytics

arXiv:1907.02262 [math.GR]Abstract References Reviews Resources

Finite axiomatizability for profinite groups I: group theory

Published 2019-07-04Version 1

A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various kinds are FA in the class of profinite groups. Reasons why certain groups cannot be FA are also discussed.

Categories: math.GR, math.LO

Subjects: 20A15, 20E18

Keywords: profinite groups, group theory, finite axiomatizability, first-order language

Related articles: Most relevant | Search more

arXiv:2304.02504 [math.GR] (Published 2023-04-05)

Finite axiomatizability of the rank and the dimension of a pro-$π$ group

Martina Conte, Benjamin Klopsch

arXiv:2311.01954 [math.GR] (Published 2023-11-03)

Regular bi-interpretability and finite axiomatizability of Chevalley groups

Elena Bunina, Pavel Gvozdevsky

arXiv:1010.0382 [math.GR] (Published 2010-10-03)

Search and witness problems in group theory