An Arf semigroup is a specific type of algebraic structure studied in the context of commutative algebra and algebraic geometry, especially in the theory of integral closures of rings and in the classification of singularities.
New to topics? Read the docs here!