• 대한수학회지
• /
• 제59권1호
• /
• pp.105-127
• /
• 2022

It is known that the maximal invariant set of a continuous iterative dynamical system in a compact Hausdorff space is equal to the intersection of its forward image sets, which we will call the first minimal image set. In this article, we investigate the corresponding relation for a class of discontinuous self maps that are on the verge of continuity, or topologically almost continuous endomorphisms. We prove that the iterative dynamics of a topologically almost continuous endomorphisms yields a chain of minimal image sets that attains a unique transfinite length, which we call the maximal invariance order, as it stabilizes itself at the maximal invariant set. We prove the converse, too. Given ordinal number ξ, there exists a topologically almost continuous endomorphism f on a compact Hausdorff space X with the maximal invariance order ξ. We also discuss some further results regarding the maximal invariance order as more layers of topological restrictions are added.

• 대한수학회보
• /
• 제60권6호
• /
• pp.1463-1475
• /
• 2023

In this paper, we introduce a class of rings generalizing unit regular rings and being a subclass of semipotent rings, which is called idempotent unit regular. We call a ring R an idempotent unit regular ring if for all r ∈ R - J(R), there exist a non-zero idempotent e and a unit element u in R such that er = eu, where this condition is left and right symmetric. Thus, we have also that there exist a non-zero idempotent e and a unit u such that ere = eue for all r ∈ R - J(R). Various basic characterizations and properties of this class of rings are proved and it is given the relationships between this class of rings and some well-known classes of rings such as semiperfect, clean, exchange and semipotent. Moreover, we obtain some results about when the endomorphism ring of a module in a class of left R-modules X is idempotent unit regular.

• 대한수학회논문집
• /
• 제39권2호
• /
• pp.373-397
• /
• 2024

Lambek introduced the concept of symmetric rings to expand the commutative ideal theory to noncommutative rings. In this study, we propose an extension of symmetric rings called strongly α-symmetric rings, which serves as both a generalization of strongly symmetric rings and an extension of symmetric rings. We define a ring R as strongly α-symmetric if the skew polynomial ring R[x; α] is symmetric. Consequently, we provide proofs for previously established outcomes regarding symmetric and strongly symmetric rings, directly derived from the results we have obtained. Furthermore, we explore various properties and extensions of strongly α-symmetric rings.

• 대한수학회지
• /
• 제47권3호
• /
• pp.455-466
• /
• 2010

For an endomorphism $\alpha$ of a ring R, we introduce the weak $\alpha$-skew Armendariz rings which are a generalization of the $\alpha$-skew Armendariz rings and the weak Armendariz rings, and investigate their properties. Moreover, we prove that a ring R is weak $\alpha$-skew Armendariz if and only if for any n, the $n\;{\times}\;n$ upper triangular matrix ring $T_n(R)$ is weak $\bar{\alpha}$-skew Armendariz, where $\bar{\alpha}\;:\;T_n(R)\;{\rightarrow}\;T_n(R)$ is an extension of $\alpha$ If R is reversible and $\alpha$ satisfies the condition that ab = 0 implies $a{\alpha}(b)=0$ for any a, b $\in$ R, then the ring R[x]/($x^n$) is weak $\bar{\alpha}$-skew Armendariz, where ($x^n$) is an ideal generated by $x^n$, n is a positive integer and $\bar{\alpha}\;:\;R[x]/(x^n)\;{\rightarrow}\;R[x]/(x^n)$ is an extension of $\alpha$. If $\alpha$ also satisfies the condition that ${\alpha}^t\;=\;1$ for some positive integer t, the ring R[x] (resp, R[x; $\alpha$) is weak $\bar{\alpha}$-skew (resp, weak) Armendariz, where $\bar{\alpha}\;:\;R[x]\;{\rightarrow}\;R[x]$ is an extension of $\alpha$.

• Kyungpook Mathematical Journal
• /
• 제59권4호
• /
• pp.603-615
• /
• 2019

Let R be an associative unital ring with an endomorphism α and α-derivation δ. The constant products of elements in Ore extension rings, when the coefficient ring is reversible, is investigated. We show that if f(x) = ∑ⁿ_i=0 a_ixⁱ and g(x) = ∑^m_j=0 b_jx^j be nonzero elements in Ore extension ring R[x; α, δ] such that g(x)f(x) = c ∈ R, then there exist non-zero elements r, a ∈ R such that rf(x) = ac, when R is an (α, δ)-compatible ring which is reversible. Among applications, we give an exact characterization of the unit elements in R[x; α, δ], when the coeficient ring R is (α, δ)-compatible. Furthermore, it is shown that if R is a weakly 2-primal ring which is (α, δ)-compatible, then J(R[x; α, δ]) = N iℓ(R)[x; α, δ]. Some other applications and examples of rings with this property are given, with an emphasis on certain classes of NI rings. As a consequence we obtain generalizations of the many results in the literature. As the final part of the paper we construct examples of rings that explain the limitations of the results obtained and support our main results.

• 대한수학회보
• /
• 제54권2호
• /
• pp.559-571
• /
• 2017

We investigate modules M having the injective property relative to nonsingular modules. Such modules are called "$\mathcal{N}$-injective modules". It is shown that M is an $\mathcal{N}$-injective R-module if and only if the annihilator of $Z_2(R_R)$ in M is equal to the annihilator of $Z_2(R_R)$ in E(M). Every $\mathcal{N}$-injective R-module is injective precisely when R is a right nonsingular ring. We prove that the endomorphism ring of an $\mathcal{N}$-injective module has a von Neumann regular factor ring. Every (finitely generated, cyclic, free) R-module is $\mathcal{N}$-injective, if and only if $R^{(\mathbb{N})}$ is $\mathcal{N}$-injective, if and only if R is right t-semisimple. The $\mathcal{N}$-injective property is characterized for right extending rings, semilocal rings and rings of finite reduced rank. Using the $\mathcal{N}$-injective property, we determine the rings whose all nonsingular cyclic modules are injective.

• 대한수학회지
• /
• 제47권5호
• /
• pp.879-897
• /
• 2010

Y. Hirano introduced the concept of a quasi-Armendariz ring which extends both Armendariz rings and semiprime rings. A ring R is called quasi-Armendariz if $a_iRb_j$ = 0 for each i, j whenever polynomials $f(x)\;=\;\sum_{i=0}^ma_ix^i$, $g(x)\;=\;\sum_{j=0}^mb_jx^j\;{\in}\;R[x]$ satisfy f(x)R[x]g(x) = 0. In this paper, we first extend the quasi-Armendariz property of semiprime rings to the skew polynomial rings, that is, we show that if R is a semiprime ring with an epimorphism $\sigma$, then f(x)R[x; $\sigma$]g(x) = 0 implies $a_iR{\sigma}^{i+k}(b_j)=0$ for any integer k $\geq$ 0 and i, j, where $f(x)\;=\;\sum_{i=0}^ma_ix^i$, $g(x)\;=\;\sum_{j=0}^mb_jx^j\;{\in}\;R[x,\;{\sigma}]$. Moreover, we extend this property to the skew monoid rings, the Ore extensions of several types, and skew power series ring, etc. Next we define $\sigma$-skew quasi-Armendariz rings for an endomorphism $\sigma$ of a ring R. Then we study several extensions of $\sigma$-skew quasi-Armendariz rings which extend known results for quasi-Armendariz rings and $\sigma$-skew Armendariz rings.

• Kyungpook Mathematical Journal
• /
• 제56권1호
• /
• pp.83-94
• /
• 2016

Let M and N be modules over a ring R. The purpose of this paper is to study modules M, N for which the bi-module [M, N] is regular or pi. It is proved that the bi-module [M, N] is regular if and only if a module N is semi M-projective and $Im({\alpha}){\subseteq}^{\oplus}N$ for all ${\alpha}{\in}[M,N]$, if and only if a module M is semi N-injective and $Ker({\alpha}){\subseteq}^{\oplus}N$ for all ${\alpha}{\in}[M,N]$. Also, it is proved that the bi-module [M, N] is pi if and only if a module N is direct M-projective and for any ${\alpha}{\in}[M,N]$ there exists ${\beta}{\in}[M,N]$ such that $Im({\alpha}{\beta}){\subseteq}^{\oplus}N$, if and only if a module M is direct N-injective and for any ${\alpha}{\in}[M,N]$ there exists ${\beta}{\in}[M,N]$ such that $Ker({\beta}{\alpha}){\subseteq}^{\oplus}M$. The relationship between the Jacobson radical and the (co)singular ideal of [M, N] is described.

• East Asian mathematical journal
• /
• 제38권1호
• /
• pp.1-12
• /
• 2022

Let R be a ring with an endomorphism σ and a σ-derivation δ. R is called (σ, δ)-Baer (resp. (σ, δ)-quasi-Baer, (σ, δ)-p.q.-Baer, (σ, δ)-p.p.) if the right annihilator of every right (σ, δ)-set (resp., (σ, δ)-ideal, principal (σ, δ)-ideal, (σ, δ)-element) of R is generated by an idempotent of R. In this paper, for a given Ore extension A = R[x; σ, δ] of R, the following properties are investigated: If R is a σ-rigid ring in which σ and δ commute, then (1) R is (σ, δ)-Baer if and only if R is (σ, δ)-quasi-Baer if and only if A is (${\bar{\sigma}},\;{\bar{\delta}}$)-Baer if and only if A is (${\bar{\sigma}},\;{\bar{\delta}}$)-quasi-Baer; (2) R is (σ, δ)-p.p. if and only if R is (σ, δ)-p.q.-Baer if and only if A is (${\bar{\sigma}},\;{\bar{\delta}}$)-p.p. if and only if A is (${\bar{\sigma}},\;{\bar{\delta}}$)-p.q.-Baer.

• 대한수학회지
• /
• 제50권3호
• /
• pp.557-578
• /
• 2013

For an ideal $\mathcal{I}$ of a preadditive category $\mathcal{A}$, we study when the canonical functor $\mathcal{C}:\mathcal{A}{\rightarrow}\mathcal{A}/\mathcal{I}$ is local. We prove that there exists a largest full subcategory $\mathcal{C}$ of $\mathcal{A}$, for which the canonical functor $\mathcal{C}:\mathcal{C}{\rightarrow}\mathcal{C}/\mathcal{I}$ is local. Under this condition, the functor $\mathcal{C}$, turns out to be a weak equivalence between $\mathcal{C}$, and $\mathcal{C}/\mathcal{I}$. If $\mathcal{A}$ is additive (with splitting idempotents), then $\mathcal{C}$ is additive (with splitting idempotents). The category $\mathcal{C}$ is ample in several cases, such as the case when $\mathcal{A}$=Mod-R and $\mathcal{I}$ is the ideal ${\Delta}$ of all morphisms with essential kernel. In this case, the category $\mathcal{C}$ contains, for instance, the full subcategory $\mathcal{F}$ of Mod-R whose objects are all the continuous modules. The advantage in passing from the category $\mathcal{F}$ to the category $\mathcal{F}/\mathcal{I}$ lies in the fact that, although the two categories $\mathcal{F}$ and $\mathcal{F}/\mathcal{I}$ are weakly equivalent, every endomorphism has a kernel and a cokernel in $\mathcal{F}/{\Delta}$, which is not true in $\mathcal{F}$. In the final section, we extend our theory from the case of one ideal$\mathcal{I}$ to the case of $n$ ideals $\mathcal{I}_$, ${\ldots}$, $\mathca{l}_n$.