The notion of maximal non-pseudovaluation subring of an integral domain is introduced and studied. Let $R\subset S$ be an extension of domains. Then $R$ is called a maximal non-pseudovaluation subring of $S$ if $R$ is not a pseudovaluation subring of $S$, and for any ring $T$ such that $R\subset T\subset S$, $T$ is a pseudovaluation subring of $S$. We show that if $S$ is not local, then there no such $T$ exists between $R$ and $S$. We also characterize maximal non-pseudovaluation subrings of a local integral domain.

Let $D$ be a division ring finite dimensional over its center $F$. The goal of this paper is to prove that for any positive integer $n$ there exists $a\in D^{\left(n\right)},$ the $n$th multiplicative derived subgroup such that $F\left(a\right)$ is a maximal subfield of $D$. We also show that a single depth-$n$ iterated additive commutator would generate a maximal subfield of $D.$

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

Let $R$ be a commutative ring with unity. The notion of maximal non valuation domain in an integral domain is introduced and characterized. A proper subring $R$ of an integral domain $S$ is called a maximal non valuation domain in $S$ if $R$ is not a valuation subring of $S$, and for any ring $T$ such that $R\subset T\subset S$, $T$ is a valuation subring of $S$. For a local domain $S$, the equivalence of an integrally closed maximal non VD in $S$ and a maximal non local subring of $S$ is established. The relation between $dim(R,S)$ and...

We study sums and products in a field. Let $F$ be a field with $\mathrm{ch}\left(F\right)\ne 2$, where $\mathrm{ch}\left(F\right)$ is the characteristic of $F$. For any integer $k\ge 4$, we show that any $x\in F$ can be written as $a_1+\cdots +a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1\cdots a_k=1$, and that for any $\alpha \in F\setminus \left\{0\right\}$ we can write every $x\in F$ as $a_1\cdots a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1+\cdots +a_k=\alpha$. We also prove that for any $x\in F$ and $k\in \{2,3,\cdots \}$ there are $a_1,\cdots ,a_{2k}\in F$ such that $a_1+\cdots +a_{2k}=x=a_1\cdots a_{2k}$.

Let $A\left(X\right)$ denote a subalgebra of $C\left(X\right)$ which is closed under local bounded inversion, briefly, an $LBI$-subalgebra. These subalgebras were first introduced and studied in Redlin L., Watson S., Structure spaces for rings of continuous functions with applications to realcompactifications, Fund. Math. 152 (1997), 151–163. By characterizing maximal ideals of $A\left(X\right)$, we generalize the notion of $z_A^{\beta }$-ideals, which was first introduced in Acharyya S.K., De D., An interesting class of ideals in subalgebras of $C\left(X\right)$...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

Let $H$ be a finite abelian group of odd order, $𝒟$ be its generalized dihedral group, i.e., the semidirect product of $C_2$ acting on $H$ by inverting elements, where $C_2$ is the cyclic group of order two. Let $\Omega \left(𝒟\right)$ be the Burnside ring of $𝒟$, $\Delta \left(𝒟\right)$ be the augmentation ideal of $\Omega \left(𝒟\right)$. Denote by ${\Delta }^n\left(𝒟\right)$ and $Q_n\left(𝒟\right)$ the $n$th power of $\Delta \left(𝒟\right)$ and the $n$th consecutive quotient group ${\Delta }^n\left(𝒟\right)/{\Delta }^{n+1}\left(𝒟\right)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for ${\Delta }^n\left(𝒟\right)$ and determines the isomorphism class of $Q_n\left(𝒟\right)$ for each positive integer $n$.

For $k\in \mathbb{N}\cup \left\{\infty \right\}$ and $U$ open in $ℝ$, let ${\mathrm{C}}^k\left(U\right)$ be the ring of real valued functions on $U$ with the first $k$ derivatives continuous. It is shown that for $f\in {\mathrm{C}}^k\left(U\right)$ there is $g\in {\mathrm{C}}^{\infty }\left(ℝ\right)$ with $U\subseteq \mathrm{coz}g$ and $h\in {\mathrm{C}}^k\left(ℝ\right)$ with ${fg|}_U{=h|}_U$. The function $f$ and its $k$ derivatives are not assumed to be bounded on $U$. The function $g$ is constructed using splines based on the Mollifier function. Some consequences about the ring ${\mathrm{C}}^k\left(ℝ\right)$ are deduced from this, in particular that ${\mathrm{Q}}_{\mathrm{cl}}\left({\mathrm{C}}^k\left(ℝ\right)\right)=\mathrm{Q}\left({\mathrm{C}}^k\left(ℝ\right)\right)$.