• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.513-518
• /
• 2007

There is a one to one correspondence between Artinian algebras $k[x_1,...,x_n]/Ann(M)$ and finitely generated $k[x_1,...,x_n]-submodules$ M of $k[y_1,...,y_n]$ by Inverse System. In particular, any Artinian level algebra $k[x_1,...,x_n]/Ann(M)$ can be obtained when M is finitely generated by only maximal degree generators. We prove that H = (1, 4, 8, 13,..., 27, 8, 2) is not a level Artinian O-sequence using this inverse system.

• Proceedings of the KIEE Conference
• /
• 1979.08a
• /
• pp.69-72
• /
• 1979

This paper deals with the computer method of finding the minimal sum of products for a switching function by using the MASK method derived from the characteristics of the Boolean algebra. The experiments with the program which is dissimilar to the previous computer programs show that the algorithm presented will be more efficient.

• Journal of the Chungcheong Mathematical Society
• /
• v.16 no.1
• /
• pp.81-96
• /
• 2003

Let ${\sigma}:k{\rightarrow}A{\otimes}B$ be a skew copairing on (A, B), where A and B are Hopf algebras of the same dimension n. Skew dual bases of A and B are introduced. If ${\sigma}$ is an invertible skew copairing then we can give a 2-cocycle bilinear form [${\sigma}$] on $A{\otimes}B$ and define a new Hopf algebra.

• Journal of applied mathematics & informatics
• /
• v.32 no.1_2
• /
• pp.27-38
• /
• 2014

The notion of generalized (regular) (${\alpha},\;{\beta}$)-derivations of a BCI-algebra is introduced, some useful examples are discussed, and related properties are investigated. The condition for a generalized (${\alpha},\;{\beta}$)-derivation to be regular is provided. The concepts of a generalized F-invariant (${\alpha},\;{\beta}$)-derivation and ${\alpha}$-ideal are introduced, and their relations are discussed. Moreover, some results on regular generalized (${\alpha},\;{\beta}$)-derivations are proved.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.717-722
• /
• 1999

The set of continuous maps of a space X to real usual space R equipped with the toplogy of pointwise convergence will be denoted by $C_p$(X). In this paper, we prove that; $C_p$(X) is hereditarily separable and hereditary Lindelof if and only if $X^n$ is hereditarily separable and hereditary Lindelof.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.1135-1202
• /
• 2008

We construct the Fock space representations of classical quantum affine algebras using combinatorics of Young walls. We also show that the crystal graphs of the Fock space representations can be realized as the crystal consisting of proper Young walls. Finally, we give a generalized version of Lascoux-Leclerc-Thibon algorithm for computing the global bases of the basic representations of classical quantum affine algebras.

• Communications of Mathematical Education
• /
• v.19 no.4 s.24
• /
• pp.793-803
• /
• 2005

In this paper, we study the effectiveness of college mathematics education by counseling freshman. And we discuss the effectiveness that the college mathematics education can be promoted throughout counseling freshman and by teaching examples in engineering mathematics in courses of calculus and differential equation and linear algebra.

• Communications of the Korean Mathematical Society
• /
• v.17 no.4
• /
• pp.607-618
• /
• 2002

Let A be a noncommutative Banach algebra. Suppose there exists a continuous linear Jordan derivation D : A \longrightarrowA such that D($\chi$)[D($\chi$),$\chi$]D($\chi$) $\in$ rad(A) for all $\chi$ A. In this case, we have D(A) ⊆ rad(A).

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.661-679
• /
• 1995

The concept of the structure conformal vector field C on a Sasakian manifold M is defined. The existence of such a C on M is determined by an exterior differential system in involution. In this case M is a foliate manifold and the vector field C enjoys the property to be exterior concurrent. This allows to prove some interesting properties of the Ricci tensor and Obata's theorem concerning isometries to a sphere. Different properties of the conformal Lie algebra induced by C are also discussed.

• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.669-677
• /
• 1996

Let $M_n$ be the $C^*$-algebra of all $n \times n$ matrices over the complex field, and $P[M_m, M_n]$ the convex cone of all positive linear maps from $M_m$ into $M_n$ that is, the maps which send the set of positive semidefinite matrices in $M_m$ into the set of positive semi-definite matrices in $M_n$. The convex structures of $P[M_m, M_n]$ are highly complicated even in low dimensions, and several authors [CL, KK, LW, O, R, S, W]have considered the possibility of decomposition of $P[M_m, M_n] into subcones.