I thought it was a semigroup.

Now I realize why it's called a field. I always thought of a physical field but this makes way more sense. If there's enough division in a group, it is considered a field.