On the decisional problem based on matrix power function defined over non-commutative group | Synapse