Tom Head's join structure of fuzzy subgroups (Q1349220): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q171333 |
||
Property / reviewed by | |||
Property / reviewed by: Xiang-Yun Xie / rank | |||
Revision as of 04:45, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tom Head's join structure of fuzzy subgroups |
scientific article |
Statements
Tom Head's join structure of fuzzy subgroups (English)
0 references
21 May 2002
0 references
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)].
0 references
fuzzy algebras
0 references
fuzzy subgroups
0 references
joins of fuzzy subgroups
0 references
lattices
0 references
strong level subsets
0 references
fuzzy normal subgroups
0 references
products of fuzzy sets
0 references
modularity
0 references