ring with involution