Tom Head's join structure of fuzzy subgroups

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)].

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Tom Head's join structure of fuzzy subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1349220)