This is known as the "group completion of a semigroup" or "group of fractions of a semigroup".
これは「半群の group completion」あるいは「半群の分数群 (group of fractions of a semigroup)」として知られている。