What is the correct usage of the terms ‘under’ and ‘over’ in abstract algebra?

For example, the Wikipedia article on rings states that a ring is:

• an abelian group under addition
• a monoid under multiplication