Estoy intentando calcular el grupo fundamental de una superficie orientable X de género contablemente infinito. El 1 -esqueleto Y de X es una cuña infinita de círculos, por lo que su grupo fundamental es un grupo libre sobre generadores contablemente infinitos. 2 -célula unida a Y . Mi conjetura es que está unido por bucle de producto de conmutadores de generadores pero este producto al ser infinito no tiene sentido en grupo.