Related papers: Essential and retractable Galois connections

Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections using proof assistants remains limited to…

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are…

We prove an essentially surjective Galois-correspondence-like functor for $n$-stacks. More specifically, it gives an essentially surjective functor from the $\infty$-category of $n$-stacks of finite sets with an action of the fundamental…

Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections remains limited to restricted modes of…

The main theorem of Galois theory states that there are no finite group-subgroup pairs with the same invariants. On the other hand, if we consider complex linear reductive groups instead of finite groups, the analogous statement is no…

The fundamental concepts in the Galois Theory are separable, normal and Galois field extensions. These concepts are central in proofs of the Galois Theory. In the paper, we introduce a new approach, a ring theoretic approach, to the Galois…

The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and…

We focus on two important classes of lattices, the well-rounded and the cyclic. We show that every well-rounded lattice in the plane is similar to a cyclic lattice, and use this cyclic parameterization to count planar well-rounded…

In this paper we give a unified approach in categorical setting to the problem of finding the Galois closure of a finite cover, which includes as special cases the familiar finite separable field extensions, finite unramified covers of a…

We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior…

Let $\rho_1$ and $\rho_2$ be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field $F$. In this article we propose a conjecture asserting existence of "safe" chains of…

We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and…

This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…

We investigate geometric and combinatorial aspects of the mysterious relationship between the action of the motivic Galois group on the motivic fundamental group of the projective line punctured at zero, infinity, and N-th roots of unity,…

The purpose of this article is to propose and investigate a partial order structure weaker than the lattice structure and which have nice properties regarding closure operators. We extend accordingly closed pattern mining and formal concept…

In this paper we present a reformulation of the Galois correspondence theorem of Hopf Galois theory in terms of groups carrying farther the description of Greither and Pareigis. We prove that the class of Hopf Galois extensions for which…

Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are…

We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria…

A fundamental theorem of Katz \cite{Katz87} determines the differential Galois groups of rank $n$ connections on algebraic curves with slope $r/n$ at a singularity, where $\gcd(r,n)=1$. We extend this result to $G$-connections, where $G$ is…

In previous papers, the Galois module structure of minus class groups was studied for abelian CM extensions. In this paper, we discuss some nonabelian cases, focusing on metacyclic extensions. For a certain class of these, we obtain a…