Related papers: Linear systems of diophantine equations

Let $R$ be a commutative, Noetherian, local ring and $M$ an $R$-module. Consider the module of homomorphisms $\operatorname{Hom}_R(R/\mathfrak{a},M/\mathfrak{b} M)$ where $\mathfrak{b}\subseteq\mathfrak{a}$ are parameter ideals of $M$. When…

Let $L$ be a finite extension of the rational function field over a finite field $\mathbb{F}_q$ and $E$ be a Drinfeld module defined over $L$. Given finitely many elements in $E(L)$, this paper aims to prove that linear relations among…

We start a systematic analysis of the first-order model theory of free lattices. Firstly, we prove that the free lattices of finite rank are not positively indistinguishable, as there is a positive $\exists \forall$-sentence true in…

A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…

In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can…

We study the problem of ranking with submodular valuations. An instance of this problem consists of a ground set $[m]$, and a collection of $n$ monotone submodular set functions $f^1, \ldots, f^n$, where each $f^i: 2^{[m]} \to R_+$. An…

Let $(X,\Delta)$ be a proper dlt pair and $L$ a nef Cartier divisor such that $aL-(K_X+\Delta)$ is nef and log big on $(X,\Delta)$ for some $a\in {\mathbb Z}_{>0}$. Then $|mL|$ is base point free for every $m\gg 0$.

We calculate the decomposition series of the D-module defined as the push-forward of a rank one linear system on the complement of a normal crossings hyperplane configuration and use data of a resolution of singularities to give a…

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…

The positive existential theories of the sets $M_n(\mathbb N)$ without parameters build an inclusion lattice isomorhic with the lattice of divisibility. All these sets are algorithmically undecidable. In further sections some easier…

The well-known theory of "rational canonical form of an operator" describes the invariant factors, or elementary divisors, as a complete set of invariants of a similarity class of an operator on a finite-dimensional vector space $\V$ over a…

Let $F_m$ be the free group on $m$ generators and let $G$ be a finite nilpotent group of non square-free order; we show that for each $m\ge 2$ the integral group ring ${\bf Z}[G\times F_m]$ has infinitely many stably free modules of rank 1.

Let $m$ be a fixed square-free positive integer, then equivalence classes of solutions of Diophantine equation $x^2+m\cdot y^2=z^2$ form an infinitely generated abelian group under the operation induced by the complex multiplication. A…

Recently the algebraic structure of gauge-invariant operators in multi-matrix quantum mechanics has been clarified: this space forms a module over a freely generated ring. The ring is generated by a set of primary invariants, while the…

In this paper we introduce linear mapping D from WnF\subset Ln into Lm\times Rm, induced by linear differential equation d/dt Fx(t)-C(t)x(t)=f(t),Fx(t_0)=f_0. We prove that D is closed dense defined mapping for any m\times n-matrix F. Also…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…

We formulate a lattice theoretical Jordan normal form theorem for certain nilpotent lattice maps satisfying the so called JNB conditions. As an application of the general results, we obtain a transparent Jordan normal base of a nilpotent…

The main ingredient to construct an O-border basis of an ideal I $\subseteq$ K[x1,. .., xn] is the order ideal O, which is a basis of the K-vector space K[x1,. .., xn]/I. In this paper we give a procedure to find all the possible order…

This paper provides versions of classical results from linear algebra, real analysis and convex analysis in a free module of finite rank over the ring $L^0$ of measurable functions on a $\sigma$-finite measure space. We study the question…

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…