• Korean Journal of Mathematics
• /
• 제13권2호
• /
• pp.177-182
• /
• 2005

If a semigroup S has no nontrivial congruences then S is either simple or 0-simple.([2]) By contrast with ring theory, not every congruence on a semigroup is associated with an ideal, hence some simple(or 0-simple) semigroup may have a nontrivial congruence. Thus it is a short note for the characterization of a simple(or 0-simple) semigroup that is congruence-free. A semigroup that has no nontrivial congruences is said to be congruence-free.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제14권4호
• /
• pp.307-315
• /
• 2007

We study crossed products of the free group and semigroup $C^*-algebras$ by actions of ${\mathbb{R}$, i.e., flows, and estimate and compute their stable rank.

• 대한수학회보
• /
• 제48권6호
• /
• pp.1207-1218
• /
• 2011

Let * be a star-operation on an integral domain R, and let $\mathfrak{I}_*^+(R)$ be the semigroup of *-invertible integral *-ideals of R. In this article, we introduce the concept of a *-coatom, and we then characterize when $\mathfrak{I}_*^+(R)$ is a free semigroup with a set of free generators consisting of *-coatoms. In particular, we show that $\mathfrak{I}_*^+(R)$ is a free semigroup if and only if R is a Krull domain and each ${\upsilon}$-invertible ${\upsilon}$-ideal is *-invertible. As a corollary, we obtain some characterizations of *-Dedekind domains.

• East Asian mathematical journal
• /
• 제22권2호
• /
• pp.189-194
• /
• 2006

Throughout this paper, a semigroup S will denote a torsion free grading monoid, and it is a non-zero semigroup with 0. The operation is written additively. The aim of this paper is to study semigroup version of an integral domain ([1],[3],[4] and [5]).

• 대한수학회보
• /
• 제58권1호
• /
• pp.133-146
• /
• 2021

For pseudo-free and recurrent self-similar groups, we show that continuous orbit equivalence of inverse semigroup partial actions implies continuous orbit equivalence of group actions. Conversely, if group actions are continuous orbit equivalent, and the induced homeomorphism commutes with the shift maps on their groupoids, we obtain continuous orbit equivalence of inverse semigroup partial actions.

• Kyungpook Mathematical Journal
• /
• 제51권1호
• /
• pp.37-42
• /
• 2011

Let M be an R-module and S a semigroup. Our goal is to discuss zero-divisors of the semigroup module M[S]. Particularly we show that if M is an R-module and S a commutative, cancellative and torsion-free monoid, then the R[S]-module M[S] has few zero-divisors of size n if and only if the R-module M has few zero-divisors of size n and Property (A).

• 대한수학회보
• /
• 제35권2호
• /
• pp.259-268
• /
• 1998

We give several characterizations of a TV-PVMD and we show that the localization R[X;S]$_{N_{\upsilon}}$ of a semigroup ring R[X;S] is a TV-PVMD if and only if R is a TV-PVMD where $N_{\upsilon}\;=\;\{f\;{\in}\;R[X]{\mid}(A_f)_{\upsilon} = R\}$ and S is a torsion free cancellative semigroup with zero.

• Korean Journal of Mathematics
• /
• 제19권3호
• /
• pp.255-261
• /
• 2011

Let D be an integral domain, S be a torsion-free grading monoid such that the quotient group of S is of type (0, 0, 0, ${\ldots}$), and D[S] be the semigroup ring of S over D. We show that D[S] is an H-domain if and only if D is an H-domain and each maximal t-ideal of S is a $v$-ideal. We also show that if $\mathbb{R}$ is the eld of real numbers and if ${\Gamma}$ is the additive group of rational numbers, then $\mathbb{R}[{\Gamma}]$ is not an H-domain.

• Journal of applied mathematics & informatics
• /
• 제6권1호
• /
• pp.217-226
• /
• 1999

In this paper we define automata-linearly independence. An automaton M has a basis B iff M is free provided that we assume that the action of S on X $\times$ S is (x,sa) for all a, s $\in$ S and x $\in$ X. if a semigroup S is PRID every subautomaton of a free S-automaton is free.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.485-491
• /
• 2004

We shall discuss irreducible and primitive S-automata. A variety of properties of transitive and primitive semigroups associated with them have been obtained. Also a classification of primitive semi groups will be given with S-automata.