Galois theory for fuzzy fields
type: Item
instance of: scholarly article
title: Galois theory for fuzzy fields
zbMATH Open document ID: 0963.12002
DOI: 10.1016/S0165-0114(98)00397-2
author: Marius Somodi
published in: Fuzzy Sets and Systems
publication date: 2001-07-05T00:00:00Z
review text: Let \(F/K\) be a field extension and let \(G(F/K)\) denote the Galois group of \(F/K\). In this paper the author develops a generalized form of the Galois connection between the intermediate fields of a field extension and the subgroups of \(G(F/K)\). In particular, the author extends the Galois connection to include fuzzy intermediate fields of \(F/K\) and fuzzy subgroups of \(G(F/K)\). Let \(L\) denote the set of all fuzzy intermediate fields of \(F/K\) and \(H\) the set of all fuzzy subgroups of \(G(F/K)\). A Galois connection between \(L\) and \(H\) is defined to be a pair of functions \((\Phi,\Psi)\) such that \(\Phi:L\to H\), \(\Psi:H\to L\) and \(\Phi\Psi(\mu) \geq\mu\) \(\forall\mu\in H\), \(\Psi \Phi (\eta)\geq \eta\) \(\forall\eta \in L\). Let \(x\in F\) and \(\sigma\in G(F/K) \). Define \(A_x=\{\sigma\in G(F/K)\mid \sigma(x)\neq x\}\) and \(A_\sigma= \{x\in F \mid\sigma (x)\neq x\}\). The author shows that if \((\Phi,\Psi)\) is defined by \(\Psi(\mu) (x)=1-\sup\{\mu (\sigma)\mid \sigma\in A_x\}\) \(\forall x\in F\) and \(\Phi(\eta) (\sigma)=1 -\sup\{\eta (x)\mid x\in A_\sigma\}\) \(\forall\sigma\in G(F/K)\), then \((\Phi,\Psi)\) is a Galois connection between \(L\) and \(H\). The author also shows that if \(F/K\) is a Galois extension with \([F:K] <\infty\), then there is a one-to-one correspondence between the fuzzy intermediate fields of \(F/K\) and the fuzzy subgroups of \(G(F/K)\) given by \(\eta\to\Phi(\eta)\). The inverse of this function is \(\mu\to\Psi (\mu)\). The interested reader should note that a fuzzy Galois theory has been developed by the reviewer [J. Fuzzy Math. 1, No. 3, 659-671 (1993; Zbl 0787.12003) and Infinite fuzzy Galois theory, Adv. Fuzzy Theory Technology, Vol. II, 99-109 (1994; Zbl 0787.12003)]. See also, \textit{J. N. Mordeson} and \textit{D. S. Malik}, Fuzzy Commutative Algebra, World Scientific (1998).
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 12K99
zbMATH DE Number: 1563546
zbMATH Keywords: Galois theory
zbMATH Keywords: fuzzy fields
zbMATH Keywords: Galois connection
zbMATH Keywords: fuzzy intermediate fields
zbMATH Keywords: fuzzy subgroups
reviewed by: John N. Mordeson
MaRDI profile type: Publication
cites work: On fuzzy ideals and fuzzy quotient rings of a ring
cites work: A contribution to the theory of fuzzy subgroups
cites work: Fuzzy groups and level subgroups
cites work: Structure and construction of fuzzy subgroups of a group
cites work: Q4044675
cites work: Fuzzy vector spaces
cites work: Fuzzy subfields of finite fields
cites work: Q3990599
cites work: Fuzzy fields and fuzzy linear spaces
cites work: Fuzzy groups
full work available at URL: s0165-0114(98)00397-2
OpenAlex ID: W2078989592
description: scientific article; zbMATH DE number 1563546