Skip to main content
deleted 3 characters in body
Source Link
Marcos
  • 911
  • 2
  • 15

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Leftrightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$$$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normally finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Leftrightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normally finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

added 4 characters in body
Source Link
Marcos
  • 911
  • 2
  • 15

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$$$G~\text{is }F_2\Leftrightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Leftrightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

added 1 character in body
Source Link
AGenevois
  • 8.4k
  • 2
  • 35
  • 55

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is abotabout the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is abot the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure of a finite subset of the group. Hence: $$G~\text{is }F_1\Rightarrow G/N~\text{is }F_1 \forall~N\trianglelefteq G$$ $$G~\text{is }F_2\Rightarrow G/N~\text{is }F_2 \forall~N\trianglelefteq G\text{ which are normaly finitely generated}$$ My question is about the higher dimensional finiteness properties. Are there any similar statements about the quotient of an $F_n$ group being $F_n$?

Source Link
Marcos
  • 911
  • 2
  • 15
Loading