• Korean Journal of Mathematics
• /
• v.13 no.2
• /
• pp.177-182
• /
• 2005

If a semigroup S has no nontrivial congruences then S is either simple or 0-simple.([2]) By contrast with ring theory, not every congruence on a semigroup is associated with an ideal, hence some simple(or 0-simple) semigroup may have a nontrivial congruence. Thus it is a short note for the characterization of a simple(or 0-simple) semigroup that is congruence-free. A semigroup that has no nontrivial congruences is said to be congruence-free.

• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.2
• /
• pp.207-214
• /
• 2019

The notions of a fuzzy simple BCK/BCI-algebra and an (${\in},{\in}{\vee}q$)-fuzzy simple BCK/BCI-algebra are introduced. Using these notions, characterizations of a simple BCK/BCI-algebra are considered.

• Kyungpook Mathematical Journal
• /
• v.63 no.4
• /
• pp.521-537
• /
• 2023

A module M is called a simple-direct-injective module if, whenever A and B are simple submodules of M with A ≅ B and B is a direct summand of M, then A is a direct summand of M. Some new characterizations of these modules are proved. The structure of simple-direct-injective modules over a commutative Dedekind domain is fully determined. Also, some relevant counterexamples are indicated to show that a left simple-direct-injective ring need not be right simple-direct-injective.

• Journal of computational fluids engineering
• /
• v.1 no.1
• /
• pp.26-34
• /
• 1996

The performance of the SIMPLE, SIMPLE-C and PISO algorithms for the treatment of the pressure-velocity coupling in fluid flow problems were examined by comparing the computational effort required to obtain the same level of the convergence. Example problems are circular duct and 90-degree bent square-duct. For circular duct case, laminar and turbulent flow were computed. For 90-degree bent square-duct case, laminar flow was simulated by the time-marching method as well as the iterative method. The convergence speed of the other two algorithms are not always superior to SIMPLE algorithm. SIMPLE algorithm is faster than SIMPLE-C algorithm in the simple laminar flow calculations. The application of the PISO algorithm in three dimensional general coordinates is not so effective as in two-dimensional ones. Since computational time of PISO algorithm is increased at each time step(or iterative step) in three dimension, the total convergence speed is not decreased. But PISO algorithm is stable for large time step by using time marching method,.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.11 no.3
• /
• pp.29-36
• /
• 2007

Let T be an ergodic measure preserving transformation on (X, B, ${\mu}$). It is called 2-simple if every 2-fold ergodic joining is either a product measure or an off-diagonal measure. In general, factors of simple maps are not simple. So far, there has been no characterization of the factor of simple maps. In this paper, we give a joining characterization of factors of simple maps.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.5
• /
• pp.688-694
• /
• 2018

The transition section of the overhead rigid conductor rail (ORCR) consists of a direct induction device and a limit point to prevent the power supply failure and failure of the electric railway vehicle pantograph due to the difference of the uplift in the catenary line. In T-Bar transition section, a twin simple catenary is mostly installed between the overhead catenary system (OCS) in the ground section and the ORCR in the underground section. In this paper, we compare and analyze the possibility of replacing the twin simple catenary with heavy simple catenary. The reliability of numerical analysis results was confirmed by comparing field test with numerical results. Comparing the numerical results of the twin simple catenary with the heavy simple catenary in the transition section, the difference uplift is 5.9[mm] on average. When applying heavy simple catenary instead of twin simple catenary, the slight difference of uplift can be compensated by adjusting the height of hanger-ear or support bracket.

• Honam Mathematical Journal
• /
• v.31 no.4
• /
• pp.529-540
• /
• 2009

The authors have investigated several properties of endomorphism rings of modules. In particular, a closedly simple module and a closedly semi-simple module were defined and then the regularities of its rings of endomorphisms were discussed.

• 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}$.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.431-440
• /
• 2002

Recently P. Ozsv$\'{a}$th Z. Szab$\'{o}$ proved higher type adjunction inequalities for embedded surfaces in 4-manifolds of non-simple type. The aim of this short paper is to give a simple and direct proof of such higher type adjunction inequalities for smoothly embedded surfaces with negative self-intersection number in smooth 4-manifolds of non-simple type. This will be achieved through a relation between the Seiberg-Witten invariants used to get adjunction inequalities of 4-manifolds of simple type and a blow-up formula.

• Communications of the Korean Mathematical Society
• /
• v.26 no.3
• /
• pp.405-416
• /
• 2011

In this paper, we first introduce the concept of left strongly simple po-semigroups, then we discuss properties and characterizations nil-extensions of left strongly simple po-semigroups and semilattices of leftstrongly simple po-semigroups. Finally, we give some characterizations of the chain of left strongly simple po-semigroups.