• East Asian mathematical journal
• /
• v.23 no.1
• /
• pp.23-36
• /
• 2007

In this paper we consider the fuzzy ideals of N-group G where N is a nearring. We introduce fuzzy ideal ${\theta}_{\mu}$ of the quotient N-group $G/{\mu}$ with respect to a fuzzy ideal $\mu$ of G. If $\mu$ is a fuzzy ideal of G and $\theta$ a fuzzy ideal of $G/{\mu}$ such that ${\theta}_{\mu}\;{\subseteq}\;{\theta}$ and ${\theta}_{\mu}(0)\;=\;{\theta}(0)$, then corresponding ${\sigma}_{\theta}\;:\;G\;{\rightarrow}\;[0,\;1]$ is defined and proved that it is a fuzzy ideal of G such that ${\mu}\;{\subseteq}\;{\sigma}_{\theta}$ and ${\mu}(0)\;=\;{\sigma}_{\theta}(0)$. We also prove some results on homomorphisms and fuzzy ideals of N-groups. The image and preimage of fuzzy ideal $\mu$ under N-group homomorphism were studied. Finally it is obtained that if $f\;:\;G\;{\rightarrow}\;G^1$ is an epimorphism of N-groups, then there is an order preserving bijection between the fuzzy ideals of $G^1$ and the fuzzy ideals of G that are constant on kerf. Some examples related to these concepts were illustrated.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.407-464
• /
• 2023

Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.427-436
• /
• 2005

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals $m=P_0\;{\supset}\;P_1\;{\supset}\;{\cdotS}\;{\supset}\;P_t=P$ and all the other v-ideals are uniquely factored into a product of those simple ones. It then was also shown by Lipman that the predecessor of the smallest simple v-ideal P is either simple (P is free) or the product of two simple v-ideals (P is satellite), that the sequence of v-ideals between the maximal ideal and the smallest simple v-ideal P is saturated, and that the v-value of the maximal ideal is the m-adic order of P. Let m = (x, y) and denote the v-value difference |v(x) - v(y)| by $n_v$. In this paper, if the m-adic order of P is 2, we show that $O(P_i)\;=\;1\;for\;1\;{\leq}\;i\; {\leq}\;{\lceil}\;{\frac{b+1}{2}}{\rceil}\;and\;O(P_i)\;=2\;for\;{\lceil}\;\frac{b+3}{2}\rceil\;{\leq}\;i\;\leq\;t,\;where\;b=n_v$. We also show that $n_w\;=\;n_v$ when w is the prime divisor associated to a simple v-ideal $Q\;{\supset}\;P$ of order 2 and that w(R) = v(R) as well.

• East Asian mathematical journal
• /
• v.6 no.2
• /
• pp.167-182
• /
• 1990

The relationships between submodules of a module and ideals of the endomorphism ring of a module had been studied in [1]. For a submodule L of a moudle M, the set $I^L$ of all endomorphisms whose images are contained in L is a left ideal of the endomorphism ring End (M) and for a submodule N of M, the set $I_N$ of all endomorphisms whose kernels contain N is a right ideal of End (M). In this paper, author defines an H-invariant module and proves that every submodule of an H-invariant module is the image and kernel of unique endomorphisms. Every ideal $I^L(I_N)$ of the endomorphism ring End(M) when M is H-invariant is a left (respectively, right) principal ideal of End(M). From the above results, if a module M is H-invariant then each left, right, or both sided ideal I of End(M) is an intersection of a left, right, or both sided principal ideal and I itself appropriately. If M is an H-invariant module then the ACC on the set of all left ideals of type $I^L$ implies the ACC on M. Also if the set of all right ideals of type $I^L$ has DCC, then H-invariant module M satisfies ACC. If the set of all left ideals of type $I^L$ satisfies DCC, then H-invariant module M satisfies DCC. If the set of all right ideals of type $I_N$ satisfies ACC then H-invariant module M satisfies DCC. Therefore for an H-invariant module M, if the endomorphism ring End(M) is left Noetherian, then M satisfies ACC. And if End(M) is right Noetherian then M satisfies DCC. For an H-invariant module M, if End(M) is left Artinian then M satisfies DCC. Also if End(M) is right Artinian then M satisfies ACC.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.40 no.1
• /
• pp.69-80
• /
• 2012

The garden has long served as away of thinking about nature and about culture and how each influences the other (Francis and Hester, 1990). This study, viewing the garden as a representation of the ideal, tried to seek for detailed aspects of the aforementioned ideal with the representative examples of Thomas Jefferson's gardens. Hidden behind his best known position as a politician was his other career: designer and creator of several gardens. Monticello, Academical Village, and Poplar Forest represented not only his ideals of national values like freedom, democracy and agrarian society, but also a yearning for the rural area and ideals for higher education realization. His personal desire and ideal are represented inside the spatial order, together with his ideals as a politician and the pioneer of new country. By representing the symbolic meaning metaphorically and restructuring it through a spatial scheme, Jefferson's ideal was admired and shared with visitors. In this way, Jefferson's gardens were practical stages to reveal his ideals.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.2
• /
• pp.115-119
• /
• 2007

The notion of ideals in subtraction algebras and characterizations of ideals introduced by Y.B.Jun et al. [?]. Using this idea, we consider the fuzzification of an ideal of a subtraction algebra. In this paper, we define the concept of a fuzzy ideal of a subtraction algebra and study characterizations of a fuzzy ideal. We give some conditions to show that a fuzzy set in a subtraction algebra is a fuzzy ideal of a subtraction algebra. We investigate the generalization of some properties of a fuzzy ideal of a subtraction algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.455-464
• /
• 1998

In this paper, we give another proof of Theorem 2.13 of [4] without using the sup property. For the homomorphic image $f(\mu)$ and preimage $f^{-1}(\nu)$ of fuzzy left (resp. right) ideals $\mu$ and $\nu$ respectively, we establish the chains of level left (resp. right) ideals of $f(\mu)$ and $f^{-1}(\nu)$, respectively. Moreover, we prove that a necessary condition for a fuzzy ideal $\mu$ of a near-ring $R$ to be prime is that $\mu$ is two-valued.

• Kyungpook Mathematical Journal
• /
• v.45 no.2
• /
• pp.199-209
• /
• 2005

An ideal space is ${\cal{I}}-resolvable$ if it has two disjoint ${\cal{I}}-dense$ subsets. We answer the question: If X is ${\cal{I}}-resolvable$, then is X (${\cal{I}}\;{\cup}\;{\cal{N}$)-resolvable?, posed by Dontchev, Ganster and Rose. We give three generalizations of the well known Banach Category Theorem and deduce the Banach category Theorem as a corollary. Characterizations of completely codense ideals and ${\cal{I}-locally$ closed sets are given and their properties are discussed.

• Honam Mathematical Journal
• /
• v.27 no.4
• /
• pp.525-541
• /
• 2005

We give the characterization of an intuitionistic fuzzy ideal[resp. intuitionistic fuzzy left ideal, an intuitionistic fuzzy right ideal and an intuitionistic fuzzy bi-ideal] generated by an intuitionistic fuzzy set in a semigroup without any condition. And we prove that every intuitionistic fuzzy ideal of a semigroup S is the union of a family of intuitionistic fuzzy principle ideals of S. Finally, we investigate the intuitionistic fuzzy ideal generated by an intuitionistic fuzzy set in $S^1$.

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.603-612
• /
• 2012

In this paper, we introduce and study the intuitionistic fuzzy prime (semi-prime) ${\Gamma}$-ideals of ${\Gamma}$-LA-semigroups and some interesting properties are investigated. The main result of the paper is: if $A={\langle}{\mu}_A,{\gamma}_A{\rangle}$ is an IFS in ${\Gamma}$-LA-semigroup S, then $A={\langle}{\mu}_A,{\gamma}_A{\rangle}$ is an intuitionistic fuzzy prime (semi-prime) ${\Gamma}$-ideal of S if and only if for any $s,t{\in}[0,1]$, the sets $U({\mu}_A,s)=\{x{\in}S:{\mu}_A(x){\geq}s\}$ and $L({\gamma}_A,t)=\{x{\in}S:{\gamma}_A(x){\leq}t\}$ are prime (semi-prime) ${\Gamma}$-ideals of S.