• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1083-1096
• /
• 2018

Let R be an associative ring. We define a subset $S_R$ of R as $S_R=\{a{\in}R{\mid}aRa=(0)\}$ and call it the source of semiprimeness of R. We first examine some basic properties of the subset $S_R$ in any ring R, and then define the notions such as R being a ${\mid}S_R{\mid}$-reduced ring, a ${\mid}S_R{\mid}$-domain and a ${\mid}S_R{\mid}$-division ring which are slight generalizations of their classical versions. Beside others, we for instance prove that a finite ${\mid}S_R{\mid}$-domain is necessarily unitary, and is in fact a ${\mid}S_R{\mid}$-division ring. However, we provide an example showing that a finite ${\mid}S_R{\mid}$-division ring does not need to be commutative. All possible values for characteristics of unitary ${\mid}S_R{\mid}$-reduced rings and ${\mid}S_R{\mid}$-domains are also determined.

• Korean Journal of Mathematics
• /
• v.21 no.3
• /
• pp.319-323
• /
• 2013

Let D be a principal ideal domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and $R_n=D[X]/(X^n)$ for an integer $n{\geq}1$. Clearly, $R_n$ is a commutative Noetherian ring with identity, and hence each nonzero nonunit of $R_n$ can be written as a finite product of irreducible elements. In this paper, we show that every irreducible element of $R_n$ is a primary element, and thus every nonunit element of $R_n$ can be written as a finite product of primary elements.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.807-815
• /
• 2005

Let R be a ring with identity, X the set of all nonzero, nonunits of Rand G the group of all units of R. We will consider two group actions on X by G, the regular action and the conjugate action. In this paper, by investigating two group actions we can have some results as follows: First, if G is a finitely generated abelian group, then the orbit O(x) under the regular action on X by G is finite for all nilpotents x $\in$ X. Secondly, if F is a field in which 2 is a unit and F $\backslash\;\{0\}$ is a finitley generated abelian group, then F is finite. Finally, if G in a unit-regular ring R is a torsion group and 2 is a unit in R, then the conjugate action on X by G is trivial if and only if G is abelian if and only if R is commutative.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.399-404
• /
• 2005

Let M be a finite commutative nilpotent algebra over a perfect field k of prime characteristic p and let $M^p$ be the sub-algebra of M generated by $x^p$, $x{\in}M$. Eggert[3] conjectures that $dim_kM{\geq}pdim_kM^p$. In this paper, we show that the conjecture holds for $M=R^+/I$, where $R=k[X_1,\;X_2,\;{\cdots},\;X_t]$ is a polynomial ring with indeterminates $X_1,\;X_2,\;{\cdots},\;X_t$ over k and $R^+$ is the maximal ideal of R generated by $X_1,\;X_2,{\cdots},\;X_t$ and I is a monomial ideal of R containing $X_1^{n_1+1},\;X_2^{n_2+1},\;{\cdots},\;X_t^{n_t+1}$ ($n_i{\geq}0$ for all i).

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.677-688
• /
• 2017

Let P be a finitely generated projective module over a commutative ring R with identity. If P has finite rank, then it will be shown that the map ${\varphi}:Aut_R(P){\rightarrow}U(R)$ defined by ${\varphi}({\alpha})={\det}({\alpha})$ is locally surjective and $Ker({\varphi})=SL_R(P)$.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1197-1211
• /
• 2016

Let R be a finite commutative ring with nonzero identity. We define ${\Gamma}(R)$ to be the graph with vertex set R in which two distinct vertices x and y are adjacent if and only if there exists a unit element u of R such that x + uy is a unit of R. This graph provides a refinement of the unit and unitary Cayley graphs. In this paper, basic properties of ${\Gamma}(R)$ are obtained and the vertex connectivity and the edge connectivity of ${\Gamma}(R)$ are given. Finally, by a constructive way, we determine when the graph ${\Gamma}(R)$ is Hamiltonian. As a consequence, we show that ${\Gamma}(R)$ has a perfect matching if and only if ${\mid}R{\mid}$ is an even number.

• Journal of applied mathematics & informatics
• /
• v.38 no.3_4
• /
• pp.271-276
• /
• 2020

Let R be a commutative ring with identity, R[X] the polynomial ring over R, ∗ a radical operation on R and ⋆ a radical operation of finite character on R[X]. In this paper, we give Hilbert basis theorem for rings with ∗-Noetherian spectrum. More precisely, we show that if (I^∗R[X])^⋆ = (IR[X])^⋆ and (I^∗R[X])^⋆ ∩ R = I^∗ for all ideals I of R, then R has ∗-Noetherian spectrum if and only if R[X] has ⋆-Noetherian spectrum. This is a generalization of a well-known fact that R has Noetherian spectrum if and only if R[X] has Noetherian spectrum.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.705-714
• /
• 2023

Bennis and El Hajoui have defined a (commutative unital) ring R to be S-coherent if each finitely generated ideal of R is a S-finitely presented R-module. Any coherent ring is an S-coherent ring. Several examples of S-coherent rings that are not coherent rings are obtained as byproducts of our study of the transfer of the S-coherent property to trivial ring extensions and amalgamated duplications.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.55-67
• /
• 2023

In this paper we obtain a new structure of a k-annihilating ideal hypergraph of a reduced ring R, by determine the order and size of a hypergraph 𝒜𝒢_k(R). Also we describe and count the degree of every nontrivial ideal of a ring R containing in vertex set 𝒜(R, k) of a hypergraph 𝒜𝒢_k(R). Furthermore, we prove the diameter of 𝒜𝒢_k(R) must be less than or equal to 2. Finally, we determine the minimal dominating set of a k-annihilating ideal hypergraph of a ring R.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.541-548
• /
• 2015

Let R be a commutative ring. An R-module M is called a w-Noetherian module if every submodule of M is of w-finite type. R is called a w-Noetherian ring if R as an R-module is a w-Noetherian module. In this paper, we present an exact version of the Eakin-Nagata Theorem on w-Noetherian rings. To do this, we prove the Formanek Theorem for w-Noetherian rings. Further, we point out by an example that the condition (${\dag}$) in the Chung-Ha-Kim version of the Eakin-Nagata Theorem on SM domains is essential.