Related papers: Large Algebraic Integers

A subalgebra of a semisimple Lie algebra is wide if every simple module of the semisimple Lie algebra remains indecomposable when restricted to the subalgebra. From a finer viewpoint, a subalgebra is $\lambda$-wide if the simple module of a…

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…

Let $s$ be a fixed positive integer constant, $\varepsilon$ be a fixed small positive number. Then, provided that a prime $p$ is large enough, we prove that for any set $\{{\mathcal M}\subseteq \mathbb F_p^*$ of size $|{\mathcal M}|=…

Affine $\lambda$-terms are $\lambda$-terms in which each bound variable occurs at most once and linear $\lambda$-terms are $\lambda$-terms in which each bound variables occurs once. and only once. In this paper we count the number of closed…

We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.

The degree of insulation of a prime $p$ is defined as the largest interval around it in which no other prime exists. Based on this, the $n$-th prime $p_{n}$ is said to be insulated if and only if its degree of insulation is higher than its…

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…

Many lattice-based crypstosystems employ ideal lattices for high efficiency. However, the additional algebraic structure of ideal lattices usually makes us worry about the security, and it is widely believed that the algebraic structure…

The Huge Object model of property testing [Goldreich and Ron, TheoretiCS 23] concerns properties of distributions supported on $\{0,1\}^n$, where $n$ is so large that even reading a single sampled string is unrealistic. Instead, query…

For a finite dimensional algebra $A$ with $0 < \phi dim (A) = m < \infty$ we prove that there always exist modules $M$ and $N$ such that $\phi(M) = m-1$ and $\phi (N) = 1$. On the other hand, we see an example of an algebra that not every…

A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. The main theorem of the paper is as follows. Let G be a finitely generated, large group and let g_1,...,g_r be a…

In this paper we study the problem of quantizing theories defined over a nonclassical configuration space. If one follows the path-integral approach, the first problem one is faced with is the one of definition of the integral over such…

Let $n$ be a positive integer, and let $R$ be a (possibly infinite dimensional) finitely presented algebra over a computable field of characteristic zero. We describe an algorithm for deciding (in principle) whether $R$ has at most finitely…

Let G be a finite group and A a finite dimensional G-graded algebra over a field of characteristic zero. When A is simple as a G-graded algebra, by mean of Regev central polynomials we construct multialternating graded polynomials of…

Multiplicative invariance is a well-studied property of subsets of the unit interval. The theory in the complex plane is less developed. This paper introduces an analogous definition for multiplicative invariance in the complex plane…

Julia Robinson has given a first-order definition of the rational integers $\mathbb Z$ in the rational numbers $\mathbb Q$ by a formula $(\forall \exists \forall \exists)(F=0)$ where the $\forall$-quantifiers run over a total of 8…

We study partitions of complex numbers as sums of non-negative powers of a fixed algebraic number $\beta$. We prove that if $\beta$ is real quadratic, then the number of partitions is always finite if and only if some conjugate of $\beta$…

The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in…

We define the indefinite logarithm [log x] of a real number x>0 to be a mathematical object representing the abstract concept of the logarithm of x with an indeterminate base (i.e., not specifically e, 10, 2, or any fixed number). The…