• Journal of applied mathematics & informatics
• /
• v.8 no.3
• /
• pp.855-867
• /
• 2001

This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

• Journal of IKEEE
• /
• v.3 no.2 s.5
• /
• pp.295-304
• /
• 1999

This paper presents a method of constructing the Multiple-Valued Logic Systems(MVLS) over Finite Fields(FF) using by Decision Diagram(DD) that is based on Graph Theory. The proposed method is as following. First, we derivate the Ordered Multiple-Valued Logic Decision Diagram(OMVLDD) based on the multiple-valued Shannon's expansion theorem and we execute function decomposition using by sub-graph. Next, we propose the variable selecting algorithm and simplification algorithm after apply the each isomorphism and reodering vertex. Also we propose MVLS design method.

• Korean System Dynamics Review
• /
• v.15 no.4
• /
• pp.29-60
• /
• 2014

As every commentators has noted, bureaucratic corruption, which has complicated causes, is prevalent phenomenon in Korean society. Especially, most people realize that systemic corruption has a strong negative effect on society; however, only few studies reflect on the nature of 'systemic corruption' and it seems that no established theory explains the phenomenon. Thus, this study suggest that we look more carefully into the nature and mechanisms of 'systemic corruption'. Interdisciplinary approach based on the integrated model of structure-behavior to analyse the nature of bureaucratic corruption. The system dynamics method can test the mechanisms of 'systemic corruption'. With this way, the factors generating systemic corruption represent the relationships reinforcing and balancing within system dynamics model. This paper also consider 'isomorphism' and 'dominance' as control mechanisms to systemic corruption. From the CLD(Causal Loop Diagram), three main areas(rent in organization, networking, control mechanisms) are overlapped and it indicates dynamic relationships of systemic corruption in organizations.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.8
• /
• pp.39-48
• /
• 1997

The fast redundancy identification is required to perform an efficient test pattern genration. Due to the reconvergent fanouts which make the dependency among objectives and the fault propagation blocking, there may exist redundnat faults in the cirucit. This paper presents the isomorphism identification and the pseudo dominator algorithms which are useful to identify redundant faults in combinational circuits. The isomorphism identification algorithm determines whether mandatory objectives required for fault detection cannot be simultaneously satisfied from primary input assignments or not using binary decision diagrma. The pseudo dominator algorithm determines whether faults propagation is possible or not by considering all paths at a given fanout node. Several experiments using ISCAS 85 benchmark circuits demonstrate the efficiency and practicability of the algorithms.

• Communications of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.157-161
• /
• 2007

Let G be a p-mixed abelian group with semi-complete torsion subgroup $G_t$ such that G is splitting or is of torsion-free rank one, and let R be a commutative unitary ring of prime characteristic p. It is proved that the group algebras RG and RH are R-isomorphic for any group H if and only if G and H are isomorphic. This isomorphism relationship extends our earlier results in (Southeast Asian Bull. Math., 2002), (Proc. Amer. Math. Soc., 2002) and (Bull. Korean Math. Soc., 2005) as well as completely settles a problem posed by W. May in (Proc. Amer. Math. Soc., 1979).

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.285-291
• /
• 1994

This paper is a contribution to the study of the isomorphism problems for algebras. Among the isomorphism problems, that of global determination is investigated here. That is, our investigation of the problems is concerned with the question whether two algebras are isomorphic when their globals are isomorphic. The answer is not always affirmative. The counterexample, due to E. M. Mogiljanskaja, is the class of all infinite semigroups. But T. Tamura and J. Shafer [6] proved that the class of all groups is globally determined and announced the same result for the class of rectangular bands. Vazenin [7] proved that for any set X, the transformation semigroup $T_{X}$ must be isomorphic to any semigroup S for any P(S)$\simeq$P($T_{X}/TEX>).(omitted)

• Journal of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.249-271
• /
• 2008

We prove the Hyers-Ulam stability of linear d-isometries in linear d-normed Banach modules over a unital $C^*-algebra$ and of linear isometries in Banach modules over a unital $C^*-algebra$. The main purpose of this paper is to investigate d-isometric $C^*-algebra$ isomor-phisms between linear d-normed $C^*-algebras$ and isometric $C^*-algebra$ isomorphisms between $C^*-algebras$, and d-isometric Poisson $C^*-algebra$ isomorphisms between linear d-normed Poisson $C^*-algebras$ and isometric Poisson $C^*-algebra$ isomorphisms between Poisson $C^*-algebras$. We moreover prove the Hyers-Ulam stability of their d-isometric homomorphisms and of their isometric homomorphisms.

• Communications of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.257-268
• /
• 2008

Let G and K be compact subgroups of orthogonal groups and $0{\leq}r<x<{\infty}$. We prove that every topological fiber bundle over a definable $C^r$ manifold whose structure group is K admits a unique strongly definable $C^r$ fiber bundle structure up to definable $C^r$ fiber bundle isomorphism. We prove that every G vector bundle over an affine definable $C^rG$ manifold admits a unique strongly definable $C^rG$ vector bundle structure up to definable $C^rG$ vector bundle isomorphism.

• Journal of Aerospace System Engineering
• /
• v.9 no.3
• /
• pp.17-22
• /
• 2015

The UAV industry grows rapidly and the civil UAV market which preparing the commercial services is expected to accelerate the growth. The new opportunities from the technological progress and deregulation show two kinds of organizational structure in the UAV industry. The companies from the traditional aircraft industry and the other sectors like IT industry have different organizational structures of the value chains, supply chains and the regulatory policies which related with them. And from the isomorphism theory it is predicted that those structures will change and converge to certain similar homogeneous features as the UAV industry matures. The matured form will be resulted by the new regulatory policies about the airspace, certifications and the operation rules about the UAV and the future market size and growth speed are also affected by them.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.