• Kyungpook Mathematical Journal
• /
• v.8 no.2
• /
• pp.33-36
• /
• 1968

• The Mathematical Education
• /
• v.39 no.2
• /
• pp.145-150
• /
• 2000

In this paper, we study the subject-matter knowledge related to the problem about rational exponent with negative bases. From the school mathematics point of view, we first investigate the meaning of the extensions of the number systems. We analyze the intrinsic meaning involved in the (-8)$^{1}$ 3) through the natural interpretation of rational exponent with negative bases by the complex number. we explain why it is important for a teacher to have the subject-matter knowledge in order to detect and correct student\`s mistake and misunderstanding.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.657-664
• /
• 2004

We investigate skew power series of $\alpha$-rigid p.p.-rings, where $\alpha$ is an endomorphism of a ring R which is not assumed to be surjective. For an $\alpha$-rigid ring R, R[[${\chi};{\alpha}$]] is right p.p., if and only if R[[${\chi},{\chi}^{-1};{\alpha}$]] is right p.p., if and only if R is right p.p. and any countable family of idempotents in R has a join in I(R).

• Communications of the Korean Mathematical Society
• /
• v.30 no.3
• /
• pp.239-252
• /
• 2015

Motivated mainly by certain interesting extensions of the ${\tau}$-hypergeometric function defined by Virchenko et al. [11] and some ${\tau}$-Appell's function introduced by Al-Shammery and Kalla [1], we introduce here the ${\tau}$-Lauricella functions $F_A^{(n),{\tau}_1,{\cdots},{\tau}_n}$, $F_B^{(n),{\tau}_1,{\cdots},{\tau}_n}$ and $F_D^{(n),{\tau}_1,{\cdots},{\tau}_n}$ and the confluent forms ${\Phi}_2^{(n),{\tau}_1,{\cdots},{\tau}_n}$ and ${\Phi}_D^{(n),{\tau}_1,{\cdots},{\tau}_n}$ of n variables. We then systematically investigate their various integral representations of each of these ${\tau}$-Lauricella functions including their generating functions. Various (known or new) special cases and consequences of the results presented here are also considered.

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

Let $Let\eta={\eta m}m$ be an eventually constant sequence of unit vectors $\eta m$ in $C^{n}$ and let $\rho$η be the pure state on $UHF_{n}$ algebra which is defined by $\rho\eta(\upsilon_i_1....\upsilon_i_k{\upsilon_{j1}}^*...{\upsilon_{j1}}^*)={\eta_1}^{i1}...{\eta_k}^{ik}{\eta_k}^{jk}...{\eta_1}^{j1}$. We find infinitely many state extensions of $\rho\eta$ to Cuntz algebra $O_n$ using representations and unitary operators. Also, we present theirconcrete expressions.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.171-177
• /
• 1995

Let P be a finite poset and let $\mid$P$\mid$ be the number of vertices in pp. A subposet of P is a subset of P with the induced order. A chain C in P is a subposet of P which is a linear order. The length of the chain C is $\mid$C$\mid$ - 1. A linear extension of a poset P is a linear order $L = x_1, x_2, \ldots, x_n$ of the elements of P such that $x_i < x_j$ is P implies i < j. Let L(P) be the set of all linear extensions of pp. E. Szpilrajn [5] showed that L(P) is not empty.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.487-493
• /
• 2001

$Let \Omega$ be a bounded convex domain in C^n$ with smooth boundary. Let M be a subvariety of $\Omega$ which intersects $\partial$$\Omega$ transversally. Suppose that $\Omega$ is totally convex at any point of $\partial$M in the complex tangential directions.For f $\epsilon$O(M)$\bigcap$/TEX>$C^{\infty}$($\overline{M}$/TEX>), there exists F $\epsilon$ o ($\Omega$))$\bigcap$/TEX>$C^{\infty}$($\overline{\Omega}$/TEX>) such that F(z) = f(z) for z $\epsilon$ M.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1501-1511
• /
• 2013

A ring R is called linearly McCoy if whenever linear polynomials $f(x)$, $g(x){\in}R[x]{\backslash}\{0\}$ satisfy $f(x)g(x)=0$, there exist nonzero elements $r,s{\in}R$ such that $f(x)r=sg(x)=0$. In this paper, extension properties of linearly McCoy rings are investigated. We prove that the polynomial ring over a linearly McCoy ring need not be linearly McCoy. It is shown that if there exists the classical right quotient ring Q of a ring R, then R is right linearly McCoy if and only if so is Q. Other basic extensions are also considered.

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.197-215
• /
• 2015

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.