• The Pure and Applied Mathematics
• /
• v.18 no.4
• /
• pp.305-312
• /
• 2011

In this paper, we denote that R is a near-ring and G an R-group. We initiate the study of the substructures of R and G. Next, we investigate some properties of R-groups, d.g. near-rings and monogenic (R, S)-groups.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.779-787
• /
• 2019

In this paper, we study two functional equations with two unknown functions from an Abelian group into a commutative ring without zero divisors. The two equations are generalizations of Swiatak's functional equations with an involution. We determine the general solutions of the two functional equations and the properties of the general solutions of the two functional equations under three different hypotheses, respectively. For one of the functional equations, we establish the Hyers-Ulam stability in the case that the unknown functions are complex valued.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.23-32
• /
• 2023

Let 𝓢 be a Serre class in the category of modules and 𝖆 an ideal of a commutative Noetherian ring R. We study the containment of Tor modules, Koszul homology and local homology in 𝓢 from below. With these results at our disposal, by specializing the Serre class to be Noetherian or zero, a handful of conclusions on Noetherianness and vanishing of the foregoing homology theories are obtained. We also determine when Tor^R_𝓼+t(R/𝖆, X) ≅ Tor^R_𝓼(R/𝖆, H^𝖆_t(X)).

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.303-311
• /
• 2024

In this paper, our focus lies in exploring the concept of Cohen-Macaulay dimension within the category of homologically finite complexes. We prove that over a local ring (R, 𝔪), any homologically finite complex X with a finite Cohen-Macaulay dimension possesses a finite CM-resolution. This means that there exists a bounded complex G of finitely generated R-modules, such that G is isomorphic to X and each nonzero G_i within the complex G has zero Cohen-Macaulay dimension.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.2
• /
• pp.291-299
• /
• 2024

We study some factorization properties of the idealization R(+)M of a module M in a commutative ring R which is not necessarily a domain. We show that R(+)M is ACCP if and only if R is ACCP and M satisfies ACC on its cyclic submodules. We give an example to show that the BF property is not necessarily preserved in idealization, and give some conditions under which R(+)M is a BFR. We also characterize the idealization rings which are UFRs.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.933-948
• /
• 2005

Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for every submodule N of M there exists an ideal I of R such that N = 1M. Let M be a non-zero multiplication R-module. Then we prove the following: (1) there exists a bijection: N(M)$\bigcap$V(ann$\_{R}$(M))$\rightarrow$Spec$\_{R}$(M) and in particular, there exists a bijection: N(M)$\bigcap$Max(R)$\rightarrow$Max$\_{R}$(M), (2) N(M) $\bigcap$ V(ann$\_{R}$(M)) = Supp(M) $\bigcap$ V(ann$\_{R}$(M)), and (3) for every ideal I of R, The ideal $\theta$(M) = $\sum$$\_{m(Rm :R M) of R has proved useful in studying multiplication modules. We generalize this ideal to prove the following result: Let R be a commutative ring with identity, P $\in$ Spec(R), and M a non-zero R-module satisfying (1) M is a finitely generated multiplication module, (2) PM is a multiplication module, and (3) P$^{n}$M$\neq$P$^{n+1}$ for every positive integer n, then $\bigcap$$^{$\_{n=1}$(P$^{n}$ + ann$\_{R}$(M)) $\in$ V(ann$\_{R}$(M)) = Supp(M) $\subseteq$ N(M).

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.283-288
• /
• 2009

Let N be a zero-symmetric near-ring with identity and let ${\Gamma}(N)$ be a graph with vertices as elements of N, where two different vertices a and b are adjacent if and only if + = N, where is the ideal of N generated by x. Let ${\Gamma}_1(N)$ be the subgraph of ${\Gamma}(N)$ generated by the set {n ${\in}$ N : = N} and ${\Gamma}_2(N)$ be the subgraph of ${\Gamma}(N)$ generated by the set $N{\backslash}{\upsilon}({\Gamma}_1(N))$, where ${\upsilon}(G)$ is the set of all vertices of a graph G. In this paper, we completely characterize the diameter of the subgraph ${\Gamma}_2(N)$ of ${\Gamma}(N)$. In addition, it is shown that for any near-ring, ${\Gamma}_2(N){\backslash}M(N)$ is a complete bipartite graph if and only if the number of maximal ideals of N is 2, where M(N) is the intersection of all maximal ideals of N and ${\Gamma}_2(N){\backslash}M(N)$ is the graph obtained by removing the elements of the set M(N) from the vertices set of the graph ${\Gamma}_2(N)$.