The rational completion $\overline{M}$ of an $R$-module $M$ can be characterized as a ${\tau }_M$-injective hull of $M$ with respect to a (hereditary) torsion functor ${\tau }_M$ depending on $M$. Properties of a torsion functor depending on an $R$-module $M$ are studied.

Consider the families of curves $C^{n,A}:y²=xⁿ+Ax$ and $C_{n,A}:y²=xⁿ+A$ where A is a nonzero rational. Let $J^{n,A}$ and $J_{n,A}$ denote their respective Jacobian varieties. The torsion points of $C^{3,A}\left(\mathbb{Q}\right)$ and $C_{3,A}\left(\mathbb{Q}\right)$ are well known. We show that for any nonzero rational A the torsion subgroup of $J^{7,A}\left(\mathbb{Q}\right)$ is a 2-group, and for A ≠ 4a⁴,-1728,-1259712 this subgroup is equal to $J^{7,A}\left(\mathbb{Q}\right)\left[2\right]$ (for a excluded values of A, with the possible exception of A = -1728, this group has a point of order 4). This is a variant of the corresponding results for $J^{3,A}$ (A ≠ 4) and $J^{5,A}$. We...

In this paper we introduce the concept of $\tau$-extending modules by $\tau$-rational submodules and study some properties of such modules. It is shown that the set of all $\tau$-rational left ideals of ${}_{R}R$ is a Gabriel filter. An $R$-module $M$ is called $\tau$-extending if every submodule of $M$ is $\tau$-rational in a direct summand of $M$. It is proved that $M$ is $\tau$-extending if and only if $M=Re{j}_{M}E(R/\tau \left(R\right))\oplus N$, such that $N$ is a $\tau$-extending submodule of $M$. An example is given to show that the direct sum of $\tau$-extending modules need not...

Let $R$ be a ring. A subclass $𝒯$ of left $R$-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. Then a left $R$-module $M$ is called $𝒯$-finitely generated if there exists a finitely generated submodule $N$ such that $M/N\in 𝒯$; a left $R$-module $A$ is called $(𝒯,n)$-presented if there exists an exact sequence of left $R$-modules $$0⟶K_{n-1}⟶F_{n-1}⟶\cdots ⟶F_1⟶F_0⟶M⟶0$$ such that $F_0,\cdots ,F_{n-1}$ are finitely generated free and $K_{n-1}$ is $𝒯$-finitely generated;...

We consider a rational function $f$ which is ‘lacunary’ in the sense that it can be expressed as the ratio of two polynomials (not necessarily coprime) having each at most a given number $\ell$ of terms. Then we look at the possible decompositions $f\left(x\right)=g\left(h\right(x\left)\right)$, where $g,h$ are rational functions of degree larger than 1. We prove that, apart from certain exceptional cases which we completely describe, the degree of $g$ is bounded only in terms of $\ell$ (and we provide explicit bounds). This supports and quantifies...

Let $p$ be a prime number. This paper introduces the Roquette category ${ℛ}_p$ of finite $p$-groups, which is an additive tensor category containing all finite $p$-groups among its objects. In ${ℛ}_p$, every finite $p$-group $P$ admits a canonical direct summand $\partial P$, called the edge of $P$. Moreover $P$ splits uniquely as a direct sum of edges of Roquette $p$-groups, and the tensor structure of ${ℛ}_p$ can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

Let $X$ be the wonderful compactification of a connected adjoint semisimple group $G$ defined over a number field $K$. We prove Manin’s conjecture on the asymptotic (as $T\to \infty$) of the number of $K$-rational points of $X$ of height less than $T$, and give an explicit construction of a measure on $X\left(𝔸\right)$, generalizing Peyre’s measure, which describes the asymptotic distribution of the rational points $𝐆\left(K\right)$ on $X\left(𝔸\right)$. Our approach is based on the mixing property of $L^2(𝐆\left(K\right)\setminus 𝐆\left(𝔸\right))$ which we obtain with a rate of convergence. ...

In 1955, Roth established that if $\xi$ is an irrational number such that there are a positive real number $\epsilon$ and infinitely many rational numbers $p/q$ with $q\ge 1$ and $|\xi -p/q|\<q^{-2-\epsilon }$, then $\xi$ is transcendental. A few years later, Cugiani obtained the same conclusion with $\epsilon$ replaced by a function $q\mapsto \epsilon \left(q\right)$ that decreases very slowly to zero, provided that the sequence of rational solutions to $|\xi -p/q|\<q^{-2-\epsilon \left(q\right)}$ is sufficiently dense, in a suitable sense. We give an alternative, and much simpler, proof of Cugiani’s Theorem and extend it...

Si studia la classe dei gruppi privi di torsione che godono della seguente proprietà: dati comunque due elementi $x$ e $y$ esiste un intero positivo $n=n(x,y)$ tale che $x^{n}y=y{x}^n$. Si dà una condizione sufficiente perché tali gruppi siano abeliani. Si congettura, infine, che detti gruppi non possano essere semplici.

Let X be a nice variety over a number field k. We characterise in pure “descent-type” terms some inequivalent obstruction sets refining the inclusion $X{{(}_k)}^{ét,Br}\subset X{{(}_k)}^{Br₁}$. In the first part, we apply ideas from the proof of $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ by Skorobogatov and Demarche to new cases, by proving a comparison theorem for obstruction sets. In the second part, we show that if $\subset {\subset }_k$ are such that $\subset Ext\left({,}_k\right)$, then $X{{(}_k)}^{}=X{{(}_k)}^{}$. This allows us to conclude, among other things, that $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ and $X{{(}_k)}^{Sol,Br₁}=X{{(}_k)}^{So{l}_k}$.

Let $𝒜$ and $ℬ$ be abelian categories with enough projective and injective objects, and $T:𝒜\to ℬ$ a left exact additive functor. Then one has a comma category $\left(ℬ\downarrow T\right)$. It is shown that if $T:𝒜\to ℬ$ is $𝒳$-exact, then ${(}^{\perp }𝒳,𝒳)$ is a (hereditary) cotorsion pair in $𝒜$ and ${(}^{\perp }𝒴,𝒴)$) is a (hereditary) cotorsion pair in $ℬ$ if and only if $\left(\left(\genfrac{}{}{0pt}{}{{}^{\perp }𝒳}{{}^{\perp }𝒴}\right)\right),\langle 𝐡(𝒳,𝒴)\rangle )$ is a (hereditary) cotorsion pair in $\left(ℬ\downarrow T\right)$ and $𝒳$ and $𝒴$ are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories $𝒜$ and $ℬ$ can induce special preenveloping...

Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. A left $R$-module $M$ is called $(𝒯,n)$-injective if ${\mathrm{Ext}}_R^n(C,M)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a right $R$-module $M$ is called $(𝒯,n)$-flat if ${\mathrm{Tor}}_n^R(M,C)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a left $R$-module $M$ is called $(𝒯,n)$-projective if ${\mathrm{Ext}}_R^n(M,N)=0$ for each $(𝒯,n)$-injective left $R$-module $N$; the ring $R$ is called strongly $(𝒯,n)$-coherent if whenever $0\to K\to P\to C\to 0$ is exact, where $C$ is $(𝒯,n+1)$-presented and $P$ is finitely generated projective, then $K$ is $(𝒯,n)$-projective; the ring $R$ is called...

Let $(R,𝔪)$ be a commutative Noetherian local ring, $𝔞$ be an ideal of $R$ and $M$ a finitely generated $R$-module such that $𝔞M\ne M$ and $\mathrm{cd}(𝔞,M)-\mathrm{grade}(𝔞,M)\le 1$, where $\mathrm{cd}(𝔞,M)$ is the cohomological dimension of $M$ with respect to $𝔞$ and $\mathrm{grade}(𝔞,M)$ is the $M$-grade of $𝔞$. Let $D(-):={\mathrm{Hom}}_R(-,E)$ be the Matlis dual functor, where $E:=E(R/𝔪)$ is the injective hull of the residue field $R/𝔪$. We show that there exists the following long exact sequence $$\begin{array}{cc}\hfill 0⟶& H_{𝔞}^{n-2}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)⟶D\left(M\right)\\ \hfill ⟶& H_{𝔞}^{n-1}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^{n+1}\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)\\ \hfill ⟶& H_{𝔞}^n\left(D\left(H_{(x_1,...,x_{n-1})}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{(}^{n-1}M\right)\right))⟶...,\end{array}$$ where $n:=\mathrm{cd}(𝔞,M)$ is a non-negative integer, $x_1,...,x_{n-1}$ is a regular sequence in $𝔞$ on $M$ and, for an $R$-module $L$, $H_{𝔞}^i\left(L\right)$ is the $i$th local cohomology module...

Ogni logica $L$ genera canonicamente la $L$-equivalenza ${\equiv }_L$e la $L$-immersione $\underset{𝐿}{\to }$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$. Astraendo da $L$, è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ($A{P}^{+}$). Caratterizziamo algebricamente...

In this note, we prove that there is no transcendental entire function $f\left(z\right)\in \mathbb{Q}\left[\right[z\left]\right]$ such that $f\left(\mathbb{Q}\right)\subseteq \mathbb{Q}$ and $\mathrm{den}f(p/q)=F\left(q\right)$, for all sufficiently large $q$, where $F\left(z\right)\in \mathbb{Z}\left[z\right]$.