Abstract:The aim of this article is to investigate the issues of multiplicative inverses and composition in the set of formal Laurent series. We show the lack of uniqueness of inverse series to formal Laurent series. Some necessary and sufficient conditions for the existence of inverse series to a certain type formal Laurent series are provided. Moreover, we define a general composition of formal Laurent series and investigate the Right Distributive Law and the Chain Rule for formal Laurent series. Finally, we provide a sufficient condition for the boundary convergence of formal Laurent series.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the inverse and composition operations of formal Laurent series. Specifically, the paper explores the following aspects:
1. **Existence and Computation of Inverse Series**:
- Research whether the inverse series of a formal Laurent series exists and its computational methods.
- Provide the necessary and sufficient conditions for the existence of inverse series for certain types of formal Laurent series.
2. **Composition Operation and Its Properties**:
- Define the composition operation of general formal Laurent series and study its properties.
- Explore the application of the right - distributive law and the chain rule in formal Laurent series.
3. **Boundary Convergence**:
- Examine the boundary convergence of formal Laurent series and provide a sufficient condition.
### Main Problems and Conclusions
- **Existence of Inverse Series**:
- The paper points out that a formal Laurent series may have no inverse series, or only one inverse series, or uncountably many inverse series.
- Through the theory of infinite systems of linear algebraic equations, provide the necessary and sufficient conditions for the existence of inverse series for certain types of formal Laurent series.
- **Properties of Composition Operation**:
- Define the composition operation of general formal Laurent series and study its properties, especially the right - distributive law and the chain rule.
- Prove whether the right - distributive law and the chain rule, which hold in formal power series, still hold in formal Laurent series.
- **Boundary Convergence**:
- Extend some existing results on the boundary convergence of formal Laurent series and provide a sufficient condition to judge the boundary convergence of formal Laurent series.
### Specific Examples and Theorems
- **Examples 3.1 to 3.6**:
- Through specific examples, show the cases where a formal Laurent series may have no inverse series, only one inverse series, or uncountably many inverse series.
- **Proposition 3.7**:
- Prove that a formal Laurent series cannot have a finite number but more than 1 inverse series.
- **Proposition 3.8**:
- Prove that the multiplication of formal Laurent series does not satisfy the associative law.
- **Theorems 4.8 and 4.10**:
- Provide the conditions for the existence of the inverse series of strict formal Laurent series and the computational methods.
### Summary
Through in - depth research on the inverse and composition operations of formal Laurent series, this paper not only provides theoretically necessary and sufficient conditions, but also gives specific computational methods and examples, laying the foundation for further research in this field.