Some properties of fuzzy topological groups (Q5951696)

The author characterizes some basic properties of fuzzy topological groups and shows that if \(H\) is a fuzzy subgroup of a fuzzy topological group \(G\) and \(\overline H\times\overline H\subseteq \overline {H \times H}\), then so is \(\overline H\); it is further shown that if \(H\) is a fuzzy normal subgroup of \(G\) and \(\overline H\times\overline H\subseteq \overline {H \times H}\), then so is \(\overline H\). Furthermore the author shows that for any fuzzy subset \(A\) of a fuzzy topological group, if \(x_p\in\cap AW= \cap WA\) and \(0.5< p\leq q\), then \(x_p\in \overline A\), and if \(x_p\in\overline A\) and \(p\geq q\), then \((\cap AW)(x)= (\cap WA)(x)>0\) where \(\{W\}\) is the system of all \(Q\)-neighbourhoods of the identity \(e_q\).