• 호남수학학술지
• /
• 제35권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
• /
• 제18권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
• /
• 제17권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.

• 대한수학회보
• /
• 제47권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
• /
• 제49권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.

• 호남수학학술지
• /
• 제28권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
• /
• 제29권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$.

• 대한수학회보
• /
• 제61권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.

• 대한수학회논문집
• /
• 제28권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제12권4호
• /
• 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.