中文
相关论文

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

200 篇论文

This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows. Different viewpoints on the status of 1/0 exist in…

环与代数 · 数学 2009-10-13 J. A. Bergstra , C. A. Middelburg

In this paper we study certain category of smooth modules for reductive $p$--adic groups analogous to the usual smooth complex representations but with the field of complex numbers replaced by a $\mathbb Q$--algebra. We prove some…

数论 · 数学 2019-05-13 Goran Muić

In this article, we present a binary tree with vertices given by rational functions $p(x)/q(x)$; the root and functional derivation of children are inspired by continued fractions. We prove some special properties of the tree. For example,…

动力系统 · 数学 2025-12-15 Niels Langeveld , David Ralston

We show that a finite connected quiver Q with no oriented cycles is tame if and only if for each dimension vector $\mathbf{d}$ and each integral weight $\theta$ of Q, the moduli space $\mathcal{M}(Q,\mathbf{d})^{ss}_{\theta}$ of…

表示论 · 数学 2010-11-12 Calin Chindris

For a rational number $q$, a rational $D(q)$-$n$-tuple is a set of $n$ distinct nonzero rationals $\{a_1, a_2, \dots, a_n\}$ such that $a_ia_j+q$ is a rational square for all $1 \leqslant i < j \leqslant n$. For every $q$ we find all…

数论 · 数学 2025-12-30 Goran Dražić , Matija Kazalicki

The ordered structures of natural, integer, rational and real numbers are studied in this thesis. The theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order…

逻辑 · 数学 2020-09-15 Ziba Assadi

It is shown how the theory of the fields can be constructed in a consistent way in quantized spaces. All constructions are connected with unitary irreducible representations of real forms of six dimensional rotation algebras O(1,5), O(2,4),…

高能物理 - 理论 · 物理学 2007-05-23 A. N. Leznov

We establish that the bisimulation invariant fragment of MSO over finite transition systems is expressively equivalent over finite transition systems to modal mu-calculus, a question that had remained open for several decades. The proof…

计算机科学中的逻辑 · 计算机科学 2025-02-05 Thomas Colcombet , Amina Doumane , Denis Kuperberg

The usual nonnegative modulus function is based on addition. A natural different modulus function on the set of positive reals is introduced. Arguments for results for series through the usual modulus function are transformed to arguments…

综合数学 · 数学 2019-12-10 C. Ganesa Moorthy

Let $\mathbb{F}_q$ denote the finite field of odd characteristic $p$ with $q$ elements ($q=p^{n},n\in \mathbb{N} $) and $\mathbb{F}_q^*$ represent the nonzero elements of $\mathbb{F}_{q}$. In this paper, by using the Smith normal form we…

数论 · 数学 2016-03-08 Shuangnian Hu , Shaofang Hong , Xiaoer Qin

For the algebra $\mI_1= K<x, \frac{d}{dx}, \int>$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple modules is given. It is proved that $\mI_1$ is a left and right coherent…

环与代数 · 数学 2012-05-17 V. V. Bavula

It is known that the involution corresponding to the compact form is incompatible with comultiplication for quantum groups at $|q|=1$. In this paper we consider the quantum algebra of functions on the deformed space $T^{*}G_{q}$ which…

高能物理 - 理论 · 物理学 2008-11-26 A. Yu. Alekseev , L. D. Faddeev

We prove that the leading coefficient of the "error" terms of NRS(2) applied to a cubic polynomial $f(z)$ with starting point $(-\frac{a_1}{a_2}, -\frac{a_1}{a_2})$ are positive-coefficient rational functions in the zeros of $f(z)$. We…

组合数学 · 数学 2026-02-16 Mario DeFranco

We study the structure of the commutative multiplicative monoid $\mathbb N_0[x]^*$ of all the non-zero polynomials in $\mathbb Z[x]$ with non-negative coefficients. We show that $\mathbb N_0[x]^*$ is not a half-factorial monoid and is not a…

交换代数 · 数学 2025-04-17 Federico Campanini , Alberto Facchini

In this paper we deal with composite rational functions having zeros and poles forming consecutive elements of an arithmetic progression. We also correct a result published earlier related to composite rational functions having a fixed…

数论 · 数学 2017-03-16 Szabolcs Tengely

We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…

数论 · 数学 2018-09-05 Marley Young

We describe a combinatorial approach for investigating properties of rational numbers. The overall approach rests on structural bijections between rational numbers and familiar combinatorial objects, namely rooted trees. We emphasize that…

组合数学 · 数学 2012-01-13 Edinah K. Gnang , Chetan Tonde

We characterize the submonoids $M$ of the additive monoid $\Q_+$ of nonnegative rational numbers for which the irreducible and the prime elements in the monoid domain $F[X;M]$ coincide. We present a diagram of implications between some…

交换代数 · 数学 2018-05-29 Ryan Gipson , Hamid Kulosman

We establish a quantitative approximation formula of the Lyapunov exponent of a rational function of degree more than one over an algebraically closed field of characteristic $0$ that is complete with respect to a non-trivial and possibly…

动力系统 · 数学 2017-05-17 Yûsuke Okuyama

In this paper we classify all simple weight modules for a quantum group $U_q$ at a complex root of unity $q$ when the Lie algebra is not of type $G_2$. By a weight module we mean a finitely generated $U_q$-module which has finite…

表示论 · 数学 2015-07-24 Dennis Hasselstrøm Pedersen