Abstract:We expand the concept of local embeddability into finite structures (LEF) for the class of semigroups with investigations of non-LEF structures, a closely related generalising property of local wrapping of finite structures (LWF) and inverse semigroups. The established results include a description of a family of non-LEF semigroups unifying the bicyclic monoid and Baumslag–Solitar groups and demonstrating that inverse LWF semigroups with finite number of idempotents are LEF.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the limiting conditions of local embeddability into finite (abbreviated as LEF) of semigroups in finite structures. Specifically, the author extends the concept of LEF, explores non - LEF structures, and introduces a closely - related property - local wrapping of finite (abbreviated as LWF). The main contributions of the paper include:
1. **Describe a class of non - LEF semigroups**: These semigroups unify the bicyclic monoid and the Baumslag - Solitar group, showing that inverse LWF semigroups are also LEF if they have only a finite number of idempotents.
2. **Study the general properties of LWF structures**: Prove that some key non - LEF semigroups are also non - LWF.
3. **Explore the LEF and LWF properties of inverse semigroups**: In particular, prove that inverse LWF semigroups are also LEF if they have a finite number of idempotents.
### Main content and structure of the paper
1. **Introduction**:
- Introduce several methods for approximating infinite structures, such as residual finiteness, pseudo - finiteness, and soficity.
- Introduce the concept of LEF and review the relevant research background.
2. **Definitions and preliminary results**:
- Define LEF and LWF structures.
- Prove that LEF structures imply LWF structures.
- Review the connection between LEF groups and semigroups and give several examples.
3. **Specific limitations of non - LEF**:
- Provide multiple specific examples of non - LEF behavior.
- Study whether certain natural semigroup transformations (such as adding zero elements or taking direct products) preserve the LEF property.
4. **General properties of LWF structures**:
- Prove some general properties of LWF structures.
- Establish the result that some key non - LEF semigroups are also non - LWF.
5. **LEF and LWF theory of inverse semigroups**:
- Specifically study the properties of inverse LWF semigroups and prove that inverse LWF semigroups are also LEF if they have a finite number of idempotents.
### Main conclusions
- **Characteristics of non - LEF semigroups**: The paper describes a class of non - LEF semigroups through specific examples and properties, especially those non - LEF semigroups without idempotents.
- **Relationship between LWF and LEF**: Prove that all LEF semigroups are LWF, but not all non - LEF semigroups are non - LWF.
- **Special properties of inverse semigroups**: Inverse LWF semigroups are also LEF if they have a finite number of idempotents.
### Significance
This paper provides a new perspective for understanding the approximation of semigroups through in - depth research on the LEF and LWF properties. In particular, it provides an important theoretical basis for the study of inverse semigroups and is helpful for further exploring the structure and properties of semigroups.