Publisher： Cambridge University Press
E-ISSN： 1943-5894|15|3|300-319
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.15, Iss.3, 2009-09, pp. : 300-319
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
A cofinitary group is a subgroup of Sym(ℕ) where all nonidentity elements have finitely many fixed points. A maximal cofinitary group is a cofinitary group, maximal with respect to inclusion. We show that a maximal cofinitary group cannot have infinitely many orbits. We also show, using Martin's Axiom, that no further restrictions on the number of orbits can be obtained. We show that Martin's Axiom implies there exist locally finite maximal cofinitary groups. Finally we show that there exists a uniformly computable sequence of permutations generating a cofinitary group whose isomorphism type is not computable.
Related content
Cofinitary groups, almost disjoint and dominating families
The Journal of Symbolic Logic, Vol. 66, Iss. 3, 2001-09 ,pp. :
Access to resources
Recommend
Recursive properties of isomorphism types
Bulletin of the Australian Mathematical Society, Vol. 29, Iss. 3, 1984-06 ,pp. :
Globally maximal arithmetic groups
Journal of Algebra, Vol. 272, Iss. 2, 2004-02 ,pp. :
Maximal Complements in Finite Groups
By Quick Martyn
Communications in Algebra, Vol. 35, Iss. 4, 2007-04 ,pp. :
A Note on Maximal Coverings of Groups
Communications in Algebra, Vol. 42, Iss. 10, 2014-10 ,pp. :