THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS

DOI10.1017/JSL.2023.16MaRDI QIDQ6095970zbMATH OpenOpenAlexFDO

Authors Junguk Lee

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.14149

zbMATH Keywords

co-sorted embedding propertysorted complete systemsorted embedding coversorted embedding propertysorted profinite groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Axiomatic model classes (08C10) Embeddings in algebraic geometry (14E25) Universal profinite groups (relationship to moduli spaces, projective and moduli towers, Galois theory) (14G32) Finite-dimensional groups and algebras motivated by physics and their representations (81R05)

Abstract: We study the embedding property in the category of sorted profinite groups. We introduce a notion of the sorted embedding property (SEP), analogous to the embedding property for profinite groups. We show that any sorted profinite group has a universal SEP-cover. Our proof gives an alternative proof for the existence of a universal embedding cover of a profinite group. Also our proof works for any full subcategory of the sorted profinite groups, which is closed under taking finite quotients, fibre product, and inverse limit. We also introduce a weaker notion of finitely sorted embedding property (FSEP), and it turns out to be equivalent to SEP. The advantage of FSEP is to be able to be axiomatized in the first order language of sorted complete systems. Using this, we show that any sorted profinite group having SEP has the sorted complete system whose theory is $omega$-stable under the assumption that the set of sorts is countable. In this case, as a byproduct, we get the uniqueness of a universal SEP-cover of a sorted profinite group, which generalizes the uniqueness of an embedding cover of a profinite group.

Recommendations

• Embedding Theorems for Ordered Groups
• Embedding theorems for pro-p groups
• An imbedding property of \(K\)-groups
• scientific article; zbMATH DE number 3916337
• scientific article; zbMATH DE number 4175235
• scientific article; zbMATH DE number 1438949
• On a certain property of profinite groups
• scientific article; zbMATH DE number 4122224
• scientific article; zbMATH DE number 665462
• scientific article; zbMATH DE number 1164256

Cites work

• Amalgamation of types in pseudo-algebraically closed fields and applications
• Co-theory of sorted profinite groups for PAC structures
• Decidability and undecidability theorems for PAC-fields
• Elementary equivalence theorem for PAC structures
• Embedding covers and the theory of Frobenius fields
• Galois stratification over Frobenius fields
• scientific article; zbMATH DE number 3349989 (Why is no real title available?)
• Model theory of profinite groups having the Iwasawa property
• On Galois groups and PAC substructures
• On solvable extensions of algebraic number fields
• Shorter Notes: Profinite Groups are Galois Groups
• The elementary theory of algebraic fields of finite corank

Cited in

(4)

• The finite embeddability property for residuated groupoids.
• scientific article; zbMATH DE number 4175235 (Why is no real title available?)
• On the finite embeddability property for residuated ordered groupoids
• Note on the uniqueness of a universal SEP-cover

This page was built for publication: THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095970)