Related papers: Effective bounds on differences of singular moduli…

We give bounds for the number and the size of the primes $p$ such that a reduction modulo $p$ of a system of multivariate polynomials over the integers with a finite number $T$ of complex zeros, does not have exactly $T$ zeros over the…

We show that two distinct singular moduli $j(\tau),j(\tau')$, such that for some positive integers $m, n$ the numbers $1,j(\tau)^m$ and $j(\tau')^n$ are linearly dependent over $\mathbb{Q}$ generate the same number field of degree at most…

We compute all fusion algebras with symmetric rational $S$-matrix up to dimension 12. Only two of them may be used as $S$-matrices in a modular datum: the $S$-matrices of the quantum doubles of $\mathbb{Z}/2\mathbb{Z}$ and $S_3$. Almost all…

In this article, we discuss the rationality of the Betti Series of the universal module of nth order derivations of R_{m} where m is a maximal ideal of R. We proved that if R is a coordinate ring of an affine irreducible curve and if it has…

Let $R$ be a commutative unital ring, $a\in R$ and $t$ a positive integer. $a^{t}$-reduced $R$-modules and universally $a^{t}$-reduced $R$-modules are defined and their properties given. Known (resp. new) results about reduced $R$-modules…

The rewriting system sigma is the set of rules propagating explicit substitutions in the lambda-calculus with explicit substitutions. In this note, we prove the undecidability of unification modulo sigma.

Let $R$ be a commutative ring with a non-zero identity, $S$ be a multiplicatively closed subset of $R$ and $M$ be a unital $R$-module. In this paper, we define a submodule $N$ of $M$ with $(N:_{R}M)\cap S=\emptyset$ to be weakly $S$-primary…

A formal series in noncommuting variables $\Sigma$ over the rationals is a mapping $\Sigma^* \to \mathbb Q$. We say that a series is commutative if the value in the output does not depend on the order of the symbols in the input. The…

Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular $j$ function can be reduced to the problem of…

A precise tie between a univariate spline's knots and its zeros abundance and dissemination is formulated. As an application, a conjecture formulated by De Concini and Procesi is shown to be true in the special univariate, unimodular case.…

Recently, Bruinier and Ono found an algebraic formula for the partition function in terms of traces of singular moduli of a certain non-holomorphic modular function. In this paper we prove that the rational polynomial having these singuar…

Let $R$ be a ring and $S$ a multiplicative subset of $R$. We introduce and study the notions of ($u$-)$S$-$w$-Noetherian modules and ($u$-)$S$-$w$-principal ideal modules. Some characterizations of these new concepts are given.

Given a local ring $(R, \mathfrak{m})$ and an ideal $\mathfrak{a}$ of positive height, we give a way of computing multiplier module ${J}(\omega_{{T}}, t^{-\lambda})$ for the extended Rees algebra ${T} =R[\mathfrak{a} t, t^{-1}]$ for an…

Given a polynomial $f$ defined over a number field $K$, we make effective certain special cases of a conjecture of S. Ih, on the finiteness of $f$-preperiodic points which are $S$-integral with respect to a fixed non-preperiodic point…

We consider the {\em Deligne-Simpson problem}: {\em Give necessary and sufficient conditions for the choice of the conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$, $j=1,..., p+1$, so that there exist irreducible…

Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. An $R$-module $M$ is said to be a uniformly $S$-Artinian ($u$-$S$-Artinian for abbreviation) module if there is $s\in S$ such that any descending chain of…

We classify the finite groups associated to the singularities of the moduli space of $n/ge5$ unordered points on the Riemann sphere. We also realize the classification by an algorithm.

The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can…

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…

Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to…