Parasurface groups

TL;DR

This paper investigates the properties of parasurface groups, showing that an analog of Magnus' theorem for free groups does not hold for surface groups, revealing fundamental differences in their algebraic structure.

Contribution

The paper demonstrates that the classical Magnus' theorem for free groups does not extend to surface groups, highlighting a key distinction in their algebraic behavior.

Findings

Magnus' theorem fails for surface groups

Surface groups exhibit different lower central series properties

The analogy between free and surface groups has limitations

Abstract

A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. We mimic this theory with surface groups playing the role of free groups. Our main result shows that the analog of Magnus' Theorem is false in this setting.