scholarly journals Radical Structures of Fuzzy Polynomial Ideals in a Ring

2016 ◽  
Vol 2016 ◽  
pp. 1-5
Author(s):  
Hee Sik Kim ◽  
Chang Bum Kim ◽  
Keum Sook So

We investigate the radical structure of a fuzzy polynomial ideal induced by a fuzzy ideal of a ring and study its properties. Given a fuzzy idealβofRand a homomorphismf:R→R′, we show that iffxis the induced homomorphism off, that is,fx(∑i=0naixi)=∑i=0nf(ai)xi, thenfx-1[(β)x]=(f-1(β))x.

2019 ◽  
Vol 17 (1) ◽  
pp. 1538-1546
Author(s):  
Xin Zhou ◽  
Liangyun Chen ◽  
Yuan Chang

Abstract In this paper, we apply the concept of fuzzy sets to Novikov algebras, and introduce the concepts of L-fuzzy ideals and L-fuzzy subalgebras. We get a sufficient and neccessary condition such that an L-fuzzy subspace is an L-fuzzy ideal. Moreover, we show that the quotient algebra A/μ of the L-fuzzy ideal μ is isomorphic to the algebra A/Aμ of the non-fuzzy ideal Aμ. Finally, we discuss the algebraic properties of surjective homomorphic image and preimage of an L-fuzzy ideal.


2018 ◽  
Vol 24 (2) ◽  
pp. 233-239
Author(s):  
Binod Chandra Tripathy ◽  
Gautam Chandra Ray

Abstract The aim of this paper is to introduce a new concept of fuzzy δ-I-continuity between mixed fuzzy ideal topological spaces and investigate some properties of this mapping.


2016 ◽  
Vol 14 (1) ◽  
pp. 531-542
Author(s):  
Ninghua Gao ◽  
Qingguo Li ◽  
Zhaowen Li

AbstractThe notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals. By defining an operator “⇝” between two arbitrary L-fuzzy ideals in terms of L-fuzzy extended ideals, the result that “the family of all L-fuzzy ideals in a Boolean ring is a complete Heyting algebra” is immediately obtained. Furthermore, the lattice structures of L-fuzzy extended ideals of an L-fuzzy ideal, L-fuzzy extended ideals relative to an L-fuzzy subset, L-fuzzy stable ideals relative to an L-fuzzy subset and their connections are studied in this paper.


Author(s):  
HERVÉ PERDRY ◽  
PETER SCHUSTER

We give a constructive proof showing that every finitely generated polynomial ideal has a Gröbner basis, provided the ring of coefficients is Noetherian in the sense of Richman and Seidenberg. That is, we give a constructive termination proof for a variant of the well-known algorithm for computing the Gröbner basis. In combination with a purely order-theoretic result we have proved in a separate paper, this yields a unified constructive proof of the Hilbert basis theorem for all Noether classes: if a ring belongs to a Noether class, then so does the polynomial ring. Our proof can be seen as a constructive reworking of one of the classical proofs, in the spirit of the partial realisation of Hilbert's programme in algebra put forward by Coquand and Lombardi. The rings under consideration need not be commutative, but are assumed to be coherent and strongly discrete: that is, they admit a membership test for every finitely generated ideal. As a complement to the proof, we provide a prime decomposition for commutative rings possessing the finite-depth property.


Sign in / Sign up

Export Citation Format

Share Document