• Honam Mathematical Journal
• /
• v.35 no.3
• /
• pp.381-388
• /
• 2013

In this article we introduce the notion of fully idempotent acts and by this we give a characterization of commutative monoids over which all cyclic right acts are injective.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.351-360
• /
• 2005

Let T be a regular semigroup and let S be a regular subsemigroup of T. In this paper we study the relationship between the idempotent separating congruence on S and the idempotent separating congruence on T, when T and S are connected by a splitmap ${\theta} : T {\to} S$.

• Korean Journal of Mathematics
• /
• v.17 no.4
• /
• pp.411-417
• /
• 2009

The Urysohn's lemma which is crucial tool for the study of the metrization problem is proved in the sense of set-theoretic concept, namely, by the idempotent relation defined on a given topology.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.715-726
• /
• 2010

We continue the study of fully idempotent rings initiated by Courter. It is shown that a (semi)prime ring, but not fully idempotent, can be always constructed from any (semi)prime ring. It is shown that the full idempotence is both Morita invariant and a hereditary radical property, obtaining $hs(Mat_n(R))\;=\;Mat_n(hs(R))$ for any ring R where hs(-) means the sum of all fully idempotent ideals. A non-semiprimitive fully idempotent ring with identity is constructed from the Smoktunowicz's simple nil ring. It is proved that the full idempotence is preserved by the classical quotient rings. More properties of fully idempotent rings are examined and necessary examples are found or constructed in the process.

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.457-471
• /
• 2009

Let S = {a, b, c, ...} and ${\Gamma}$ = {${\alpha}$, ${\beta}$, ${\gamma}$, ...} be two nonempty sets. S is called a ${\Gamma}$-semigroup if $a{\alpha}b{\in}S$, for all ${\alpha}{\in}{\Gamma}$ and a, b ${\in}$ S and $(a{\alpha}b){\beta}c=a{\alpha}(b{\beta}c)$, for all a, b, c ${\in}$ S and for all ${\alpha}$, ${\beta}$ ${\in}$ ${\Gamma}$. An element $e{\in}S$ is said to be an ${\alpha}$-idempotent for some ${\alpha}{\in}{\Gamma}$ if $e{\alpha}e$ = e. A ${\Gamma}$-semigroup S is called an E-inversive ${\Gamma}$-semigroup if for each $a{\in}S$ there exist $x{\in}S$ and ${\alpha}{\in}{\Gamma}$ such that a${\alpha}$x is a ${\beta}$-idempotent for some ${\beta}{\in}{\Gamma}$. A ${\Gamma}$-semigroup is called a right E-${\Gamma}$-semigroup if for each ${\alpha}$-idempotent e and ${\beta}$-idempotent f, $e{\alpha}$ is a ${\beta}$-idempotent. In this paper we investigate different properties of E-inversive ${\Gamma}$-semigroup and right E-${\Gamma}$-semigroup.

• Honam Mathematical Journal
• /
• v.28 no.1
• /
• pp.1-22
• /
• 2006

First, we obtain some results of intuitionistic fuzzy congruences on a regular semigroups contained in ($XH,\;XH^c$). Secondly, we introduce the concept of intuitionistic fuzzy idempotent separating congruences on a semigroup and investigate some of it's properties.

• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.485-495
• /
• 2011

Let $A_1$ and $A_2$ be $n{\times}n$ nonzero complex matrices, denote a linear combination of the two matrices by $A=c_1A_1+c_2A_2$, where $c_1$, $c_2$ are nonzero complex numbers. In this paper, we research the problem of the linear combinations in the general case. We give a sufficient and necessary condition for A is an involutive matrix and s+1-potent matrix, respectively, where $A_1$ is a tripotent matrix, with $A_1A_2=A_2A_1$. Then, using the results, we also give the sufficient and necessary conditions for the involutory of the linear combination A, where $A_1$ is a tripotent matrix, anti-idempotent matrix, and involutive matrix, respectively, and $A_2$ is a tripotent matrix, idempotent matrix, and involutive matrix, respectively, with $A_1A_2=A_2A_1$.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.63-69
• /
• 2013

On any semigroup S, there is an equivalence relation ${\phi}^S$, called the locally equivalence relation, given by a ${\phi}^Sb{\Leftrightarrow}aSa=bSb$ for all $a$, $b{\in}S$. In Theorem 4 [4], Tiefenbach has shown that if ${\phi}^S$ is a band congruence, then $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is a group. We show in this study that $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is also a group whenever a is any idempotent element of S. Another main result of this study is to investigate the relationships between $[a]_{{\phi}^S}$ and $aSa$ in terms of semigroup theory, where ${\phi}^S$ may not be a band congruence.

• The Pure and Applied Mathematics
• /
• v.12 no.4 s.30
• /
• pp.253-274
• /
• 2005

An additive regular Semiring S is left inversive if the Set E+ (S) of all additive idempotents is left regular. The set LC(S) of all left inversive semiring congruences on an additive regular semiring S is a lattice. The relations $\theta$ and k (resp.), induced by tr. and ker (resp.), are congruences on LC(S) and each $\theta$-class p$\theta$ (resp. each k-class pk) is a complete modular sublattice with $p_{min}$ and $p_{max}$ (resp. With $p^{min}$ and $p^{max}$), as the least and greatest elements. $p_{min},\;p_{max},\;p^{min}$ and $p^{max}$, in particular ${\epsilon}_{max}$, the maximum additive idempotent separating congruence has been characterized explicitly. A semiring is quasi-inversive if and only if it is a subdirect product of a left inversive and a right inversive semiring.