• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1167-1182
• /
• 2016

Let M be an R-module, where R is a commutative ring with identity 1 and let G(V,E) be a graph. In this paper, we study the graphs associated with modules over commutative rings. We associate three simple graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ to M called full annihilating, semi-annihilating and star-annihilating graph. When M is finite over R, we investigate metric dimensions in $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$. We show that M over R is finite if and only if the metric dimension of the graph $ann_f({\Gamma}(M_R))$ is finite. We further show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if M is a prime-multiplication-like R-module. We investigate the case when M is a free R-module, where R is an integral domain and show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if $$M{\sim_=}R$$. Finally, we characterize all the non-simple weakly virtually divisible modules M for which Ann(M) is a prime ideal and Soc(M) = 0.

• Korean Journal of Mathematics
• /
• v.20 no.3
• /
• pp.307-314
• /
• 2012

Let M be a left R-module and R be a ring with unity, and $S=\{0,2,3,4,{\ldots}\}$ be a submonoid. Then $M[x^{-s}]=\{a_0+a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}a_i{\in}M\}$ is an $R[x^s]$-module. In this paper we show some properties of $M[x^{-s}]$ as an $R[x^s]$-module. Let $f:M{\rightarrow}N$ be an R-linear map and $\overline{M}[x^{-s}]=\{a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}a_i{\in}M\}$ and define $N+\overline{M}[x^{-s}]=\{b_0+a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}b_0{\in}N,\;a_i{\in}M}$. Then $N+\overline{M}[x^{-s}]$ is an $R[x^s]$-module. We show that given a short exact sequence $0{\rightarrow}L{\rightarrow}M{\rightarrow}N{\rightarrow}0$ of R-modules, $0{\rightarrow}L{\rightarrow}M[x^{-s}]{\rightarrow}N+\overline{M}[x^{-s}]{\rightarrow}0$ is a short exact sequence of $R[x^s]$-module. Then we show $E_1+\overline{E_0}[x^{-s}]$ is not an injective left $R[x^s]$-module, in general.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.279-284
• /
• 1994

Let R = ($r_1$, $r_2$, …, $r_{m}$) and S = ($s_1$, $s_2$, …, $s_{n}$ ) be positive integral vectors satisfying $r_1$＋ $r_2$＋…＋ $r_{m}$ = $s_1$＋ $s_2$＋ㆍㆍㆍ＋ $s_{n}$ , and let U(R, S) denote the class of all m $\times$ n matrices A = [$_a{ij}$ ] where $a_{ij}$ = 0 or 1 such that (equation omitted) = $r_{i}$ , (equation omitted) = $s_{j}$ , i = 1, ㆍㆍㆍ, m, j = 1, ㆍㆍㆍ, n.(omitted)

• 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.

• Kyungpook Mathematical Journal
• /
• v.54 no.4
• /
• pp.607-617
• /
• 2014

Let S = C(r,m), the finite cyclic semigroup with index r and period m. Each subsemigroup of S is cyclic if and only if either r = 1; r = 2; or r = 3 with m odd. For $r{\neq}1$, the maximum value of the minimum number of elements in a (minimal) generating set of a subsemigroup of S is 1 if r = 3 and m is odd; 2 if r = 3 and m is even; (r-1)/2 if r is odd and unequal to 3; and r/2 if r is even. The number of cyclic subsemigroups of S is $r-1+{\tau}(m)$. Formulas are also given for the number of 2-generated subsemigroups of S and the total number of subsemigroups of S. The minimal generating sets of subsemigroups of S are characterized, and the problem of counting them is analyzed.

• 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$.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.1059-1066
• /
• 2011

We introduce the concept of fuzzy S-weakly r-M-continuous functions on fuzzy r-minimal spaces, and investigate some characterizations of such functions and the relations between the continuity and fuzzy r-minimal compactness on fuzzy r-minimal spaces.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.18 no.6
• /
• pp.50-59
• /
• 2014

In this paper, Reinforced concrete (R/C) and R/C+steel plate concrete slab was carried out by SAP2000 software program in order to compare the stability of the multi-functional fishway, that is Bonggok fishway, built at Bonggok river recently in Gumi city, when the size of underground passage is $1m{\times}0.2m$, $1m{\times}0.4m$, $1m{\times}0.6m$ and the velocity is 0.8m/s, 1.2m/s, 1.6m/s respectively for the S2 (R/C+S/C). The analysis shows the maximum stress of S2 decreases less 26~50% than that of Bonggok, bending moment of sidewall decreases less 28~54%, maximum stress of side wall decreases less 17~31%, bending moment of upper slab decreases less 24~47%, maximum stress of upper slab decreases less 4~20%, and bending moment decreases less 10~27% than that of Bonggok. The complementation is required as much as the following percent; 27% and 25% for the maximum stress and bending moment of underground passage, 15% and 24% for the side wall maximum stress and bending moment, and 10% and 14% for the upper slab maximum stress and bending moment, respectively. This result shows that the S2 is greatly superior to that of the Bonggok fishway, and underground passage size of $1m{\times}0.4m$ is superior to that of $1m{\times}0.2m$ or $1m{\times}0.6m$, and R/C+S/C slab is superior to that of R/C slab. This result is expected to be the basic data for the construction and design of the multi-functional fishway.

• East Asian mathematical journal
• /
• v.16 no.1
• /
• pp.111-123
• /
• 2000

Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[xl-module. Park generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^s]$-module, where S is a submonoid of N(N is the set of all natural numbers). In this paper we show $$Hom_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Hom_R(M,\;N)[[x^S]]$$ and using the above result and this isomorphism, finally we show that $$Ext^i_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Ext^i_R(M,\;N)[[x^S]]$$.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.439-450
• /
• 2019

Let R be a ring with unity. Given modules $M_R$ and $_RN$, $M_R$ is said to be absolutely $_RN$-pure if $M{\otimes}N{\rightarrow}L{\otimes}N$ is a monomorphism for every extension $L_R$ of $M_R$. For a module $M_R$, the subpurity domain of $M_R$ is defined to be the collection of all modules $_RN$ such that $M_R$ is absolutely $_RN$-pure. Clearly $M_R$ is absolutely $_RF$-pure for every flat module $_RF$, and that $M_R$ is FP-injective if the subpurity domain of M is the entire class of left modules. As an opposite of FP-injective modules, $M_R$ is said to be a test for flatness by subpurity (or t.f.b.s. for short) if its subpurity domain is as small as possible, namely, consisting of exactly the flat left modules. Every ring has a right t.f.b.s. module. $R_R$ is t.f.b.s. and every finitely generated right ideal is finitely presented if and only if R is right semihereditary. A domain R is $Pr{\ddot{u}}fer$ if and only if R is t.f.b.s. The rings whose simple right modules are t.f.b.s. or injective are completely characterized. Some necessary conditions for the rings whose right modules are t.f.b.s. or injective are obtained.