Related papers: Maps between standard and principal flag orders

The complexity of computing the Galois group of a linear differential equation is of general interest. In a recent work, Feng gave the first degree bound on Hrushovski's algorithm for computing the Galois group of a linear differential…

This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence…

A categorical theory for the discretization of a large class of dynamical systems with variable coefficients is proposed. It is based on the existence of covariant functors between the Rota category of Galois differential algebras and…

A part of Grothendieck's program for studying the Galois group $G_{\mathbb Q}$ of the field of all algebraic numbers $\overline{\mathbb Q}$ emerged from his insight that one should lift its action upon $\overline{\mathbb Q}$ to the action…

We extend Kovacic's algorithm to compute the differential Galois group of some second order parameterized linear differential equation. In the case where no Liouvillian solutions could be found, we give a necessary and sufficient condition…

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois…

Greaves et al. (2022) extended frames over real or complex numbers to frames over finite fields. In this paper, we study the theory of frames over finite fields by incorporating the Galois inner products introduced by Fan and Zhang (2017),…

As is known to all, Hopf-Galois objects have a significant research value for analyzing tensor categories of comodules and classification questions of pointed Hopf algebras, and are natural generalizations of Hopf algebras with a…

The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…

We introduce a generalization of the Euclidean algorithm for rings equipped with an involution, and completely enumerate all isomorphism classes of orders over definite, rational quaternion algebras equipped with an orthogonal involution…

Many different programs are the implementation of the same algorithm. The collection of programs can be partitioned into different classes corresponding to the algorithms they implement. This makes the collection of algorithms a quotient of…

A powerful new perspective in the analysis of absolute Galois groups has recently emerged from the study of Galois modules related to classical parameterizing spaces of certain Galois extensions. The recurring trend in these decompositions…

We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules…

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 introduce Galois corings, and give a survey of properties that have been obtained so far. The Definition is motivated using descent theory, and we show that classical Galois theory, Hopf-Galois theory and coalgebra Galois theory can be…

The Galois group of a parameterized polynomial system of equations encodes the structure of the solutions. This monodromy group acts on the set of solutions for a general set of parameters, that is, on the fiber of a projection from the…

In this paper we focus on functions of the form $A^n\rightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called…

In differential geometry, the notation d^n f along with the corresponding formalism has fallen into disuse since the birth of exterior calculus. However, differentials of higher order are useful objects that can be interpreted in terms of…

Let $L_n$ be a simplest cubic field with Galois group $G=\rm{Gal} (L_n/\mathbb Q)$. The associated order is denoted as ${\cal A}_{L_n/\mathbb Q}:= \{ x\in {\mathbb Q} [G] \, |\, x \cdot \cal{O}_{L_n} \subset {\cal O}_{L_n } \}$, where…

In a recent work of Galatius and Venkatesh, the authors showed the importance of studying simplicial generalizations of Galois deformation functors. They established a precise link between the simplicial universal deformation ring $R$…