• 호남수학학술지
• /
• 제24권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.

• 대한수학회지
• /
• 제59권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.

• 호남수학학술지
• /
• 제39권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.

• 대한수학회지
• /
• 제51권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}\}$.

• 대한수학회지
• /
• 제49권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.

• 충청수학회지
• /
• 제23권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.

• 대한수학회논문집
• /
• 제23권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)$.

• 대한수학회보
• /
• 제47권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.

• 대한수학회보
• /
• 제55권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].

• 대한수학회보
• /
• 제42권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.