Numerical semigroups: Apéry sets and Hilbert series. (Q734976)

A numerical AA-semigroup \(S\) is defined as the semigroup generated by positive integers \(a,a+d,a+2d,\dots,a+kd,c\), assumed to be relatively prime. If \(g\) is the largest integer not in \(S\), then \(S\) is called symmetric if \(S\cup(S-g)\) equals the ring of integers. The authors characterize symmetric AA-semigroups, and give an algorithm which permits the use of a formula due to the second author [J. Reine Angew. Math. 307/308, 431-440 (1979; Zbl 0395.10021)] to determine the Apéry set of \(S\) [\textit{R. Apéry}, C. R. Acad. Sci., Paris 222, 1198-1200 (1946; Zbl 0061.35404)], hence also the corresponding Frobenius number.