On the direct product of fuzzy topological groups (Q1078680)

For basic definitions, see the authors' preceding paper [ibid. 12, 289- 299 (1984; Zbl 0577.22003).] For \(1\leq i\leq n\), let \(A_ i\) be a fuzzy set in the fuzzy topological group (ftg.) \((X_ i,{\mathcal T}_ i)\). Then \(\prod^{n}_{i=1}A_ i\) is the fuzzy set in \(X=\prod^{n}_{i=1}X_ i\) that has membership function given by \(\mu_ A(x^{(1)},...,x^{(n)})=\min \{\mu_{A_ 1}(x^{(1)}),...,\mu_{A_ n}(x^{(n)})\}\). \({\mathcal U}_{x_{\lambda}}(i)\) a fuzzy open Q-nbd. system of \(x_{\lambda}^{(i)}\) relative to \({\mathcal T}_ i\), and \({\mathcal U}_{x_{\lambda}}=\{U_{x_{\lambda}}|\) there exists \(U_ i\in {\mathcal U}^{(i)}_{x_{\lambda}}\), \(1\leq i\leq n\), such that \(\prod^{n}_{i=1}U_ i\subseteq U_{x_{\lambda}}\}\). Then \({\mathcal T}=\{U\in {\mathcal U}_{x_{\lambda}}\) whenever \(x_{\lambda}^ q \)U\(\}\) is a fuzzy topology for X; \({\mathcal U}_{x_{\lambda}}\) is a Q- neighbourhood system of \(x_{\lambda}\); and (X,\({\mathcal T})\) is a ftg. Furthermore, let the ftg (X,T) be the dissolved direct product of normal subgroups \((N_ i,{\mathcal T}_ i)\), \(1\leq i\leq k\), of the algebraic group X; (X',\({\mathcal T}')\) be the direct product of the ftg's \((N_ i,{\mathcal T}_ i)\); and f, \(f_ i\) be the maps given by \((x^{(1)},...,x^{(k)})\mapsto x^{(1)}...x^{(k)}\) and \(x^{(i)}\mapsto (e,...,e,x^{(i)},e,...,e)\), respectively. Then f is an isomorphism of the ftg (X',\({\mathcal T}')\) onto (X,\({\mathcal T})\), and, if (X,\({\mathcal T})\) is a fully stratified space, then \(ff_ i\) is the identity map on \((N_ i,{\mathcal T}_ i)\).