Related papers: Isomorphisms of Algebraic Number Fields
A complex number $\alpha$ is said to satisfy the height reducing property if there is a finite set $F\subset \mathbb{Z}$ such that $\mathbb{Z}[\alpha]=F[\alpha]$, where $\mathbb{Z}$ is the ring of the rational integers. It is easy to see…
With distributed computing and mobile applications, synchronizing diverging replicas of data structures is a more and more common problem. We use algebraic methods to reason about filesystem operations, and introduce a simplified definition…
Let $\Gamma\subset \overline{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $\delta, \beta\in\overline{\mathbb Q}^\times$ be algebraic numbers with $\beta$ irrational. In this paper, we prove…
Let ${\rm SI}_\beta(Q)$ be the semi-invariant ring of $\beta$-dimensional representations of a quiver $Q$. Suppose that $(Q,\beta)$ projects to another quiver with dimension vector $(Q',\beta')$ through an exceptional representation $E$. We…
Extensive work has been done to determine necessary and sufficient conditions for a bijective correspondence of abelian extensions of number fields to force an isomorphism of the base fields. However, explicit examples of correspondences…
For $\alpha$ a positive irrational, let $\mathcal{A}_{\alpha}$ be the subalgebra of continuous functions on the two-torus whose Fourier transform vanishes at $(m, n)$ if $m + \alpha n < 0.$ These algebras were studied by Wermer and others,…
An isomorphism between two hermitian unitals is proved, and used to treat isomorphisms of classical groups that are related to the isomorphism between certain simple real Lie algebras of types A and D (and rank 3).
An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $\Delta^0_\alpha$ categorical if for any computable structure…
In the variety of all linear algebras over the infinite field the difference between geometric and automorphic equivalence of algebras can be big.
We construct examples of number fields which are not isomorphic but for which their idele class groups are isomorphic. We also construct examples of projective algebraic curves which are not isomorphic but for which their Jacobian varieties…
In this paper which is the completion of [1], we construct the $A_0(q)$-algebra of $Q$-meromorphic functions on the quantum plane. This is the largest non-commutative, associative, $A_0(q)$-algebra of functions constructed on the quantum…
We give an algorithm to compute representatives of the conjugacy classes of semisimple square integral matrices with given minimal and characteristic polynomials. We also give an algorithm to compute the $\mathbb{F}_q$-isomorphism classes…
Let $A$ be an abelian variety over a number field $K$. If $P$ and $Q$ are $K$-rational points of $A$ such that the order of the reduction of $Q$ divides that of $P$ for all but finitely many primes of the ring of integers of $K$, then there…
A modular quantum architecture is given for the space-time, particles, and fields of the Standard Model and General Relativity. It assumes a right-handed neutrino, so that based on their multiplet structure all fundamental fermions have…
The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test…
In this paper we define and compare several new Quillen model structures which present the homotopy theory of algebraic quantum field theories. In this way, we expand foundational work of Benini et al. by providing a richer framework to…
{Let $K$ be a number field, and $A_1,A_2$ abelian varieties over $K$. Let $P$ (resp. $Q$) be a non-torsion point in $ A_1(K)$ (resp. $A_2(K)$) such that for almost all places $v$ of $K$, the order of $Q$ mod $v$ divides the order of $P$ mod…
For two semi-simple algebras $A$ and $B$ over an arbitrary ground field $F$, we give a numerical criterion when $\Hom_F(A,B)$, the set of $F$-algebra homomorphisms between them, is non-empty. We also determine when the orbit set $B^\times…
We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game,…
The mitosis process of an eukaryotic cell can be represented by the structure constants of an evolution algebra. Any isotopism of the latter corresponds to a mutation of genotypes of the former. This paper uses Computational Algebraic…