• Communications of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.1-10
• /
• 2021

Let R and S be two commutative rings, J be an ideal of S and f : R → S be a ring homomorphism. The amalgamation of R and S along J with respect to f, denoted by R ⋈f J, is the special subring of R × S defined by R ⋈f J = {(a, f(a) + j) | a ∈ R, j ∈ J}. In this paper, we study some basic properties of a special kind of R ⋈f J-modules, called the amalgamation of M and N along J with respect to ��, and defined by M ⋈�� JN := {(m, ��(m) + n) | m ∈ M and n ∈ JN}, where �� : M → N is an R-module homomorphism. The new results generalize some known results on the amalgamation of rings and the duplication of a module along an ideal.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.57-71
• /
• 2019

Let R be an associative ring with identity, M a t.u.p. monoid with only one unit and ${\omega}:M{\rightarrow}End(R)$ a monoid homomorphism. Let R be a reversible, M-compatible ring and ${\alpha}=a_1g_1+{\cdots}+a_ng_n$ a non-zero element in skew monoid ring $R{\ast}M$. It is proved that if there exists a non-zero element ${\beta}=b_1h_1+{\cdots}+b_mh_m$ in $R{\ast}M$ with ${\alpha}{\beta}=c$ is a constant, then there exist $1{\leq}i_0{\leq}n$, $1{\leq}j_0{\leq}m$ such that $g_{i_0}=e=h_{j_0}$ and $a_{i_0}b_{j_0}=c$ and there exist elements a, $0{\neq}r$ in R with ${\alpha}r=ca$. As a consequence, it is proved that ${\alpha}{\in}R*M$ is unit if and only if there exists $1{\leq}i_0{\leq}n$ such that $g_{i_0}=e$, $a_{i_0}$ is unit and aj is nilpotent for each $j{\neq}i_0$, where R is a reversible or right duo ring. Furthermore, we determine the relation between clean and nil clean elements of R and those elements in skew monoid ring $R{\ast}M$, where R is a reversible or right duo ring.

• Journal of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1197-1214
• /
• 2012

The classes of $G_C$ homological modules over commutative ring, where C is a semidualizing module, extend Holm and J${\varnothing}$gensen's notions of C-Gorenstein homological modules to the non-Noetherian setting and generalize the classical classes of homological modules and the classes of Gorenstein homological modules within this setting. On the other hand, transfer of homological properties along ring homomorphisms is already a classical field of study. Motivated by the ideas mentioned above, in this article we will investigate the transfer properties of C and $G_C$ homological dimension.

• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.191-207
• /
• 2015

Let $\mathcal{R}$ be a prime ring of characteristic different from 2, $\mathcal{Q}_r$ be its right Martindale quotient ring and $\mathcal{C}$ be its extended centroid. Suppose that $\mathcal{G}$ is a nonzero generalized skew derivation of $\mathcal{R}$, ${\alpha}$ is the associated automorphism of $\mathcal{G}$, f($x_1$, ${\cdots}$, $x_n$) is a non-central multilinear polynomial over $\mathcal{C}$ with n non-commuting variables and $$\mathcal{S}=\{f(r_1,{\cdots},r_n)\left|r_1,{\cdots},r_n{\in}\mathcal{R}\}$$. If $\mathcal{G}$ acts as a Jordan homomorphism on $\mathcal{S}$, then either $\mathcal{G}(x)=x$ for all $x{\in}\mathcal{R}$, or $\mathcal{G}={\alpha}$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1067-1079
• /
• 2012

Let M be a right R-module, (S, ${\leq}$) a strictly totally ordered monoid which is also artinian and ${\omega}:S{\rightarrow}Aut(R)$ a monoid homomorphism, and let $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ denote the generalized inverse polynomial module over the skew generalized power series ring [[$R^{S,{\leq}},{\omega}$]]. In this paper, we prove that $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same uniform dimension as its coefficient module $M_R$, and that if, in addition, R is a right perfect ring and S is a chain monoid, then $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same couniform dimension as its coefficient module $M_R$.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.709-737
• /
• 2020

Let R be a prime ring of characteristic different from 2. Suppose that F, G, H and T are generalized derivations of R. Let U be the Utumi quotient ring of R and C be the center of U, called the extended centroid of R and let f(x₁, …, x_n) be a non central multilinear polynomial over C. If F(f(r₁, …, r_n))G(f(r₁, …, r_n)) - f(r₁, …, r_n)T(f(r₁, …, r_n)) = H(f(r₁, …, r_n)²) for all r₁, …, r_n ∈ R, then we describe all possible forms of F, G, H and T.

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.347-352
• /
• 2012

In this paper, we denote that $R$ is a near-ring and $G$ an $R$-group. We initiate the study of faithful $R$-group, the substructures of $R$ and $G$, also quotients of substructure relations between them. Next, we investigate some isomorphic properties of near-rings and $R$-groups.

• Kyungpook Mathematical Journal
• /
• v.54 no.3
• /
• pp.471-476
• /
• 2014

Let R be a ring. A right R-module M is PS-injective if every R-homomorphism $f:aR{\rightarrow}M$ for every principally small right ideal aR can be extended to $R{\rightarrow}M$. We investigate, in this paper, rings whose simple singular modules are PS-injective. New characterizations of semiprimitive rings and semisimple Artinian rings are given.

• The Mathematical Education
• /
• v.12 no.2
• /
• pp.5-12
• /
• 1974

단위원을 가지는 하환환에 있어서의 Prime Spectrum에 관하여 다음 세가지 사실을 증명하였다. 1. X를 환 R의 prime spectrum, C(X)를 X에서 정의되는 실연적함수의 환, X를 C(X)의 maximal spectrum이라 하면 X는 C(X)의 prime spectrum의 부분공간으로서의 한 T-space로 된다. N을 환 R의 nilradical이라 하면, R/N이 regula 이면 X와 X는 위상동형이다. 2. f: R$\longrightarrow$R'을 ring homomorphism, P를 R의 한 Prime ideal, $R_{p}$, R'$_{p}$를 각각 S=R-P 및 f(S)에 관한 분수환(ring of fraction)이라 하고, k(P)를 local ring $R_{p}$의 residue' field라 할 때, R'의 prime spectrum의 부분공간인 $f^{*-1}$(P)는 k(P)(equation omitted)$_{R}$R'의 prime spectrum과 위상동형이다. 단 f*는 f*(Q)=$f^{-1}$(Q)로서 정의되는 함수 s*:Spec(R')$\longrightarrow$Spec(R)이다. 3. X를 환 S의 prime spectrum, N을 R의 nilradical이라 할 때, 다음 네가지 사실은 동치이다. (1) R/N 은 regular 이다. (2) X는 Zarski topology에 관하여 Hausdorff 공간이다. (3) X에서의 Zarski topology와 constructible topology와는 일치한다. (4) R의 임의의 원소 f에 대하여 f를 포함하지 않는 R의 prime ideal 전체의 집합 $X_{f}$는 Zarski topology에 관하여 개집합인 동시에 폐집합이다.폐집합이다....

• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.1-14
• /
• 1998

In this short note we study the torsion theories over a commutative ring R and discuss a relative dimension related to such theories for R-modules. Let ${\sigma}$ be a torsion functor and (T, F) be its corresponding partition of Spec(R). The concept of ${\sigma}$-Cohen Macaulay (abbr. ${\sigma}$-CM) module is defined and some of the main points concerning the usual Cohen-Macaulay modules are extended. In particular it is shown that if M is a non-zero ${\sigma}$-CM module over R and S is a multiplicatively closed subset of R such that, for all minimal element of T, $S{\cap}p={\emptyset}$, then $S^{-1}M$ is a $S^{-1}{\sigma}$-CM module over $S^{-1}$R, where $S^{-1}{\sigma}$ is the direct image of ${\sigma}$ under the natural ring homomorphism $R{\longrightarrow}S^{-1}R$.