• Korean Journal of Mathematics
• /
• v.17 no.3
• /
• pp.271-281
• /
• 2009

We define injective and projective representations of a quiver $Q={\bullet}{\rightarrow}{\bullet}{\rightarrow}{\bullet}$. Then we show that a representation $M_1\longrightarrow[50]^{f1}M_2\longrightarrow[50]^{f2}M_3$ of a quiver $Q={\bullet}{\rightarrow}{\bullet}{\rightarrow}{\bullet}$ is projective if and only if each $M_1,\;M_2,\;M_3$ is projective left R-module and $f_1(M_1)$ is a summand of $M_2$ and $f_2(M_2)$ is a summand of $M_3$. And we show that a representation $M_1\longrightarrow[50]^{f1}M_2\longrightarrow[50]^{f2}M_3$ of a quiver $Q={\bullet}{\rightarrow}{\bullet}{\rightarrow}{\bullet}$ is injective if and only if each $M_1,\;M_2,\;M_3$ is injective left R-module and $ker(f_1)$ is a summand of $M_1$ and $ker(f_2)$ is a summand of $M_2$.

• East Asian mathematical journal
• /
• v.28 no.5
• /
• pp.605-615
• /
• 2012

In this paper, we show that any definite lattice over $\mathbb{F}_q[x]$ is universal if and only if it is quaternary and its discriminant is of degree 2, where $ch(\mathbb{F}_q){\neq}2$. The Four Conjecture follows as an immediate consequence.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.2
• /
• pp.231-237
• /
• 2018

Hardy's inequality is refined non-trivially as the form $${\int_{0}^{{\infty}}}\{{\frac{1}{x}}{\int_{0}^{x}}f(t)dt\}^pdx{\leq}Q_f{\times}({\frac{p}{p-1}})^p{\int_{0}^{x}}f^p(x)dx$$ for some $Q_f:0{\leq}Q_f{\leq}1$. $P{\acute{o}}lya$-Knopp's inequality is also refined by the similar form.

• East Asian mathematical journal
• /
• v.33 no.5
• /
• pp.527-531
• /
• 2017

We aim to prove a known summation formula for the series $_4F_3(1)$ by mainly using a similar method as in [2], which is different from that in [3]. The method of proof here as well as that in [2] is potentially useful in getting some other summation formulas for $_pF_q$.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.2
• /
• pp.229-234
• /
• 2009

Let f : $X{\rightarrow}X$ be a self-map of a connected finite polyhedron X. In this short note, we say that the mod H Nielsen number $N_H(f)$ is well-defined without the algebraic condition $ f_{\pi}(H)\;{\subseteq}H$ and that $N_H(f)$ is the same as the q-Nielsen number $N_q(f)$ in any case.

• Honam Mathematical Journal
• /
• v.33 no.3
• /
• pp.355-366
• /
• 2011

In this paper we investigate criteria that for an irreducible monic quadratic polynomial f(x) ${\in}$ $\mathbb{Q}$[x], $f{\circ}g$ is reducible over $\mathbb{Q}$ for an irreducible polynomial g(x) ${\in}$ $\mathbb{Q}$[x]. Odoni intrigued the discussion about an explicit form of irreducible polynomials f(x) such that $f{\cric}f$ is reducible. We construct a system of infitely many such polynomials.

• Journal of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.277-287
• /
• 2002

Let B be the open unit ball with center 0 in the complex space $C^n$. For each q>0, B$_{q}$ consists of holomorphic functions f : B longrightarrow C which satisfy sup z $\in$ B $(1-\parallel z \parallel^2)^q\parallel\nabla f(z)\parallel < \infty$ In this paper, we will show that functions in weighted Bloch spaces $B_{q}$ (0 < q < 1) satifies the following Lipschitz type result for Bergman metric $\beta$: ｜f(z)-f($\omega$)｜< $C\beta$(z, $\omega$) for some constant C.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.375-384
• /
• 2008

Let $k={\mathbb{F}}_q(T)$ and ${\mathbb{A}}={\mathbb{F}}_q[T]$. Fix a prime divisor ${\ell}$ q-1. In this paper, we consider a ${\ell}$-cyclic real function field $k(\sqrt[{\ell}]P)$ as a subfield of the imaginary bicyclic function field K = $k(\sqrt[{\ell}]P,\;(\sqrt[{\ell}]{-Q})$, which is a composite field of $k(\sqrt[{\ell}]P)$ wit a ${\ell}$-cyclic totally imaginary function field $k(\sqrt[{\ell}]{-Q})$ of class number one. und give various conditions for the class number of $k(\sqrt[{\ell}]{P})$ to be one by using invariants of the relatively cyclic unramified extensions $K/F_i$ over ${\ell}$-cyclic totally imaginary function field $F_i=k(\sqrt[{\ell}]{-P^iQ})$ for $1{\leq}i{\leq}{\ell}-1$.

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

In this paper we will study cyclic codes over some special rings: $\mathbb{F}_q[u]/(u^i)$, $\mathbb{F}_q[u_1,{\ldots},u_i]/(u^2_1,u^2_2,{\ldots},u^2_i,u_1u_2-u_2u_1,{\ldots},u_ku_j-u_ju_k,{\ldots})$, and $\mathbb{F}_q[u,v]/(u^i,v^j,uv-vu)$, where $\mathbb{F}_q$ is a field with $q$ elements $q=p^r$ for some prime number $p$ and $r{\in}\mathbb{N}-\{0\}$.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.1
• /
• pp.117-121
• /
• 2009

For $1{\leq}p$, $q{\leq}{\infty}$ and $s{\in}\mathbb{R}$, it is proved that there exists a constant C > 0 such that for any $f{\in}B^{s+2}_{p,q}(\mathbb{R}^n)$ $${\parallel}f{\parallel}_{B^{s+2}_{p,q}(\mathbb{R}^n)}{\leq}C{\parallel}f\;-\;{\Delta}f{\parallel}_{B^{s}_{p,q}(\mathbb{R}^n)}$$, which tells us that the operator $I-\Delta$ is $B^{s+2}_{p,q}$-coercive on the Besov space $B^s_{p,q}$.