Let [Formula: see text] be a finitely generated group, [Formula: see text] a finite set of generators and [Formula: see text] a subgroup of [Formula: see text]. We define what it means for [Formula: see text] to be a context-free pair; when [Formula: see text] is trivial, this specializes to the standard definition of [Formula: see text] to be a context-free group. We derive some basic properties of such group pairs. Context-freeness is independent of the choice of the generating set. It is preserved under finite index modifications of [Formula: see text] and finite index enlargements of [Formula: see text]. If [Formula: see text] is virtually free and [Formula: see text] is finitely generated then [Formula: see text] is context-free. A basic tool is the following: [Formula: see text] is context-free if and only if the Schreier graph of [Formula: see text] with respect to [Formula: see text] is a context-free graph.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4819043 | PMC |
| http://dx.doi.org/10.1016/j.ejc.2012.03.011 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Tensor networks enable the calculation of turbulence probability distributions.
Sci Adv
January 2025
Sibley School of Mechanical and Aerospace Engineering, Cornell University, Ithaca, NY 14853, USA.
Predicting the dynamics of turbulent fluids has been an elusive goal for centuries. Even with modern computers, anything beyond the simplest turbulent flows is too chaotic and multiscaled to be directly simulatable. An alternative is to treat turbulence probabilistically, viewing flow properties as random variables distributed according to joint probability density functions (PDFs).
View Article and Find Full Text PDFStrong precursor softening in cubic CaSiO perovskite.
Proc Natl Acad Sci U S A
February 2025
Department of Earth Sciences, University College London, London WC1E 6BT, United Kingdom.
CaSiO[Formula: see text] perovskite (CaPv) is the last major mineral in the Earth's lower mantle whose elasticity remains largely unresolved. Here, we investigate the elasticity of CaPv using ab initio machine-learning force fields (MLFF). At room temperature, the elasticity of tetragonal CaPv determined by MLFF molecular dynamics (MD) agrees well with experimental measurements after considering temperature induced variations in the hydrostatic structure, proving the effectiveness of the method.
View Article and Find Full Text PDFThe role of oscillations in grid cells' toroidal topology.
PLoS Comput Biol
January 2025
Kavli Institute for Systems Neuroscience and Centre for Algorithms in the Cortex, Faculty of Medicine and Health Sciences, Norwegian University of Science and Technology, Trondheim, Norway.
Persistent homology applied to the activity of grid cells in the Medial Entorhinal Cortex suggests that this activity lies on a toroidal manifold. By analyzing real data and a simple model, we show that neural oscillations play a key role in the appearance of this toroidal topology. To quantitatively monitor how changes in spike trains influence the topology of the data, we first define a robust measure for the degree of toroidality of a dataset.
View Article and Find Full Text PDFPopulation pharmacokinetics and pulmonary modeling of eravacycline and the determination of microbiological breakpoint and cutoff of PK/PD.
Antimicrob Agents Chemother
January 2025
Department of Clinical Pharmacy and Pharmacy Administration, School of Pharmacy, Fudan University, Shanghai, China.
Eravacycline is a broad-spectrum fluorocycline currently approved for complicated intra-abdominal infections (cIAIs). In lung-infection models, it is effective against methicillin-resistant (MRSA) and tetracycline-resistant MRSA. As such, we aimed to develop a population pharmacokinetic/pharmacodynamic (PK/PD) model to evaluate eravacycline's pulmonary distribution and kinetics.
View Article and Find Full Text PDFA Game of Life with dormancy.
Proc Biol Sci
January 2025
Department of Biology, Indiana University, Bloomington, IN 47405, USA.
The factors contributing to the persistence and stability of life are fundamental for understanding complex living systems. Organisms are commonly challenged by harsh and fluctuating environments that are suboptimal for growth and reproduction, which can lead to extinction. Many species contend with unfavourable and noisy conditions by entering a reversible state of reduced metabolic activity, a phenomenon known as dormancy.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!