• Honam Mathematical Journal
• /
• v.34 no.3
• /
• pp.403-408
• /
• 2012

In this paper, we prove that if K is a convex body in $E^n$ and $E_i$ and $E_o$ are inscribed ellipsoid and circumscribed ellipsoid of K respectively with ${\alpha}E_i=E_o$, then $\[({\alpha})^{\frac{n}{p}+1}\]^n{\omega}^2_n{\geq}V(K)V({\Gamma}^{\ast}_pK){\geq}\[(\frac{1}{\alpha})^{\frac{n}{p}+1}\]^n{\omega}^2_n$. Lutwak and Zhang[6] proved that if K is a convex body, ${\omega}^2_n=V(K)V({\Gamma}_pK)$ if and only if K is an ellipsoid. Our inequality provides very elementary proof for their result and this in turn gives a lower bound of the volume product for the sets of constant width.

• BMB Reports
• /
• v.50 no.11
• /
• pp.539-545
• /
• 2017

The Integrated Stress Response (ISR) refers to a signaling pathway initiated by stress-activated $eIF2{\alpha}$ kinases. Once activated, the pathway causes attenuation of global mRNA translation while also paradoxically inducing stress response gene expression. A detailed analysis of this pathway has helped us better understand how stressed cells coordinate gene expression at translational and transcriptional levels. The translational attenuation associated with this pathway has been largely attributed to the phosphorylation of the translational initiation factor $eIF2{\alpha}$. However, independent studies are now pointing to a second translational regulation step involving a downstream ISR target, 4E-BP, in the inhibition of eIF4E and specifically cap-dependent translation. The activation of 4E-BP is consistent with previous reports implicating the roles of 4E-BP resistant, Internal Ribosome Entry Site (IRES) dependent translation in ISR active cells. In this review, we provide an overview of the translation inhibition mechanisms engaged by the ISR and how they impact the translation of stress response genes.

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.37-43
• /
• 2006

We prove that $M_1\longrightarrow^f\;M_2$ is an injective representation of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ if and only if $M_1\;and\;M_2$ are injective left R-modules, $M_1\longrightarrow^f\;M_2$ is isomorphic to a direct sum of representation of the types $E_l{\rightarrow}0$ and $M_1\longrightarrow^{id}\;M_2$ where $E_l\;and\;E_2$ are injective left R-modules. Then, we generalize the result so that a representation$M_1\longrightarrow^{f_1}\;M_2\; \longrightarrow^{f_2}\;\cdots\;\longrightarrow^{f_{n-1}}\;M_n$ of a quiver $Q={\bullet}{\rightarrow}{\bullet}{\rightarrow}{\cdots}{\rightarrow}{\bullet}$ is an injective representation if and only if each $M_i$ is an injective left R-module and the representation is a direct sum of injective representations.

• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.1
• /
• pp.43-53
• /
• 1988

The main result of this paper is a characterization of almost projective modules over art in algebras by means of irreducible maps and almost split sequences. A module X is an almost projective module if and only if it has a presentation $0{\longrightarrow}L{\longrightarrow^{\alpha}}P{\longrightarrow}X{\longrightarrow}0$ with projective module P and irreducible maps ${\alpha}$. Let X be an injective almost projective non simple module and $0{\rightarrow}Dtr(x){\rightarrow}E{\rightarrow}X{\rightarrow}0$ be an almost split sequence. If $E=E_1{\oplus}E_2$ is a direct decomposition of indecomposable modules then ${\ell}(X)=3$.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.

• Journal of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1087-1107
• /
• 2023

Let E be an elliptic curve defined over ℚ of conductor N, c the Manin constant of E, and m the product of Tamagawa numbers of E at prime divisors of N. Let K be an imaginary quadratic field where all prime divisors of N split in K, P_K the Heegner point in E(K), and III(E/K) the Shafarevich-Tate group of E over K. Let 2u_K be the number of roots of unity contained in K. Gross and Zagier conjectured that if P_K has infinite order in E(K), then the integer c · m · u_K · |III(E/K)| $\frac{1}{2}$ is divisible by |E(ℚ)_tor|. In this paper, we prove that this conjecture is true if E(ℚ)_tor ≅ ℤ/2ℤ or ℤ/4ℤ except for two explicit families of curves. Further, we show these exceptions can be removed under Stein-Watkins conjecture.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.463-472
• /
• 2014

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R and $S_{\ell}$(R) (resp. $S_r$(R)) be the set of all left (resp. right) semicentral idempotents in R. In this paper, the following are investigated: (1) $e{\in}S_{\ell}(R)$ (resp. $e{\in}S_r(R)$) if and only if re=ere (resp. er=ere) for all nilpotent elements $r{\in}R$ if and only if $fe{\in}I(R)$ (resp. $ef{\in}I(R)$) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ which are isomorphic to e if and only if $(fe)^n=(efe)^n$ (resp. $(ef)^n=(efe)^n$) for all $f{\in}I(R)$ which are isomorphic to e where n is some positive integer; (2) For a ring R having a complete set of centrally primitive idempotents, every nonzero left (resp. right) semicentral idempotent is a finite sum of orthogonal left (resp. right) semicentral primitive idempotents, and eRe has also a complete set of primitive idempotents for any $0{\neq}e{\in}S_{\ell}(R)$ (resp. 0$0{\neq}e{\in}S_r(R)$).

• Communications of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.137-149
• /
• 2020

Let γ⁽ⁿ⁾ ≡ {γ_ij} (0 ≤ i+j ≤ 2n, |i-j| ≤ n) be a sequence in the complex number set ℂ and let E (n) be the Embry truncated moment matrices corresponding from γ⁽ⁿ⁾. For an odd number n, it is known that γ⁽ⁿ⁾ has a rank E (n)-atomic representing measure if and only if E(n) ≥ 0 and E(n) admits a flat extension E(n + 1). In this paper we suggest a related problem: if E(n) is positive and nonsingular, does E(n) have a flat extension E(n + 1)? and give a negative answer in the case of E(3). And we obtain some necessary conditions for positive and nonsingular matrix E (3), and also its sufficient conditions.

• The Journal of Korea Robotics Society
• /
• v.6 no.2
• /
• pp.147-155
• /
• 2011

This paper presents an edutainment robot for young children. The edutainment robot called 'Mon-e' has developed by the Central R&D Laboratory at KT. The main services of the Mon-E robot are autonomous moving service, object card and story book telling service and videophone service. The RFID technology was introduced for easy interface to young children. The face of Mon-E robot is mounted with an RFID reader. The RFID tag is pasted on story book and object card. If you approach a book or an object card to the face of Mon-E, the Mon-E robot recognizes the identified code and plays its service. In autonomous moving, if the Mon-E robot meets obstacles, it moves back and turns left or right or half rotation. In videophone service, if young children approach an RFID card to the Mon-E, the Mon-E can make a call to the specific number, which is contained in the RFID card. The developed Mon-E robot has tested in real world environment and is evaluated young children and their parents. In the result of evaluation, the feeling of satisfaction was high to main services of Mon-E robot.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.567-572
• /
• 2005

A Banach space X is a Hilbert space if and only if $$E{\mid}x=Y{\mid}{\le}2$$ for all x$\in$ X and all X-valued Bochner integrable functions Y satisfying EY = 0 and ${\mid}x-Y{\mid}{\le}2$ a.e.