Let F be a field. We show that certain subrings contained between the polynomial ring F [X] = F [X1, · · · , Xn] and the power series ring F [X][[Y ]] = F [X1, · · · , Xn][[Y ]] have Weierstrass Factorization, which allows us to deduce both unique factorization and the Noetherian property. These intermediate subrings are obtained from elements of F [X][[Y ]] by bounding their total X-degree abo...

We investigate the embeddings of the value group and residue field of a real closed valued field A in Aeq via quantifier elimination in a three sorted language. We classify the one types of field elements in a real closed valued field. Finally, we investigate some of the linear structure in Aeq induced by the valuation ring V and introduce the geometric sorts. In a subsequent paper we show that...

We give a sufficient condition for a bi-invariant weight on a Frobenius bimodule to satisfy the extension property. This condition applies to bi-invariant weights on a finite Frobenius ring as a special case. The complex-valued functions on a Frobenius bimodule are viewed as a module over the semigroup ring of the multiplicative semigroup of the coefficient ring.

Abstract We continue with our study of the noncritical exceptional zeros Katz’ $p$-adic $L$-functions attached to a CM field $K$, following two threads. In 1st thread, we redefine (group-ring-valued) ${\mathcal {L}}$-invariant associated each ${\mathbb {Z}}_p$-extension $K_\Gamma $ $K$ in terms height pairings and interpolate them as varies universal (multivariate) group-ring-valued {L}}$-invar...

Let φ be a compactly supported symmetric real-valued refinable function in L2(R) with a finitely supported symmetric real-valued mask on Z. Under the assumption that the shifts of φ are stable, in this paper we prove that one can always construct three wavelet functions ψ, ψ and ψ such that (i) All the wavelet functions ψ, ψ and ψ are compactly supported, real-valued and finite linear combinati...

In this survey we determine an explicit set of generators of the maximal ideals in the ring R[x1, . . . , xn] of polynomials in n variables with real coefficients and give an easy analytic proof of the Bass-Vasershtein theorem on the Bass stable rank of R[x1, . . . , xn]. The ingredients of the proof stem from different publications by Coquand, Lombardi, Estes and Ohm. We conclude with a calcul...

In this article, we formalized Lebesgue’s Convergence theorem of complex-valued function. We proved Lebesgue’s Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue’s Convergence Theorem of complexvalued function. We also defined...