Related papers: When is scalar multiplication decidable?

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

Let $K$ be a global field and $n > 1$ an integer. We show $n$ is composite if and only if there is an irreducible polynomial $f(x) \in K[x]$ of degree $n$ which is reducible $q$-adically for all the primes $q$ of $K$.

In this paper we prove that a multiplicative quadratic map between a unital ring $K$ and a field $L$ is induced by a homomorphism from $K$ into $L$ or a composition algebra over $L$. Especially we show that if $K$ is a field, then every…

The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is…

We determine which quadratic polynomials in three variables are expanders over an arbitrary field $\mathbb{F}$. More precisely, we prove that for a quadratic polynomial $f\in \mathbb{F}[x,y,z]$, which is not of the form $g(h(x)+k(y)+l(z))$,…

In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic…

For a totally positive definite quadratic form over the ring of integers of a totally real number field $K$, we show that there are only finitely many totally real field extensions of $K$ of a fixed degree over which the form is universal…

In relativistic potential models of quarkonia based on a Dirac-type of equation with a local potential there is a sharp distinction between a linear potential V which is vector-like and one which is scalar-like: There are normalizable…

Let R be a ring. A construction method for flexible quadratic algebras with scalar involution over R is presented which unifies various classical constructions in the literature, in particular those to construct composition algebras.

In this article we associate a combinatorial differential graded algebra to a cubic planar graph G. This algebra is defined combinatorially by counting binary sequences, which we introduce, and several explicit computations are provided. In…

Let $K$ be a field of characteristic $p \neq 2$, and let $f(x)$ be a sextic polynomial irreducible over $K$ with no repeated roots, whose Galois group is isomorphic to $\A_5$. If the jacobian $J(C)$ of the hyperelliptic curve $C:y^2=f(x)$…

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…

Given two real vector spaces $U$ and $V$, and a symmetric bilinear map $B: U\times U\to V$, let $Q_B$ be its associated quadratic map $Q_B$. The problems we consider are as follows: (i) are there necessary and sufficient conditions,…

We prove that certain vector bundles over surfaces are ample if they are so when restricted to divisors, certain numerical criteria hold, and they are semistable (with respect to $\det(E)$). This result is a higher-rank version of a theorem…

In deterministic theories, one can start from a set of ontological states to formulate the dynamical laws, but these may not be directly observable. Observable are only equivalence classes of states, and these will span a basis of…

Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…

The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that…

Let $n$ be a squarefree positive odd integer. We will show that there exist infinitely many imaginary quadratic number fields with discriminant divisible by $n$ and-at the same time-having an element of order $n$ in the class group. We then…

Let $d$ and $m$ be two distinct squarefree integers and $\mathcal{O}_K$ the ring of integers of the quadratic field $K=\mathbb{Q}(\sqrt{d})$. Denote by $ H_K(\alpha, m)$ a quaternion algebra over $K$, where $\alpha\in \mathcal{O}_K$. In…

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…