[sympy] Permutation group triple product property

Hello everyone, I was thinking of Implementing *Permutation group triple product property* as suggested by *S.Y. Lee* here (https://github.com/sympy/sympy/issues/18525

[sympy] Permutation group triple product property

Hello everyone, I was thinking of Implementing *Permutation group triple product property* as suggested by *S.Y. Lee* here (https://github.com/sympy/sympy/issues/18525 ). You can see more about it using these two links: 1.)https://en.wikipedia.org/wiki/Triple_product_property 2.)https://arxiv.or