Tom Head's join structure of fuzzy subgroups (Q1349220)

Let \(G\) be a group, \(\mu\), \(\eta\) fuzzy subsets of \(G\). Define fuzzy subsets \(\mu'\), \(\eta'\) as follows: \(\eta'(x)=\eta(x)\), \(\mu'(x)=\mu(x)\), \(\forall x\not=e\) and \(\eta'(e)=\mu'(e)=\sup\{\eta(e),\mu(e)\}\). If \(\mu,\eta\) are fuzzy subgroups of \(G\), then the pair \(\mu',\eta'\) is called the tip extended pair of fuzzy subgroups corresponding to \(\mu,\eta\) [\textit{T. Head}, Fuzzy Sets Syst. 73, No. 3, 349-358 (1995; Zbl 0852.04009); ibid. 79, No. 2, 277-278 (1996; Zbl 0874.04007)]. In this paper the author uses this concept to define the join of fuzzy subgroups, i.e. if \(\mu,\eta\) are fuzzy subgroups of \(G\), \(\eta\vee\mu=\eta'\circ\mu'\). Using this definition of join, the author provides a simple and direct proof of modularity of the lattice of fuzzy normal subgroups. Moreover, the author also demonstrates other applications regarding quasinormality and the fuzzy submonoid generated by two fuzzy submonoids using the redefined sup-min product due to \textit{J.-G. Kim} [Inf. Sci. 91, No. 1-2, 77-93 (1996; Zbl 0878.20048)].