Truncated Riordan Groups

• Truncated Riordan Groups are finite-level versions of infinite Riordan groups obtained by truncating lower-triangular matrices and preserving formal power series operations.
• They showcase solvability and profinite structures, with explicit decompositions into Appell and Lagrange subgroups controlling subgroup embeddings.
• The truncation approach aids in studying non-embeddability, invariant factor decompositions, and explicit finite subgroup structures in diverse algebraic settings.

Searching arXiv for papers on Riordan groups and truncation-related constructions. Truncated Riordan groups are finite-level versions of the Riordan group obtained by applying a natural truncation homomorphism to infinite lower-triangular Riordan matrices. For a commutative ring with identity $\mathbb D$, the Riordan group $\mathcal R(\mathbb D)$ consists of pairs $(g(t),f(t))$ with $g_0\in\mathbb D^*$ and $f_1\in\mathbb D^*$, equipped with the product

$$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$

and inverse

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$

where $\bar f$ is the compositional inverse of $f$. The truncated group at level $n$ is the image of $\mathcal R(\mathbb D)$0 under the map taking the northwest $\mathcal R(\mathbb D)$1 block of the infinite Riordan matrix, and the full Riordan group is the inverse limit of these finite-level objects (He et al., 5 Aug 2025, Barry, 2017).

1. Definition by finite matrix truncation

A Riordan array associated with $\mathcal R(\mathbb D)$2 is the infinite lower-triangular matrix $\mathcal R(\mathbb D)$3 with

$\mathcal R(\mathbb D)$4

For each $\mathcal R(\mathbb D)$5, there is a truncation homomorphism

$\mathcal R(\mathbb D)$6

defined by taking the northwest $\mathcal R(\mathbb D)$7 block. One paper writes the image as

$\mathcal R(\mathbb D)$8

while another uses

$\mathcal R(\mathbb D)$9

In both notations, truncated Riordan groups are finite-level lower-triangular matrix groups determined by the original pair of series (He et al., 5 Aug 2025, Krylov, 26 Nov 2025).

The transition maps between consecutive levels are given by deleting the last row and column: $(g(t),f(t))$0 These satisfy

$(g(t),f(t))$1

and $(g(t),f(t))$2 is surjective. Accordingly,

$(g(t),f(t))$3

so the infinite Riordan group is recovered as the inverse limit of its truncations (He et al., 5 Aug 2025, Barry, 2017).

This matrix truncation has an equivalent power-series interpretation. Working at level $(g(t),f(t))$4 amounts to retaining only coefficients up to degree $(g(t),f(t))$5, or equivalently working modulo $(g(t),f(t))$6. The group law survives because multiplication and substitution of formal power series are meaningful modulo $(g(t),f(t))$7 (He et al., 5 Aug 2025).

2. Split extensions and solvability at finite level

The internal structure of truncated Riordan groups is organized by the classical Appell and Lagrange subgroups. Inside $(g(t),f(t))$8,

$(g(t),f(t))$9

is abelian and normal, while

$g_0\in\mathbb D^*$0

is the substitution part. At each truncation level,

$g_0\in\mathbb D^*$1

with $g_0\in\mathbb D^*$2 and $g_0\in\mathbb D^*$3 the corresponding truncated Appell and Lagrange subgroups (He et al., 5 Aug 2025).

The kernels of the transition maps control the inductive structure. For $g_0\in\mathbb D^*$4,

$g_0\in\mathbb D^*$5

For $g_0\in\mathbb D^*$6,

$g_0\in\mathbb D^*$7

Equivalently, for $g_0\in\mathbb D^*$8 there are short exact sequences

$g_0\in\mathbb D^*$9

The truncated Appell subgroups satisfy

$f_1\in\mathbb D^*$0

and are therefore abelian. The truncated Lagrange subgroups satisfy

$f_1\in\mathbb D^*$1

and for $f_1\in\mathbb D^*$2 there are short exact sequences

$f_1\in\mathbb D^*$3

By induction, both $f_1\in\mathbb D^*$4 and $f_1\in\mathbb D^*$5 are solvable for all $f_1\in\mathbb D^*$6 (He et al., 5 Aug 2025).

This solvability sharply separates the truncated groups from the full infinite group. The same source contrasts the solvability of every $f_1\in\mathbb D^*$7 with the non-solvability of the full $f_1\in\mathbb D^*$8, using the existence of free subgroups in the substitution part in characteristic $f_1\in\mathbb D^*$9 and over finite fields (He et al., 5 Aug 2025).

3. Profinite structure and nilpotent truncations

When $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$0 is finite, each $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$1 is finite, so

$$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$2

is a profinite group. In the special case $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$3, the Riordan group is a pro-$$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$4 group, and the kernels of the truncation maps form a neighborhood basis of the identity (Krylov, 26 Nov 2025).

A second, complementary notion of truncation is given by lower-central-series quotients. For any group $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$5,

$$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$6

In $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$7, the lower central series is controlled by the Appell subgroup $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$8 and the Nottingham subgroup $$(g_1(t),f_1(t))\cdot(g_2(t),f_2(t))=\bigl(g_1(t)\,g_2(f_1(t)),\,f_2(f_1(t))\bigr),$$9. If

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$0

then

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$1

and for all $$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$2,

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$3

The successive lower-central quotients are

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$4

These quotients supply a canonical sequence of nilpotent truncations of the full infinite group (Krylov, 26 Nov 2025).

The abelianization also has a uniform description over an arbitrary commutative ring with identity: $$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$5 At the truncated level,

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$6

This makes explicit how the Appell and substitution parts contribute separately to first-order approximations of the nonabelian structure (Krylov, 26 Nov 2025).

4. Finite subgroup restrictions and non-embeddability results

A basic mechanism links embeddings in the full Riordan group to embeddings in truncations. If $$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$7 is a finite group and

$$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$8

is a monomorphism, then there exists $$(g(t),f(t))^{-1}=\left(\frac{1}{g(\bar f(t))},\,\bar f(t)\right),$$9 such that

$\bar f$0

is also a monomorphism. Consequently, the subgroup theory of the infinite Riordan group is constrained by the solvable finite-level groups $\bar f$1 (He et al., 5 Aug 2025).

This principle yields strong non-embeddability statements. For $\bar f$2, there is no monomorphism

$\bar f$3

and no finite non-abelian simple group can be embedded into the Riordan group over any commutative ring. The proof uses the solvability of the truncations together with the descriptions of $\bar f$4: for $\bar f$5, $\bar f$6, while $\bar f$7 is solvable. Thus any hypothetical embedding of a finite non-abelian simple group into $\bar f$8 would force such a group to embed into a solvable kernel, which is impossible (He et al., 5 Aug 2025).

A common misconception is that solvability of the truncations prevents interesting finite subgroup phenomena altogether. The same paper gives an explicit counterexample: the alternating group $\bar f$9 embeds into a Lagrange subgroup over

$f$0

With

$f$1

one has

$f$2

and the resulting subgroup is isomorphic to $f$3. Its image already appears in the truncated level $f$4. By contrast, $f$5 cannot embed into a substitution group $f$6, and hence not into a Nottingham group (He et al., 5 Aug 2025).

5. Explicit finite $f$7-group structure over $f$8

Over $f$9, the truncated Appell groups admit a precise invariant-factor decomposition. For each $n$0,

$n$1

where

$n$2

The first cases are

$n$3

Moreover, the extensions

$n$4

split if and only if $n$5 is even (Krylov, 26 Nov 2025).

The finite subgroup theory of the truncated groups is correspondingly rich. For every $n$6, there is an embedding

$n$7

The construction uses the elements

$n$8

where $n$9 has order $\mathcal R(\mathbb D)$00, $\mathcal R(\mathbb D)$01 in the truncated group, and $\mathcal R(\mathbb D)$02. Thus finite dihedral groups occur naturally inside truncated Riordan groups over $\mathcal R(\mathbb D)$03 (Krylov, 26 Nov 2025).

These examples show that truncation does not merely collapse the Riordan group to a generic lower-triangular matrix group. The Appell–Nottingham decomposition remains visible at finite level, and its arithmetic is strong enough to control both invariant factors and explicit subgroup embeddings (Krylov, 26 Nov 2025).

6. Related generalizations and broader formulations

Several later constructions place truncated Riordan groups into a wider family of finite-level Riordan-type objects. One direction starts from almost-Riordan arrays $\mathcal R(\mathbb D)$04, which enlarge the Riordan group by freeing the first column while keeping a Riordan core from position $\mathcal R(\mathbb D)$05. The normal subgroup

$\mathcal R(\mathbb D)$06

satisfies

$\mathcal R(\mathbb D)$07

and the higher group $\mathcal R(\mathbb D)$08 similarly satisfies

$\mathcal R(\mathbb D)$09

The same source explicitly states that it does not use the word “truncated,” but the construction is naturally suited to matrices that differ from a Riordan array in finitely many initial columns; restricting the extra series to finite support is presented there as a natural way to obtain finite-rank perturbations of Riordan matrices (Barry, 2016).

A more recent extension is the Sprugnoli group, a three-series Riordan-type group designed so that “truncation in the Riordan context means” either working modulo $\mathcal R(\mathbb D)$10 in the quotient ring $\mathcal R(\mathbb D)$11 or, equivalently, working with finite lower-triangular matrices. Because its group law, inverses, and production matrices are expressed entirely through formal multiplication, substitution, and reversion, the same formulas define truncated Sprugnoli groups and, by specialization, truncated ordinary and double Riordan groups (Barry, 15 May 2026).

Another neighboring development replaces power series by semi-Laurent series. That work states that it “does not develop truncations directly,” but it supplies semidirect decompositions, non-isomorphism results, and an explicit Lie bracket for generalized Riordan groups involving shifted diagonals and bi-infinite matrices. A plausible implication is that finite-degree truncations of these Laurent-type constructions can be organized in parallel with the classical truncated theory (Bugajewski et al., 4 Sep 2025).

Taken together, these developments show that truncated Riordan groups are not a single isolated construction but a recurrent finite-level principle: one starts from an infinite formal group law, passes to matrix blocks or quotients modulo $\mathcal R(\mathbb D)$12, and studies the resulting solvable, nilpotent, or otherwise structured finite approximants. In the current literature, the matrix truncations $\mathcal R(\mathbb D)$13 and the lower-central-series quotients $\mathcal R(\mathbb D)$14 are the two most developed realizations of that principle (He et al., 5 Aug 2025, Krylov, 26 Nov 2025).