3 votos

¿Es un subgrupo de índice finito de un subgrupo finitamente presentado?

Sí conozco el teorema de Schreier, que afirma que un subgrupo de índice finito de un grupo finitamente generado es finitamente generado. Aparte de esto, no tengo ninguna razón para sospechar una respuesta positiva a mi pregunta, aparte de que sería agradable.

4voto

J.-E. Pin Puntos 5730

Esto es una consecuencia del algoritmo Reidemeister-Schreier. Véase el capítulo 2, proposición 4.2 de [1] o el capítulo 2, corolario 2.8 de [2].

[1] Lyndon y Schupp, Combinatorial group theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 89. Springer-Verlag, Berlín-Nueva York, 1977. xiv+339 pp.

[2] Magnus, Karrass y Solitar, Combinatorial group theory. Presentaciones de grupos en términos de generadores y relaciones. Segunda edición revisada. Dover Publications, Inc., Nueva York, 1976. xii+444 pp.

2voto

M.U. Puntos 834

Es cierto. Porque ser finitamente presentable es una propiedad geométrica. Más precisamente "ser finitamente presentable" se preserva bajo cuasi-isometrías y un subgrupo de índice finito es cuasi-isométrico al gran grupo.

1voto

Splanky222 Puntos 26

Sí lo son, los subgrupos de índice finito de subgrupos finitamente presentados son finitamente presentados. De hecho se sabe que si un grupo es cuasi-isométrico a un grupo finitamente presentado, entonces es finitamente presentado (los subgrupos de índice finito son cuasi-isométricos).

Esto se demuestra en Conferencias sobre teoría geométrica de grupos , de Cornelia Druţu y Michael Kapovich, que aún está en proceso de elaboración, pero tal como está ahora, es Cor 6.40. La idea está esbozada en Temas de teoría geométrica de grupos también por de la Harpe, V.A.3.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X