# On injective endomorphisms of the semigroup $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}^2}$ with the two-element family $\mathscr{F}^2$ of inductive nonempty subsets of $\omega$

**Authors:** Oleg Gutik, Inna Pozdniakova

arXiv: 2508.21387 · 2025-12-29

## TL;DR

This paper characterizes all injective endomorphisms of a specific semigroup built from inductive subsets of integers, showing they decompose into a composition of a special endomorphism and an automorphism.

## Contribution

It provides a complete description of injective endomorphisms of the semigroup  with the family ^2, including their decomposition into endomorphisms and automorphisms.

## Key findings

- Every injective endomorphism is a composition of a specific endomorphism and an automorphism.
-  All injective ,0,[0) endomorphisms are explicitly described.
- The structure of injective endomorphisms is fully characterized.

## Abstract

We describe injective endomorphisms of the semigroup $\boldsymbol{B}_{Z\mathbb{}}^{\mathscr{F}^2}$ with the two-element family $\mathscr{F}^2$ of inductive nonempty subsets of $\omega$. In particular we show that every injective endomorphism $\mathfrak{e}$ of $\boldsymbol{B}_{Z\mathbb{}}^{\mathscr{F}^2}$ is presented in the form $\mathfrak{e}=\mathfrak{e}_0\mathfrak{a}$, where $\mathfrak{e}_0$ is an injective $(0,0,[0))$-endomorphism of $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}^2}$ and $\mathfrak{a}$ is an automorphism $\mathfrak{a}$ of $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}^2}$. Also we describe all injective $(0,0,[0))$-endomorphisms $\mathfrak{e}_0$ of $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}^2}$, i.e., such that $(0,0,[0))\mathfrak{e}_0=(0,0,[0))$.

## Full text

_Full body text omitted from this summary view._ Fetch the complete paper as Markdown: https://tomesphere.com/paper/2508.21387/full.md

## References

17 references — full list in the complete paper: https://tomesphere.com/paper/2508.21387/full.md

---
Source: https://tomesphere.com/paper/2508.21387