• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.41-55
• /
• 1992

The characteristic free representation theory of the general linear group is one of the powerful tools in the study of invariant theory, algebraic geometry, and commutative algebra. Recently the study of such representations became a popular theme. In this paper we study the representation-theoretic structures of the symmetric algebra and the exterior algebra over a commutative ring with unity 1.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.4
• /
• pp.777-787
• /
• 2009

In this paper we investigate the upper bound on the Castelnuovo-Mumford regularity of a graded module with linear free presentation. Let M be a finitely generated graded module over a polynomial ring R with zero dimensional support. We prove that if M is generated by elements of degree $d{\geq}0$ with a linear free presentation $$\bigoplus^p{R}(-d-1)\longrightarrow^{\phi}\bigoplus^q{R}(-d){\longrightarrow}M{\longrightarrow}0$$, then the Castelnuovo-Mumford regularity of M is at most d+q-1. As an important application, we can prove vector bundle technique, which was used in [11], [13], [17] as a tool for obtaining several remarkable results.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.723-735
• /
• 2006

In [2] it was shown that a 1-generator quasi-cyclic code C of length n = ml of index l over $\mathbb{Z}_4$ is free if C is generated by a polynomial which divides $X^m-1$. In this paper, we prove that a necessary and sufficient condition for a cyclic code over $\mathbb{Z}_pk$ of length m to be free is that it is generated by a polynomial which divides $X^m-1$. We also show that this can be extended to finite local rings with a principal maximal ideal.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1167-1182
• /
• 2016

Let M be an R-module, where R is a commutative ring with identity 1 and let G(V,E) be a graph. In this paper, we study the graphs associated with modules over commutative rings. We associate three simple graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ to M called full annihilating, semi-annihilating and star-annihilating graph. When M is finite over R, we investigate metric dimensions in $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$. We show that M over R is finite if and only if the metric dimension of the graph $ann_f({\Gamma}(M_R))$ is finite. We further show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if M is a prime-multiplication-like R-module. We investigate the case when M is a free R-module, where R is an integral domain and show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if $$M{\sim_=}R$$. Finally, we characterize all the non-simple weakly virtually divisible modules M for which Ann(M) is a prime ideal and Soc(M) = 0.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.12
• /
• pp.2196-2208
• /
• 1997

In this work, a magnetic levitation (maglev) system is developed to transport a wafer between semiconductor fabrication process modules in clean rooms to take advantages of eliminating particle and oil contamination that normally exist in conventional transport systems due to contact motion of mechanical components. A main feature of the maglev system developed in this work is that a controller and power supplying part are not mounted on the moving carrier but on the stationary track, which is defined a controller-free carrier, to reduce carrier's weight. Iron-core electromagnets and irons are used for levitation, and air-core electromagnets and permanent magnets are used for stabilization. Analysis, design, and modeling of the magnetically levitated transport system are presented. The performance of the maglev system is experimentally demonstrated.

• Journal of Ocean Engineering and Technology
• /
• v.14 no.1
• /
• pp.95-101
• /
• 2000

In general, free form design depends on B-spline which is used for the generating hull lines in most of shipyards. But, nowadays, the NURBS method is applied to free form modeling method, which is able to more flexible transformation than B-Spline, and then became industrial standard in the various field. Therefore, this method has been considerably applied in new application fields which are required free form modelling. In this paper, the program called 2DSURF with 5 modules and developed for the generation of hull lines is described. It is examined whether the program can be applied to body lines, sheer lines, and half breadth lines.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.191-207
• /
• 2000

Let R be a ommutative ring with unity and F a finite free R-module. For a nonnegative integer r, there exists a natural filtration of$S_r(S_2F)$ such that its associated graded module is isomorphic to $\Sigma_{{\lambda}{\epsilon}{\tau}_r}\;L_{\lambda}F$, where ${\Gamma}_{\gamma}$ set of partitions such that $$\mid${\lambda}$\mid$-2r,{{\widetilde}{\lambda}}-{{\widetilde}{\lambda}}_1},...,{{\widetilde}{\lambda}}_k},\;each\;{{\widetilde}{\lambda}}_t}$,is even. We call such filtrations plethysm formulas. We extend the above plethysm formula to the version of chain complexes. By plethysm formula we mean the composition of universally free functors. $Let{\emptyset}:G->F$ be a morphism of finite free R-modules. We construct the natural decomposition of $S_{r}(S_2{\emptyset})$,up to filtrations, whose associated graded complex is isomorphic to ${\Sigma}_{{\lambda}{\varepsilon}{\tau}}_r}\;L_{\lambda}{\emptyset}$.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.475-484
• /
• 2023

Let R be a commutative ring with identity. In this paper, we characterize the prime submodules of a free R-module F of finite rank with at most n generators, when R is a GCD domain. Also, we show that if R is a Bézout domain, then every prime submodule with n generators is the row space of a prime matrix. Finally, we study the existence of primary decomposition of a submodule of F over a Bézout domain and characterize the minimal primary decomposition of this submodule.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.2
• /
• pp.47.1-47.1
• /
• 2019

We report the design and vibration analysis for the optomechanical structures of Linear Astigmatism Free - Three Mirror System (LAF-TMS). LAF-TMS is the linear astigmatism free off-axis wide-field telescope with D = 150 mm, F/3.3, and FOV = 5.51° × 4.13°. The whole structure consists of four optomechanical modules. It can accurately mount mirrors and also can survive from vibration environments. The Mass Acceleration Curve (MAC) is adapted to the quasi-static analysis. Modal, harmonic, and random vibration analysis have been performed under the qualification level of the launch system. We evaluate the final results in terms of von Mises stress and Margin of Safety (MoS).

• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• pp.221-225
• /
• 2000

We designed asynchronous event logic library with 0.25$\mu\textrm{m}$ CMOS technology and interface chip for heterogeneous system with high-speed asynchronous FIFO operating at 1.6㎓. Optimized asynchronous standard cell layouts and Verilog models are designed for top-down design methodology. A method for mitigating a design bottleneck when it comes to tolerate clock skew is described. This communication scheme using clock control circuits, which is used for the free of synchronization failures, is analyzed and implemented. With clock control circuit and FIFO, high-speed communication between synchronous modules operating at different clock frequencies or with asynchronous modules is performed. The core size of implemented high-speed 32bit-interface chip for heterogeneous system is about 1.1mm ${\times}$ 1.1mm.