• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.203-222
• /
• 2005

Thompson series is a Hauptmodul for a genus zero group which lies between $\Gamma$o(N) and its normalizer in PSL2(R) ([1]). We construct explicit ring class fields over an imaginary quadratic field K from the Thompson series $T_g$($\alpha$) (Theorem 4), which would be an extension of [3], Theorem 3.7.5 (2) by using the Shimura theory and the standard results of complex multiplication. Also we construct various class fields over K, over a CM-field K (${\zeta}N + {\zeta}_N^{-1}$), and over a field K (${\zeta}N$). Furthermore, we find an explicit formula for the conjugates of Tg ($\alpha$) to calculate its minimal polynomial where $\alpha$ (${\in}{\eta}$) is the quotient of a basis of an integral ideal in K.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.715-736
• /
• 2012

Brown provided a structure theorem for a class of perfect ideals of grade 3 with type ${\lambda}$ > 0. We introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4 in a Noetherian local ring. We construct a class of perfect ideals I of grade 3 with type 2 defined by a certain skew-symmetrizable matrix. We present the Hilbert function of the standard $k$-algebras R/I, where R is the polynomial ring $R=k[v_0,v_1,{\ldots},v_m]$ over a field $k$ with indeterminates $v_i$ and deg $v_i=1$.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.487-497
• /
• 2006

The purpose of this paper is to describe the structure of the rings $\mathbb{Z}_{p^2}[X]/({\alpha}(X))$ with ${\alpha}(X)$ a monic polynomial and $\={X}^{\kappa}=0$ for some nonnegative integer ${\kappa}$. Especially we will see that any ideal of such rings can be generated by at most two elements of the special form and we will find the 'minimal' set of generators of the ideals. We indicate how to identify the isomorphism types of the ideals as $\mathbb{Z}_{p^2}-modules$ by finding the isomorphism types of the ideals of some particular ring. Also we will find the annihilators of the ideals by finding the most 'economical' way of annihilating the generators of the ideal.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.279-287
• /
• 2012

Let $k$ be a field containing the field $\mathbb{Q}$ of rational numbers and let $R=k[x_{ij}{\mid}1{\leq}i{\leq}m,\;1{\leq}j{\leq}n]$ be the polynomial ring over a field $k$ with indeterminates $x_{ij}$. Let $I_t(X)$ be the determinantal ideal generated by the $t$-minors of an $m{\times}n$ matrix $X=(x_{ij})$. Eagon and Hochster proved that $I_t(X)$ is a perfect ideal of grade $(m-t+1)(n-t+1)$. We give a structure theorem for a class of determinantal ideals of grade 3. This gives us a characterization that $I_t(X)$ has grade 3 if and only if $n=m+2$ and $I_t(X)$ has the minimal free resolution $\mathbb{F}$ such that the second dierential map of $\mathbb{F}$ is a matrix defined by complete matrices of grade $n+2$.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1993.04a
• /
• pp.19-26
• /
• 1993

The p-version crack model based on integrals of Legendre polynomial and virtual crack extension method is proposed with its potential for application to stress intensity factor computations in linear elastic fracture mechanics. The main advantage of this model is that the data preparation effort is minimal because only a small number of elements are used and the high accuracy and the rapid rate of convergence can be achieved in the vicinity of crack tip. There are two important findings from this study. Firstly, the limit value, the strain energy of the exact solution can be estimated with successive three p-version approximations by ascertaining the approximations is entered the asymptotic range. Secondly, the rate of convergence of p-version model is almost twice that of h-version model on the basis of uniform or quasiuniform mesh refinement for the cracked panel problem subjected tension.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.2
• /
• pp.373-381
• /
• 2009

In this paper, a humanoid robot is simulated and implemented to walk up a staircase using the blending polynomial and genetic algorithm. Using recently developed kinematics for a biped robot, four schemes for walking up a staircase are newly proposed and simulated separately. For the two schemes of landing a swaying leg on the upper stair, the joint trajectories of seven motors are particularly optimized to generate an energy-minimal motion with the guarantee of walking stability. The proposed scheme of walking upstair is validated by an experiment with a small humanoid robot.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1309-1320
• /
• 2023

Let f : X → Y be a map between simply connected CW-complexes of finite type with X finite. In this paper, we prove that the rational cohomology of mapping spaces map(X, Y ; f) contains a polynomial algebra over a generator of degree N, where N = max{i, π_i(Y)⊗ℚ ≠ 0} is an even number. Moreover, we are interested in determining the rational homotopy type of map(𝕊ⁿ, ℂP^m; f) and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.

• Korean Journal of Mathematics
• /
• v.31 no.4
• /
• pp.405-417
• /
• 2023

The RIP of rings was introduced by Kwak and Lee as a generalization of the one-sided idempotent-reflexivity property. In this study, we focus on rings in which all one-sided semicentral idempotents are central, and we refer to them as quasi-Abelian rings, extending the concept introduced by RIP. We establish that quasi-Abelianity extends to various types of rings, including polynomial rings, power series rings, Laurent series rings, matrices, and certain subrings of triangular matrix rings. Furthermore, we provide comprehensive proofs for several results that hold for RIP and are also satisfied by the quasi-Abelian property. Additionally, we investigate the structural properties of minimal non-Abelian quasi-Abelian rings.

• Kyungpook Mathematical Journal
• /
• v.64 no.2
• /
• pp.197-204
• /
• 2024

Let R = 𝕂[x] be a univariate polynomial ring over an algebraically closed field 𝕂 of characteristic zero. Let A ∈ M_m,m(R) be an m×m matrix over R with non-zero determinate det(A) ∈ R. In this paper, utilizing linear-algebraic techniques, we investigate the relationship between a basis for the syzygy module of f₁, . . . , f_m and a basis for the syzygy module of g₁, . . . , g_m, where [g₁, . . . , g_m] = [f₁, . . . , f_m]A.

• Computational Structural Engineering
• /
• v.6 no.4
• /
• pp.57-66
• /
• 1993

The p-version crack model based on integrals of Legendre polynomial and virtual crack extension method is proposed with its potential for application to stress intensity factor computations in linear elastic fracture mechanics. The main advantage of this model is that the data preparation effort is minimal because only a small number of elements are used and high accuracy and the rapid convergence can be achieved in the vicinity of crack tip. There are two important findings from this study. Firstly, the limit value, the strain energy of the exact solution, can be estimated with successive three p-version approximations by ascertaining that the approximations enter the asymptotic range. Secondly, the rate of convergence of p-version model is almost twice that of h-version model on the basis of uniform or quasiuniform mesh refinement for the cracked panel problem subjected to tension.