Tag: multiplicative inverse property