propiedad de howson
En el tema matemático de la teoría de grupos , la propiedad de Howson , también conocida como la propiedad de intersección generada finitamente (FGIP) , es la propiedad de un grupo que dice que la intersección de dos subgrupos generados finitamente de este grupo nuevamente se genera finitamente. La propiedad lleva el nombre de Albert G. Howson , quien en un documento de 1954 estableció que los grupos libres tienen esta propiedad. [1]
Se dice que un grupo tiene la propiedad de Howson si por cada subgrupo finitamente generado de su intersección hay de nuevo un subgrupo finitamente generado de . [2]
