• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.517-543
• /
• 2017

Let H be a cocommutative faithfully flat Hopf quasigroup in a strict symmetric monoidal category with equalizers. In this paper we introduce the notion of (strong) Galois H-object and we prove that the set of isomorphism classes of (strong) Galois H-objects is a (group) monoid which coincides, in the Hopf algebra setting, with the Galois group of H-Galois objects introduced by Chase and Sweedler.

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

Let G be a finite group. By a sequence over G, we mean a finite unordered sequence of terms from G, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of G. The large Davenport constant D(G) is the maximal length of a minimal product-one sequence, that is, a product-one sequence which cannot be factored into two non-trivial product-one subsequences. We provide explicit characterizations of all minimal product-one sequences of length D(G) over dihedral and dicyclic groups. Based on these characterizations we study the unions of sets of lengths of the monoid of product-one sequences over these groups.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.697-709
• /
• 2020

In this paper, the class of quasi-annihilator (homo)flat acts based on the notion of quasi-annihilator ideal is introduced. This class lies strictly between the classes of weakly (homo)flat and principally weakly (homo)flat acts. Some properties of such kinds of flatness are studied. We present some homological classifications for monoids by means of quasiannihilator (homo)flatness of their right Rees factor acts.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.817-826
• /
• 2015

Let R be a commutative ring with total quotient ring K. Each monomorphic R-module endomorphism of a cyclic R-module is an isomorphism if and only if R has Krull dimension 0. Each monomorphic R-module endomorphism of R is an isomorphism if and only if R = K. We say that R has property (${\star}$) if for each nonzero element $a{\in}R$, each monomorphic R-module endomorphism of R/Ra is an isomorphism. If R has property (${\star}$), then each nonzero principal prime ideal of R is a maximal ideal, but the converse is false, even for integral domains of Krull dimension 2. An integral domain R has property (${\star}$) if and only if R has no R-sequence of length 2; the "if" assertion fails in general for non-domain rings R. Each treed domain has property (${\star}$), but the converse is false.

• Honam Mathematical Journal
• /
• v.29 no.4
• /
• pp.555-567
• /
• 2007

We first find strongly 2-primal rings whose sub direct product is not (strongly) 2-primal. Moreover we observe some kinds of ring extensions of (strongly) 2-primal rings. As an example we show that if R is a ring and M is a multiplicative monoid in R consisting of central regular elements, then R is strongly 2-primal if and only if so is $RM^{-1}$. Various properties of (strongly) 2-primal rings are also studied.

• Kyungpook Mathematical Journal
• /
• v.47 no.1
• /
• pp.127-132
• /
• 2007

In this paper, we show that if R is a commutative ring with identity and (S, ${\leq}$) is a strictly totally ordered monoid, then the ring [[$R^{S,{\leq}}$]] of generalized power series is a PF-ring if and only if for any two S-indexed subsets A and B of R such that $B{\subseteq}ann_R(|A)$, there exists $c{\in}ann_R(A)$ such that $bc=b$ for all $b{\in}B$, and that for a Noetherian ring R, $[[R^{S,{\leq}}$]] is a PP ring if and only if R is a PP ring.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.437-452
• /
• 2013

This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.36-38
• /
• 1998

객체지향 데이터베이스 시스템의 표준 질의어로 사용되는 OQL은 SQL과 달리 select-from-where절 어디서나 중첩 질의를 자유롭게 허용하며, 이러한 중첩 질의는 질의어 수행 성능에 중요한 영향을 미치므로, OQL을 처리하는 질의 처리기에서는 이를 반드시 고려해 주어야 한다. 본 논문은 모노이드 컴프리핸션 해석(monoid comprehension calculus)을 이용하여, OQL 질의 처리기에서 중첩 질의의 중첩 구조를 제거할 수 있도록 해주고, 나아가 기존 질의 처리기에서 중첩질의 처리 기능을 추가하는데 있어, 이미 구현되어 있는 질의 최적화 모듈과 질의 수행 모듈의 수정을 최소화할 수 있는 중첩 질의 구조 제거용 전위 모듈(unnesting front-end)을 설계하고 구현하였다.

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.93-103
• /
• 2020

This article concerns a property of Abelain π-regular rings. A ring R shall be called right quasi-DR if for every a ∈ R there exists n ≥ 1 such that C(R)aⁿ ⊆ aR, where C(R) means the monoid of regular elements in R. The relations between the right quasi-DR property and near ring theoretic properties are investigated. We next show that the class of right quasi-DR rings is quite large.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.