相关论文: A negative result on algebraic specifications of t…

Permutation rational functions over finite fields have attracted much attention in recent years. In this paper, we introduce a class of permutation rational functions over $\mathbb F_{q^2}$, whose numerators are so-called $q$-quadratic…

We consider the signatures $\Sigma_m=(0,1,-,+, \cdot, \ ^{-1})$ of meadows and $(\Sigma_m, {\mathbf s})$ of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these…

We examine the consequences of having a total division operation $\frac{x}{y}$ on commutative rings. We consider two forms of binary division, one derived from a unary inverse, the other defined directly as a general operation; each are…

Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature.

We give a~detailed construction of the complete ordered field of real numbers by means of infinite decimal expansions. We prove that in the canonical encoding of decimals neither addition nor multiplication is {\em computable}, but that…

Let $\mathbb{F}$ denote an algebraically closed field with characteristic $0$, and let $q$ denote a nonzero scalar in $\mathbb{F}$ that is not a root of unity. Let $\mathbb{Z}_4$ denote the cyclic group of order $4$. Let $\square_q$ denote…

A rooted tree module (RTM) $M:=M(T,F)$ over a zero-relation algebra $\Lambda:=\mathcal KQ/\langle\rho\rangle$ over a field $\mathcal K$ is given by the data of a quiver morphism $F:T\to Q$ from a rooted tree $T$ (either with a source or a…

Let p/q be a rational number. Numeration in base p/q is defined by a function that evaluates each finite word over A_p={0,1,...,p-1} to some rational number. We let N_p/q denote the image of this evaluation function. In particular, N_p/q…

The free abelian group R(Q) on the set of indecomposable representations of a quiver Q, over a field K, has a ring structure where the multiplication is given by the tensor product. We show that if Q is a rooted tree (an oriented tree with…

Let $m$ and $n$ be positive integers. For the quantum integer $[n]_q = 1 + q + ... + q^{n-1}$ there is a natural polynomial addition such that $[m]_q \oplus_q [n]_q = [m+n]_q$ and a natural polynomial multiplication such that $[m]_q…

In this paper it is proved that, when $Q$ is a quiver that admits some closure, for any algebraically closed field $K$ and any finite dimensional $K$-linear representation $\mathcal{X}$ of $Q$, if ${\rm Ext}^1_{KQ}(\mathcal{X},KQ)=0$ then…

A $q$-matroid is the analogue of a matroid which arises by replacing the finite ground set of a matroid with a finite-dimensional vector space over a finite field. These $q$-matroids are motivated by coding theory as the representable…

An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $\phi$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in…

We define a $q$-deformation of the classical ring of integer-valued polynomials which we call the ring of quantum integer-valued polynomials. We show that this ring has a remarkable combinatorial structure and enjoys many positivity…

Let $\bbcq$ be the quantum torus associated with the $d \times d$ matrix $q = (q_{ij})$, $q_{ii} = 1$, $q_{ij}^{-1} = q_{ji}$, $q_{ij}$ are roots of unity, for all $1 \leq i, j \leq d.$ Let $\Der(\bbcq)$ be the Lie algebra of all the…

The theory of addition in the domains of natural (N), integer (Z), rational (Q), real (R) and complex (C) numbers is decidable, so is the theory of multiplication in all those domains. By Godel's Incompleteness Theorem the theory of…

The number A(q) shows the asymptotic behaviour of the quotient of the number of rational points over the genus of non-singular absolutely irreducible curves over a finite field Fq. Research on bounds for A(q) is closely connected with the…

In this work, it is proved that a set of numbers closed under addition and whose representations in a rational base numeration system is a rational language is not a finitely generated additive monoid. A key to the proof is the definition…

We reconsider the classical equality 0.999. .. = 1 with the tool of circular words, that is: finite words whose last letter is assumed to be followed by the first one. Such circular words are naturally embedded with algebraic structures…

A Q-manifold is a supermanifold equipped with an odd vector field that squares to zero. The notion of the modular class of a Q-manifold -- which is viewed as the obstruction to the existence of a Q-invariant Berezin volume -- is not well…