相关论文: Series with general exponents
In this paper, we introduce formal sine functions whose coefficients are elements of a generalized harmonic algebra and investigate their properties corresponding to the classical addition formula and Pythagorean theorem. By taking their…
The set of formal power series with coefficients in an associative but noncommutative algebra becomes a loop with the substitution product. We initiate the study of this loop by describing certain Lie and Sabinin algebras related to it.…
An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers. Arithmetic circuits can also be viewed as the elements of the smallest…
Starting from a very general trace-form entropy, we introduce a pair of algebraic structures endowed by a generalized sum and a generalized product. These algebras form, respectively, two Abelian fields in the realm of the complex numbers…
We prove a recursive identity involving formal iterated logarithms and formal iterated exponentials. These iterated logarithms and exponentials appear in a natural extension of the logarithmic formal calculus used in the study of…
In a previous paper, we have given an algebraic model to the set of intervals. Here, we apply this model in a linear frame. We define a notion of diagonalization of square matrices whose coefficients are intervals. But in this case, with…
computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…
The Lambert W function has utility for solving various exponential and logarithmic equations arranged in the form of $g(x)e^{g(x)}$. Using the Lambert W function and tetration, a variety of categorized inversion formulas are presented.…
We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we…
Let $R$ be a standard graded Noetherian algebra over an infinite field $K$ and $M$ a finitely generated $\mathbb{Z}$-graded $R$-module. Then for any graded ideal $I\subseteq R_+$ of $R$, we show that there exist integers $e_1\geq e_2$ such…
We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of…
Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings,…
In this note, we study the generalized fraction properties and power series properties of $\mathcal{S}$-Noetherian rings. Actually, we investigate two questions proposed in [A. Dabbabi, A. Benhissi, Generalization of the $S$-Noetherian…
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of…
Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result.…
Algebraic power series are formal power series which satisfy a univariate polynomial equation over the polynomial ring in n variables. This relation determines the series only up to conjugacy. Via the Artin-Mazur theorem and the implicit…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
We retrace the recent history of the Umbral Calculus. After studying the classic results concerning polynomial sequences of binomial type, we generalize to a certain type of logarithmic series. Finally, we demonstrate numerous typical…
The relative algebraic monodromy of abelian logarithms (defined as the kernel of a map between algebraic monodromy groups attached to an abelian scheme with and without a section) was computed in \cite{A1}: under natural assumptions, this…
We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…