Hostname: page-component-76fb5796d-vfjqv Total loading time: 0 Render date: 2024-04-25T16:13:53.243Z Has data issue: false hasContentIssue false

GROUPS WITH CONTEXT-FREE CO-WORD PROBLEM

Published online by Cambridge University Press:  24 May 2005

DEREK F. HOLT
Affiliation:
Mathematics Institute, University of Warwick, Coventry CV4 7AL, United Kingdomdfh@maths.warwick.ac.uk
SARAH REES
Affiliation:
School of Mathematics and Statistics, University of Newcastle-upon-Tyne, Merz Court, Newcastle-upon-Tyne NE1 7RU, United Kingdomsarah.rees@newcastle.ac.uk
CLAAS E. RÖVER
Affiliation:
School of Mathematics, Trinity College Dublin, College Green, Dublin 2, Irelandchew@maths.tcd.ie
RICHARD M. THOMAS
Affiliation:
Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester LE1 7RH, United Kingdomrmt@mcs.le.ac.uk
Get access

Abstract

The class of co-context-free groups is studied. A co-context-free group is defined as one whose co-word problem (the complement of its word problem) is context-free. This class is larger than the subclass of context-free groups, being closed under the taking of finite direct products, restricted standard wreath products with context-free top groups, and passing to finitely generated subgroups and finite index overgroups. No other examples of co-context-free groups are known. It is proved that the only examples amongst polycyclic groups or the Baumslag–Solitar groups are virtually abelian. This is done by proving that languages with certain purely arithmetical properties cannot be context-free; this result may be of independent interest.

Type
Notes and Papers
Copyright
The London Mathematical Society 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This research was supported by the EPSRC.