• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.1-10
• /
• 2008

Conditions for an ideal to be irreducible are provided. The notion of an order system in a subtraction algebra is introduced, and related properties are investigated. Relations between ideals and order systems are given. The concept of a fixed map in a subtraction algebra is discussed, and related properties are investigated.

• Communications of the Korean Mathematical Society
• /
• v.23 no.4
• /
• pp.511-528
• /
• 2008

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 $\upsilon$ 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 $\upsilon$-ideals $m\;=\;P_0\;{\supset}\;P_1\;{\supset}\;{\cdots}\;{\supset}\;P_t\;=\;P$ and all the other $\upsilon$-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple $\upsilon$-ideal P is either simple or the product of two simple $\upsilon$-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple $\upsilon$-ideals when P is satellite of order 3 in terms of the invariant $b_{\upsilon}\;=\;|\upsilon(x)\;-\;\upsilon(y)|$, where $\upsilon$ is the prime divisor associated to P and m = (x, y). Denote $b_{\upsilon}$ by b and let b = 3k + 1 for k = 0, 1, 2. Let $n_i$ be the number of nonmaximal simple $\upsilon$-ideals of order i for i = 1, 2, 3. We show that the numbers $n_{\upsilon}$ = ($n_1$, $n_2$, $n_3$) = (${\lceil}\frac{b+1}{3}{\rceil}$, 1, 1) and that the rank of P is ${\lceil}\frac{b+7}{3}{\rceil}$ = k + 3. We then describe all the $\upsilon$-ideals from m to P as products of those simple $\upsilon$-ideals. In particular, we find the conductor ideal and the $\upsilon$-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for $k\;{\geq}\;1$. We also find the value semigroup $\upsilon(R)$ of a satellite simple valuation ideal P of order 3 in terms of $b_{\upsilon}$.

• 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.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 Advanced Marine Engineering and Technology
• /
• v.28 no.5
• /
• pp.837-846
• /
• 2004

This paper presents a screening technique for greatly reducing the computation involved in determining the optimal location and types of Flexible AC Transmission System (FACTS) devices in a large power system. The first-order sensitivities of the generation cost for various FACTS devices are derived. This technique requires solving only one optimal power flow (OPF) to obtain sensitivities with respect to FACTS device control variables for every transmission line To implement a sensitivity-based screening technique, we used a new UPFC model, which consists of an ideal transformer with a complex turns ratio and a variable shunt admittance. A S-bus system based on the IEEE 14-bus system was used to illustrate the technique.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.247-256
• /
• 2004

Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.85-101
• /
• 2018

Let S be a polynomial ring over a field K, with a monomial order ${\prec}$, and let I be an unmixed graded ideal of S. In this paper we study two functions associated to I: The minimum distance function ${\delta}_I$ and the footprint function $fp_I$. It is shown that ${\delta}_I$ is positive and that $fp_I$ is positive if the initial ideal of I is unmixed. Then we show that if I is radical and its associated primes are generated by linear forms, then ${\delta}_I$ is strictly decreasing until it reaches the asymptotic value 1. If I is the edge ideal of a Cohen-Macaulay bipartite graph, we show that ${\delta}_I(d)=1$ for d greater than or equal to the regularity of S/I. For a graded ideal of dimension ${\geq}1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function.

• Transactions of Materials Processing
• /
• v.9 no.6
• /
• pp.598-603
• /
• 2000

In order to improve trial-and-error based conventional practices for optimizing forming processes, a direct design method to guide iterative design practices, called the ideal forming theory, has been previously developed. In the theory, material elements are required to deform following the minimum Plastic work Path. The theory can be used to determine the ideal initial blank shape needed to best achieve a specified final shape while resulting in optimum strain distributions. In this work, the direct design method based on the ideal forming theory was applied to design initial design shape for VCR deck chassis. Based on the solution of the ideal forming theory, FEM analysis was utilized to evaluate an optimum blank shape to be formed without tearing. Simulation results are in good agreement with experimental data. It was shown that the proposed sequential design procedure based on direct design method and FEM can be successfully applied to optimize the die design Procedure of sheet metal forming processes.

• East Asian mathematical journal
• /
• v.34 no.4
• /
• pp.537-548
• /
• 2018

An integrated approach has been regarded as important in mathematics education. The ultimate ideal of mathematics education is the development of whole person in students. However, mathematics education has not been successful in achieving this ideal. The purpose of this article is to identify an integrated approach to secondary mathematics education in order to achieve the ideal of the whole person. In particular, Ideas for an integrated approach for mathematical activities are sought. This study starts with analysis of recent attempts to integrate knowledge and attitude of mathematics education. Finally, some suggestions for the cultural and institutional conditions in which these integrative ideas can be effectively realized in secondary school.

• Journal of the Chungcheong Mathematical Society
• /
• v.2 no.1
• /
• pp.15-35
• /
• 1989

In this paper, we give a characterization of an order ideal which is not necessarily positively generated in the ordered space of Hermitian matrices. Order properties for perfect subspaces are also studied along with other subspace order properties.