English
Related papers

Related papers: On cogrowth function of algebras and its logarithm…

200 papers

Given a finitely generated group with generating set $S$, we study the \emph{cogrowth} sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks…

Combinatorics · Mathematics 2020-01-01 Jason Bell , Marni Mishna

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Andre Arnold , Patrick Cegielski , Serge Grigorieff , Irene Guessarian

We determine the possible functions that can occur, up to asymptotic equivalence, as growth functions of semigroups, hereditary languages, and algebras.

Rings and Algebras · Mathematics 2019-07-04 Jason Bell , Efim Zelmanov

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

Rings and Algebras · Mathematics 2017-08-04 Nathan BeDell

We show that an arithmetic function which satisfies some weak multiplicativity properties and in addition has a non-decreasing or $\log$-uniformly continuous normal order is close to a function of the form $n\mapsto n^c$. As an application…

Number Theory · Mathematics 2019-12-03 Jan-Christoph Schlage-Puchta

We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\)…

Number Theory · Mathematics 2014-10-22 Jason P. Bell , Michael Coons , Kevin G. Hare

A set $X\subseteq\mathbb N$ is S-recognizable for an abstract numeration system S if the set $\rep_S(X)$ of its representations is accepted by a finite automaton. We show that the growth function of an S-recognizable set is always either…

Formal Languages and Automata Theory · Computer Science 2011-01-04 Emilie Charlier , Narad Rampersad

We present a method for the enumeration of restricted words over a finite alphabet. Restrictions are described through the inclusion or exclusion of suitable building blocks used to construct the words by concatenation. Our approach, which…

Combinatorics · Mathematics 2016-01-05 Daniel Birmajer , Juan B. Gil , Michael D. Weiner

A correspondence between a monogenic function in an arbitrary finite-dimensional commutative associative algebra and a finite set of monogenic functions in a special commutative associative algebra is established.

Commutative Algebra · Mathematics 2018-03-13 Vitalii Shpakivskyi

We consider algebras with one binary operation $\cdot$ and one generator ({\it monogenic}) and satisfying the left distributive law $a\cdot (b\cdot c)=(a\cdot b)\cdot (a\cdot c)$. One can define a sequence of finite left-distributive…

Logic · Mathematics 2021-02-09 Randall Dougherty , Thomas Jech

We prove that a countable dimensional associative algebra (resp. a countable semigroup) of locally subexponential growth is $M_\infty$-embeddable as a left ideal in a finitely generated algebra (resp. semigroup) of subexponential growth.…

Rings and Algebras · Mathematics 2017-03-28 Adel Alahmadi , Hamed Alsulami , S. K. Jain , Efim Zelmanov

Let $A$ be a finite dimensional associative algebra with derivations over a field of characteristic zero, i.e., an algebra whose structure is enriched by the action of a Lie algebra $L$ by derivations, and let $c_n^L(A),$ $n\geq 1,$ be its…

Rings and Algebras · Mathematics 2023-08-10 Carla Rizzo

The clone of term operations of an algebraic structure consists of all operations that can be expressed by a term in the language of the structure. We consider bounds for the length and the height of the terms expressing these functions,…

Rings and Algebras · Mathematics 2018-09-20 Erhard Aichinger , Nebojša Mudrinski , Jakub Opršal

We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of…

Rings and Algebras · Mathematics 2020-09-17 Alexandr Kazda , Dmitriy Zhuk

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of complete binary trees whose leaves are labeled by letters of an…

Combinatorics · Mathematics 2020-06-09 A. Arnold , P. Cegielski , S. Grigorieff , I. Guessarian

We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, {\em if-then-else} and…

Logic · Mathematics 2014-08-21 Marcel Jackson , Tim Stokes

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

Logic in Computer Science · Computer Science 2015-07-01 C. Kupke , Y. Venema

Let $\mathbb{K}$ be an algebraically closed field, and $A \subset \mathbb{K}[x_{1}, \ldots, x_n]$ be a subalgebra of finite codimension. It is known that there exists a (not necessarily unique) finite filtration of $\mathbb{K}$-algebras \[…

Commutative Algebra · Mathematics 2026-03-26 Erik Leffler

Let $\Omega \subset \mathbb{C}^n$ be a bounded domain and let $\mathcal{A} \subset \mathcal{C}(\bar{\Omega})$ be a uniform algebra generated by a set $F$ of holomorphic and pluriharmonic functions. Under natural assumptions on $\Omega$ and…

Complex Variables · Mathematics 2016-08-14 Håkan Samuelsson , Erlend Fornæss Wold

Let $X$ be a finite simply connected CW complex of dimension $n$. The loop space homology $H\_*(\Omega X;\mathbb Q)$ is the universal enveloping algebra of a graded Lie algebra $L\_X$ isomorphic with $ pi\_{*-1} (X)\otimes \mathbb Q$. Let…

Algebraic Topology · Mathematics 2016-08-16 Yves Félix , Steve Halperin , Jean-Claude Thomas