• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1453-1461
• /
• 2023

Let R be a one-dimensional Noetherian domain with quotient field K and T be the integral closure of R in K. In this note we prove that if the conductor ideal (R :_K T) is a nonzero prime ideal, then every finitely generated reflexive (and hence finitely generated G-projective) R-module is isomorphic to a direct sum of some ideals.

• Journal of Applied and Pure Mathematics
• /
• v.5 no.5_6
• /
• pp.347-362
• /
• 2023

We introduce an algebraic structure induced by a fuzzy bipartial order on a complete residuated lattices with the double negative law. We undertake an investigation into the properties of fuzzy bi-partial orders, including their various characteristics and features. We demonstrate that the two families of l-stable and r-stable fuzzy sets can be regarded as complete lattices, and we establish that these two families are anti-isomorphic. Furthermore, we provide two examples related to them.

• Korean Journal of Mathematics
• /
• v.31 no.4
• /
• pp.385-389
• /
• 2023

In this article, we prove that an infinite dimensional complemented subspace X of 𝓛₁-space Z with unconditional basis (x_n) has the lifting property. Hence we can give an alternative proof that X is isomorphic to ℓ₁ given by Lindenstrauss and Pelczyński.

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.303-311
• /
• 2024

In this paper, our focus lies in exploring the concept of Cohen-Macaulay dimension within the category of homologically finite complexes. We prove that over a local ring (R, 𝔪), any homologically finite complex X with a finite Cohen-Macaulay dimension possesses a finite CM-resolution. This means that there exists a bounded complex G of finitely generated R-modules, such that G is isomorphic to X and each nonzero G_i within the complex G has zero Cohen-Macaulay dimension.

• Korean Journal of Mathematics
• /
• v.32 no.1
• /
• pp.1-14
• /
• 2024

We seek for an invertible map B from L²(Γ) to L²(G), where G is a finite abelian group and Γ is the direct product of finite cyclic groups which is isomorphic to G, so that any Gabor frame in L²(G), is a generalized pseudo B-Gabor frame.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.121-126
• /
• 1985

D.K. Harrison [5] has shown that if R and S are fields of characteristic different from 2, then two Witt rings W(R) and W(S) are isomorphic if and only if W(R)/I(R)$^{3}$ and W(S)/I(S)$^{3}$ are isomorphic where I(R) and I(S) denote the fundamental ideals of W(R) and W(S) respectively. In [1], J.K. Arason and A. Pfister proved a corresponding result when the characteristics of R and S are 2, and, in [9], K.I. Mandelberg proved the result when R and S are commutative semi-local rings having 2 a unit. In this paper, we prove the result when R and S are 2-fold full rings. Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is nondegenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$ (V, R) induced by B is an isomorphism), and with a quadratic mapping .phi.:V.rarw.R such that B(x,y)=(.phi.(x+y)-.phi.(x)-.phi.(y))/2 and .phi.(rx)= $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U(R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$, .., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2, we reserve the notation [ $a_{11}$, $a_{22}$] for the space.the space.e.e.e.

• 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)$).

• Journal of Advanced Navigation Technology
• /
• v.14 no.6
• /
• pp.975-983
• /
• 2010

In this paper, we introduce extended problems of Tower of Hanoi (ToH) and propose a novel visualization method to express a state space of ToH. As for the extended problems, we introduce multi-peg ToH, multi-stack ToH, and regular state ToH. The novel visualization method in this paper is a natural extension of Hanoi graph visualization. In the proposed method, we assign one Cartesian coordinate point per each disk to provide an unified visualization that the marks on a link and the changes of a state should correspond with a peg position of a disk. Compared with Hanoi graph, the generated graph by the proposed method is isomorphic if we remove links of forbidden move, which indicates that our method is a generalization of Hanoi graph and thus is more expressive. To help the understanding of the readers, we show the generated graphs by our method when the number of disks is 2 and 3.

• Journal of the Korean Society for Computer Game
• /
• v.31 no.4
• /
• pp.167-174
• /
• 2018

The homogeneous key arrangement is a method of consistently arranging notes in a tile-shaped keyboard musical instrument, and arranging them in the same direction in the same direction on the neighboring keys in the same direction to enable a consistent musical arrangement. It has been used for a long time, but recently it has attracted attention by applying it to various modern musical instrument design and software instrument interface. There have been many different methods of deployment, but there are few studies on the existence of some or none of them. In this paper, we propose a classification method for such a key arrangement and analyze the relationship between them. This shows that there are far fewer types of homologous key arrangement than the known ones, and provided the basis of the study on the homogeneous key arrangement by providing a classification framework. Based on this, it is expected that more systematic analysis and research will be done and it will be used to develop various music interfaces. These studies will play a very important role in training students to understand the basic elements of pitch, harmony, harmony, and scales in music education games.

• Journal of Convergence for Information Technology
• /
• v.9 no.5
• /
• pp.7-13
• /
• 2019

Role-based access or attribute-based access control in cloud environment or big data environment need requires a suitable mathematical structure to represent a hierarchical model. This paper define the notion of multipliers and simple multipliers of lattice implication algebras that can implement a hierarchical model of role-based or attribute-based access control, and prove every multiplier is simple multiplier. Also we research the relationship between multipliers and homomorphisms of a lattice implication algebra L, and prove that the lattice [0, u] is isomorphic to a lattice $[u^{\prime},1]$ for each $u{\in}L$ and that L is isomorphic to $[u,1]{\times}[u^{\prime},1]$ as lattice implication algebras for each $u{\in}L$ satisfying $u{\vee}u^{\prime}=1$.