A group G is said to have a property F if there exists a finite aspherical CW-complex of which it is the fundamental group (according to wikipedia).

question: is there a full characterization of groups that are obtained as a filtered colimits of F-groups?

Thanks.

**Edit:** May be more simple (?) question: Is any torsion free group a filtered colimit of F-groups?

MathOverflow Asked by Ofra on January 21, 2021

1 AnswersHere is an answer to the simpler question, "Is any torsion free group a filtered colimit of F-groups?" (Or, just to be clear, let me rephrase the question as, "Is *every* torsion free group a filtered colimit of F-groups?")

The answer is no: Thompson's group $F$ is torsion free but I claim it is not a filtered colimit of F-groups. Let $G$ be the colimit of some filtered system of groups $(G_i)$, so as explained in https://math.stackexchange.com/questions/362502/finitely-generated-subgroups-of-direct-limits-of-groups every finitely presented subgroup of $G$ is isomorphic to a subgroup of $G_j$ for some $j$ (note that this is assuming what you call "filtered colimit" is the same as what is called "direct limit" in this link; from doing a little research it seems this is the case). Now suppose $G=F$, which since $F$ itself is finitely presented tells us that $F$ is isomorphic to a subgroup of $G_j$ for some $j$. Lastly, suppose all the $G_i$ are F-groups, so we get that $F$ is isomorphic to a subgroup of some F-group. This is a contradiction since $F$ contains $mathbb{Z}^infty$ but no F-group can contain $mathbb{Z}^infty$. We conclude $F$ is not a filtered colimit of any system of F-groups.

Note that this argument is not really that specific to $F$; it shows that any finitely presented subgroup of a filtered colimit of F-groups must be isomorphic to a subgroup of an F-group. In particular the class "finitely presented groups embeddable into a filtered colimit of F-groups" coincides with the class "finitely presented groups embeddable into an F-group".

Correct answer by Matt Zaremsky on January 21, 2021

0 Asked on November 3, 2021 by marco-farinati

1 Asked on November 3, 2021 by rodrigo-dias

fa functional analysis fredholm operators index theory kt k theory and homology vector bundles

1 Asked on November 3, 2021 by s-t-stanly

ac commutative algebra ag algebraic geometry dedekind domains nonnoetherian valuation rings

0 Asked on November 3, 2021 by fisura-filozofica

0 Asked on November 3, 2021 by seva

0 Asked on November 3, 2021 by omar-antoln-camarena

at algebraic topology classifying spaces homotopy theory semigroups and monoids

0 Asked on November 3, 2021

analytic number theory co combinatorics generating functions

0 Asked on November 3, 2021

ag algebraic geometry geometric invariant theory orbifolds reference request reflection groups

1 Asked on November 3, 2021

limits and convergence measure theory stochastic calculus stochastic processes

0 Asked on November 3, 2021 by milo-moses

analytic continuation analytic number theory nt number theory

0 Asked on November 3, 2021

co combinatorics combinatorial optimization discrete geometry mg metric geometry permutations

0 Asked on November 3, 2021

0 Asked on November 3, 2021

differential operators elliptic pde heat equation linear pde mp mathematical physics

0 Asked on November 3, 2021

3 Asked on November 3, 2021 by tanya-vladi

fourier analysis fourier transform pr probability real analysis

9 Asked on November 3, 2021 by tom-leinster

0 Asked on November 3, 2021 by yemon-choi

2 Asked on November 3, 2021 by user175348

Get help from others!

Recent Answers

- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Philipp on How do i draw a ray in unity
- eric_kernfeld on How to test consistency of responses?
- kjetil b halvorsen on How to test consistency of responses?

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

© 2022 AnswerBun.com. All rights reserved.