• Honam Mathematical Journal
• /
• v.24 no.1
• /
• pp.1-8
• /
• 2002

In this paper we will show that if E is an injective module over a commutative ring A, then the sequence of sets $Ass_{A}(A/I^{n})^{*(E)}),\;n{\in}N,$ is increasing and ultimately constant. Also we will obtain some results concerning the integral closure of ideals related to some modules.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.439-448
• /
• 2022

For a natural number n, let R(n) denote the number of representations of n as the sum of one square and five cubes of primes. In this paper, it is proved that the anticipated asymptotic formula for R(n) fails for at most $O(N^{{\frac{4}{9}+{\varepsilon}})$ positive integers not exceeding N.

• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.275-296
• /
• 2017

All rings considered here are commutative rings with identity and all modules considered here are unital left modules. A submodule N of an R-module M is said to be extended to M if $N=aM$ for some ideal a of R and it is said to be fully invariant if ${\varphi}(L){\subseteq}L$ for every ${\varphi}{\in}End(M)$. An R-module M is called a [resp., fully invariant] multiplication module if every [resp., fully invariant] submodule is extended to M. The class of fully invariant multiplication modules is bigger than the class of multiplication modules. We deal with prime submodules and associated prime submodules of fully invariant multiplication modules. In particular, when M is a nonzero faithful multiplication module over a Noetherian ring, we characterize the zero-divisors of M in terms of the associated prime submodules, and we show that the set Aps(M) of associated prime submodules of M determines the set $Zdv_M(M)$ of zero-dvisors of M and the support Supp(M) of M.

• Journal of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.239-250
• /
• 2014

Let R be a commutative Noetherian (not necessarily local) ring, I an ideal of R and M a finitely generated R-module. In this paper, by computing the local cohomology modules and Ext-modules via the injective resolution of M, we proved that, if for an integer t > 0, dim$_RH_I^i(M){\leq}k$ for ${\forall}i$ < t, then $$\displaystyle\bigcup_{i=0}^{j}(Ass_RH_I^i(M))_{{\geq}k}=\displaystyle\bigcup_{i=0}^{j}(Ass_RExt_R^i(R/I^n,M))_{{\geq}k}$$ for ${\forall}j{\leq}t$ and ${\forall}n$ >0. This shows that${\bigcup}_{n>0}(Ass_RExt_R^i(R/I^n,M))_{{\geq}k}$ is a finite set for ${\forall}i{\leq}t$. Also, we prove that $\displaystyle\bigcup_{i=1}^{r}(Ass_RM/(x_1^{n_1},x_2^{n_2},{\ldots},x_i^{n_i})M)_{{\geq}k}=\displaystyle\bigcup_{i=1}^{r}(Ass_RM/(x_1,x_2,{\ldots},x_i)M)_{{\geq}k}$ if $x_1,x_2,{\ldots},x_r$ is M-sequences in dimension > k and $n_1,n_2,{\ldots},n_r$ are some positive integers. Here, for a subset T of Spec(R), set $T_{{\geq}i}=\{{p{\in}T{\mid}dimR/p{\geq}i}\}$.

• Journal of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.687-701
• /
• 2012

Let $R$ be a ring and $nil(R)$ the set of all nilpotent elements of $R$. For a subset $X$ of a ring $R$, we define $N_R(X)=\{a{\in}R{\mid}xa{\in}nil(R)$ for all $x{\in}X$}, which is called a weak annihilator of $X$ in $R$. $A$ ring $R$ is called weak zip provided that for any subset $X$ of $R$, if $N_R(Y){\subseteq}nil(R)$, then there exists a finite subset $Y{\subseteq}X$ such that $N_R(Y){\subseteq}nil(R)$, and a ring $R$ is called weak symmetric if $abc{\in}nil(R){\Rightarrow}acb{\in}nil(R)$ for all a, b, $c{\in}R$. It is shown that a generalized power series ring $[[R^{S,{\leq}}]]$ is weak zip (resp. weak symmetric) if and only if $R$ is weak zip (resp. weak symmetric) under some additional conditions. Also we describe all weak associated primes of the generalized power series ring $[[R^{S,{\leq}}]]$ in terms of all weak associated primes of $R$ in a very straightforward way.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.1
• /
• pp.169-176
• /
• 2010

Let $k={\mathbb{F}}_q(T)$ and ${\mathbb{A}}={\mathbb{F}}_q[T]$. In this paper, we obtain the the criterion for the parity of the ideal class number h(${\mathcal{O}}_K$) of the real biquadratic function field $K=k(\sqrt{P_1},\;\sqrt{P_2})$, where $P_1$, $P_2{\in}{\mathbb{A}}$ be two distinct monic primes of even degree.

• Communications of the Korean Mathematical Society
• /
• v.23 no.4
• /
• pp.479-485
• /
• 2008

In this note, we study arithmetic properties for the exponents of modular forms on ${\Gamma}_0(p)$ for primes p. Our aim is to refine the result of [4] by using the geometric property of the modular curve of ${\Gamma}_0(p)$.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.633-643
• /
• 2010

In this paper, the concept of maximal ideals relative to a filter on posets is introduced and examined. An intrinsic characterization of distributive lattices is obtained. In addition, we also give a characterization of pseudo primes in semicontinuous lattices and a characterization of semicontinuous lattices. Functions of semicontinuous lattices which are order preserving and semicontinuous are studied. A new concept of semiarithmetic lattices is introduced and examined.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1659-1666
• /
• 2018

Let $P_r$ denote an almost-prime with at most r prime factors, counted according to multiplicity. In this paper, it is proved that for every sufficiently large even integer N, the equation $$N=x^2+p_1^2+p_2^3+p_3^3+p_4^4+p_5^4$$ is solvable with x being an almost-prime $P_4$ and the other variables primes. This result constitutes an improvement upon that of $L{\ddot{u}}$ [7].

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.157-164
• /
• 2005

Let $RRat_k$ ($CP^n$) denote the space of basepoint-preserving conjugation-equivariant holomorphic maps of degree k from $S^2$ to $CP^n$. A map f ; $S^2 {\to}CP^n$ is said to be full if its image does not lie in any proper projective subspace of $CP^n$. Let $RF_k(CP^n)$ denote the subspace of $RRat_k(CP^n)$ consisting offull maps. In this paper we determine $H{\ast}(RF_k(CP^2); Z/p)$ for all primes p.