Abstract
AbstractWe 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 products, and inverse limits. We also show that any sorted profinite group having SEP has a sorted complete system whose theory is $\omega $ -categorical and $\omega $ -stable under the assumption that the set of sorts is countable.
Submitted Version (
Free)
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call