Look for the shadow...

Ideals can be identified by the lack of inverse. Super obvious in retrospect, but I had a "why didn't anybody tell me" moment when it (finally) occurred to me.