• Journal of applied mathematics & informatics
• /
• 제26권3_4호
• /
• pp.733-738
• /
• 2008

Using an information of dimensions of divergence points, we give full information of dimensions of the completely decomposed class of the lower(upper) distribution sets of a self-similar Cantor set. Further using a relationship between the distribution sets and the subsets generated by the lower(upper) local dimensions of a self-similar measure, we give full information of dimensions of the subsets by the local dimensions.

• 충청수학회지
• /
• 제23권4호
• /
• pp.657-661
• /
• 2010

We study a singular function which we call a generalized cylinder convex(concave) function induced from different generalized dyadic expansion systems on the unit interval. We show that the generalized cylinder convex(concave)function is a singular function and the length of its graph is 2. Using a local dimension set in the unit interval, we give some characterization of the distribution set using its derivative, which leads to that this singular function is nowhere differentiable in the sense of topological magnitude.

• Korean Journal of Mathematics
• /
• 제16권2호
• /
• pp.157-163
• /
• 2008

Using informations of subsets of divergence points and the relation between members of spectral classes, we give another complete decomposition of spectral classes generated by lower(upper) local dimensions of a self-similar measure on a self-similar Cantor set with full information of their dimensions. We note that it is a complete refinement of the earlier complete decomposition of the spectral classes. Further we study the packing dimension of some uncountable union of distribution sets.

• 대한수학회보
• /
• 제48권2호
• /
• pp.261-275
• /
• 2011

We give characterizations of the differentiability points and the non-differentiability points of the Riesz-N$\'{a}$gy-Tak$\'{a}$cs(RNT) singulr function using the distribution sets in the unit interval. Using characterizations, we show that the Hausdorff dimension of the non-differentiability points of the RNT singular function is greater than 0 and the packing dimension of the infinite derivative points of the RNT singular function is less than 1. Further the RNT singular function is nowhere differentiable in the sense of topological magnitude, which leads to that the packing dimension of the non-differentiability points of the RNT singular function is 1. Finally we show that our characterizations generalize a recent result from the ($\tau$, $\tau$ - 1)-expansion associated with the RNT singular function adding a new result for a sufficient condition for the non-differentiability points.

• 대한수학회보
• /
• 제53권5호
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

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

• 호남수학학술지
• /
• 제38권2호
• /
• pp.295-304
• /
• 2016

In this paper we investigate the Artinianness of certain local cohomology modules $H^i_I(N)$ where N is a minimax module over a commutative Noetherian ring R and I is an ideal of R. Also, we characterize the set of attached prime ideals of $H^n_I(N)$, where n is the dimension of N.

• 대한수학회논문집
• /
• 제30권1호
• /
• pp.7-21
• /
• 2015

We give the characterization of H$\ddot{o}$lder differentiability points and non-differentiability points of the Riesz-N$\acute{a}$gy-Tak$\acute{a}$cs (RNT) singular function ${\Psi}_{a,p}$ satisfying ${\Psi}_{a,p}(a)=p$. It generalizes recent multifractal and metric number theoretical results associated with the RNT function. Besides, we classify the singular functions using the singularity order deduced from the H$\ddot{o}$lder derivative giving the information that a strictly increasing smooth function having a positive derivative Lebesgue almost everywhere has the singularity order 1 and the RNT function ${\Psi}_{a,p}$ has the singularity order $g(a,p)=\frac{a{\log}p+(1-a){\log}(1-p)}{a{\log}a+(1-a){\log}(1-a)}{\geq}1$.

• 대한수학회지
• /
• 제58권5호
• /
• pp.1239-1260
• /
• 2021

We study the set of star operations on local Noetherian domains D of dimension 1 such that the conductor (D : T) (where T is the integral closure of D) is equal to the maximal ideal of D. We reduce this problem to the study of a class of closure operations (more precisely, multiplicative operations) in a finite extension k ⊆ B, where k is a field, and then we study how the cardinality of this set of closures vary as the size of k varies while the structure of B remains fixed.

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