Extension of i-modularity

TL;DR

This paper extends the concept of lq-modularity for purely inseparable extensions of finite size, providing characterizations, preservation properties, and a detailed analysis of modularity levels within a broad algebraic framework.

Contribution

It generalizes previous results on lq-modularity to q-finite extensions, introduces invariants for characterization, and explores the structure and decomposition of modular extensions.

Findings

Characterization of lq-modularity using invariants

Preservation of lq-modularity under intersections

Existence of maximal lq-modular sub-extensions

Abstract

Let $ K / k $ be a purely inseparable extension of characteristic $ p> 0 $ and of finite size. We recall that $K/k$ is modular if for every $n \in \mathbb{N}$,$K^{p^n}$ and $k$ are $k\cap K^{p^ n}$-linearly disjoint. A natural generalization of this notion is to say that $K/k$ is $lq$-modular if $K$ is modular over a finite extension of $k$. Our main objective is to extend in definite form the results and definitions of the $lq$-modularity that have already been obtained in the case limited by the finiteness condition imposed on $[k :k^p]$ in a rather general framework (framework of extensions of finite size called also $q$-finite extensions).First, by means of invariants, we characterize the $lq$-modularity of a $q$-finite extension. Next, we show that any intersection of a $q$-finite extensions covering $k$ or $K$ preserves the $lq$-modularity. We also prove that any $q$-finite extension $ K/k $ contains a greater $lq$-modular and relatively perfect sub-extension. In particular, this result is very useful for defining the modularity of order $i$ linked to a $q$-finite extension $ K/k $.Moreover, we give a necessary and sufficient condition for $K/k$ to be $i$-modular. Certainly, the modularity level of $ K / k $ never exceeds the sizeof $K/k$. Notably, we explicitly describe the extension $K/k $ whose degree of modularity is the size of $ K / k $. In the end, we examine a particular decomposition of $ K/k $ defined by inverse chaining.