Fuzzy orders relative to fuzzy subgroups (Q1338862)

Let \(G\) denote a group and \(e\) the identity of \(G\). Let \(A\) be a fuzzy subgroup of \(G\) and let \(x\in G\). The smallest positive integer \(n\) such that \(A(x^n)=A(e)\) is called the fuzzy order of \(G\) with respect to \(A\) and is denoted by \(\text{FO}_A(x)\). If no such \(n\) exists, then \(x\) is said to be of infinite fuzzy order with respect to \(A\). Let \(\text{FO}_A(x)=n\). The author shows that \(\text{FO}_A(x^m)=n/d\) where \(m\) is an integer and \(d\) is the gcd of \(m\) and \(n\). The author also shows that if \(i\equiv j\bmod n\), then \(\text{FO}_A (x^i)=\text{FO}_A(x^j)\). Let \(y\in G\) be such that \(xy=yx\) and \(\text{FO}_A(x)\) and \(\text{FO}_A(y)\) are relatively prime. The author shows that \(\text{FO}_A(x) \text{FO}_A(y)=\text{FO}_A(xy)\). Let \(z\in G\). If \(\text{FO}_A(z)=mn\) where \(m\) and \(n\) are relatively prime, then there exists \(x, y\in G\) such that \(z=xy=yx\), \(\text{FO}_A(x)=m\), and \(\text{FO}_A(y)=n\). Furthermore such an expression for \(z\) is unique with respect to fuzzy grades.