Product Inverse Operator Properties induce Group