Characterizations of knot groups and knot symmetric quandles of surface-links

The Artin-Alexander theorem characterizes the knot groups of classical links, providing necessary and sufficient conditions for a group to be the knot group of some classical link. This result was shown using the closed braid method. Gonzalez-Acuna and Kamada independently extended this characterization to the knot groups of orientable surface-links. Kamada applied the closed 2-dimensional braid method to show this result. In this paper, we generalize these results to characterize the knot groups of surface-links, including non-orientable ones. Our approach relies on a plat form presentation for surface-links. Furthermore, we show a similar characterization for the knot symmetric quandles of surface-links. As an application, we show that every dihedral quandle with an arbitrarily good involution can be realized as the knot symmetric quandle of a surface-link.