Associative ideals in monoids | Synapse