Monoid quotiented by units

Stream: Is there code for X?

[Wrenna Robson]

Do we have a spelling for monoids quotiented by their unit subgroup, i.e. by the relation a ~ b iff there exists a unit u with a = u * b?

[Bhavik Mehta]

docs#Associates

[Wrenna Robson]

Thanks!

[Wrenna Robson]

(That is multiplication on the right but I assume that is just a matter of Op).