The complexity of maximal cofinitary groups
Author:
Bart Kastermans
Journal:
Proc. Amer. Math. Soc. 137 (2009), 307316
MSC (2000):
Primary 03E47; Secondary 20Bxx
Published electronically:
August 27, 2008
MathSciNet review:
2439455
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: A cofinitary group is a subgroup of the infinite symmetric group in which each element of the subgroup has at most finitely many fixed points. A maximal cofinitary group is a cofinitary group that is maximal with respect to inclusion. We investigate the possible complexities of maximal cofinitary groups. In particular we show that (1) under the axiom of constructibility there exists a coanalytic maximal cofinitary group and (2) there does not exist an eventually bounded maximal cofinitary group. We also suggest some further directions for investigation.
 [A81]
S.
A. Adeleke, Embeddings of infinite permutation groups in sharp,
highly transitive, and homogeneous groups, Proc. Edinburgh Math. Soc.
(2) 31 (1988), no. 2, 169–178. MR 989749
(90e:20003), http://dx.doi.org/10.1017/S001309150000328X
 [BSZ00]
Jörg
Brendle, Otmar
Spinas, and Yi
Zhang, Uniformity of the meager ideal and maximal cofinitary
groups, J. Algebra 232 (2000), no. 1,
209–225. MR 1783921
(2001i:03097), http://dx.doi.org/10.1006/jabr.2000.8396
 [C96]
Peter
J. Cameron, Cofinitary permutation groups, Bull. London Math.
Soc. 28 (1996), no. 2, 113–140. MR 1367160
(96j:20005), http://dx.doi.org/10.1112/blms/28.2.113
 [GZxx]
S. Gao and Y. Zhang, Definable sets of generators in maximal cofinitary groups, Advances in Mathematics, 217, 2008, pp. 814832.
 [HSZ01]
Michael
Hrušák, Juris
Steprans, and Yi
Zhang, Cofinitary groups, almost disjoint and dominating
families, J. Symbolic Logic 66 (2001), no. 3,
1259–1276. MR 1856740
(2002k:03080), http://dx.doi.org/10.2307/2695105
 [K06]
B. Kastermans, Cofinitary Groups and Other Almost Disjoint Families of Reals, Ph.D. Thesis, May 2006, University of Michigan.
 [KSZxx]
B. Kastermans, J. Steprāns and Y. Zhang, Analytic and coanalytic families of almost disjoint functions, to appear in the Journal of Symbolic Logic.
 [Kxxa]
B. Kastermans, Orbits and Isomorphism Types of Maximal Cofinitary Groups, in preparation.
 [M77]
A.
R. D. Mathias, Happy families, Ann. Math. Logic
12 (1977), no. 1, 59–111. MR 0491197
(58 #10462)
 [M89]
Arnold
W. Miller, Infinite combinatorics and definability, Ann. Pure
Appl. Logic 41 (1989), no. 2, 179–203. MR 983001
(90b:03070), http://dx.doi.org/10.1016/01680072(89)900134
 [T86]
J.
K. Truss, Embeddings of infinite permutation groups,
Proceedings of groups—St.\ Andrews 1985, London Math. Soc. Lecture
Note Ser., vol. 121, Cambridge Univ. Press, Cambridge, 1986,
pp. 335–351. MR 896533
(89d:20002)
 [Z00]
Yi
Zhang, Maximal cofinitary groups, Arch. Math. Logic
39 (2000), no. 1, 41–52. MR 1735183
(2001d:03120), http://dx.doi.org/10.1007/s001530050002
 [Z03]
Yi
Zhang, Constructing a maximal cofinitary group, Lobachevskii
J. Math. 12 (2003), 73–81 (electronic). MR 1974545
(2004e:03088)
 [A81]
 S. A. Adeleke, Embeddings of infinite permutation groups in sharp, highly transitive, and homogeneous groups, Proc. Edinburgh Math. Soc. (2), 31, 1988, pp. 169178. MR 989749 (90e:20003)
 [BSZ00]
 J. Brendle, O. Spinas, and Y. Zhang, Uniformity of the meager ideal and maximal cofinitary groups, J. Algebra, 232, 2000, pp. 209225. MR 1783921 (2001i:03097)
 [C96]
 P. J. Cameron, Cofinitary permutation groups, Bull. London Math. Soc., 28, 1996, pp. 113140. MR 1367160 (96j:20005)
 [GZxx]
 S. Gao and Y. Zhang, Definable sets of generators in maximal cofinitary groups, Advances in Mathematics, 217, 2008, pp. 814832.
 [HSZ01]
 M. Hrušák, J. Steprāns, and Y. Zhang, Cofinitary groups, almost disjoint and dominating families, J. Symbolic Logic, 66, 2001, pp. 12591276. MR 1856740 (2002k:03080)
 [K06]
 B. Kastermans, Cofinitary Groups and Other Almost Disjoint Families of Reals, Ph.D. Thesis, May 2006, University of Michigan.
 [KSZxx]
 B. Kastermans, J. Steprāns and Y. Zhang, Analytic and coanalytic families of almost disjoint functions, to appear in the Journal of Symbolic Logic.
 [Kxxa]
 B. Kastermans, Orbits and Isomorphism Types of Maximal Cofinitary Groups, in preparation.
 [M77]
 A. R. D. Mathias, Happy families, Ann. Math. Logic, 12, 1977, pp. 59111. MR 0491197 (58:10462)
 [M89]
 A. W. Miller, Infinite combinatorics and definability, Ann. Pure Appl. Logic, 41, 1989, pp. 179203. MR 983001 (90b:03070)
 [T86]
 J. K. Truss, Embeddings of Infinite Permutation Groups, Proceedings of Groups St. Andrews, 1985, London Math. Soc. Lecture Note Ser., 121, Cambridge Univ. Press, 1986, pp. 335351. MR 896533 (89d:20002)
 [Z00]
 Y. Zhang, Maximal cofinitary groups, Arch. Math. Logic, 39, 2000, pp. 4152. MR 1735183 (2001d:03120)
 [Z03]
 Y. Zhang, Constructing a maximal cofinitary group, Lobachevskii J. Math., 12, 2003, pp. 7381 (electronic). MR 1974545 (2004e:03088)
Similar Articles
Retrieve articles in Proceedings of the American Mathematical Society
with MSC (2000):
03E47,
20Bxx
Retrieve articles in all journals
with MSC (2000):
03E47,
20Bxx
Additional Information
Bart Kastermans
Affiliation:
Department of Mathematics, University of Wisconsin, Madison, 480 Lincoln Drive, Madison, Wisconsin 53706
DOI:
http://dx.doi.org/10.1090/S0002993908095269
PII:
S 00029939(08)095269
Received by editor(s):
May 14, 2007
Received by editor(s) in revised form:
January 30, 2008
Published electronically:
August 27, 2008
Additional Notes:
The author was partially supported by Sun YatSen University, Guangzhou, China
Communicated by:
Julia Knight
Article copyright:
© Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.
