Related papers: Matrix computations on projective modules using no…

In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gr\"obner bases. We present several linear algebra algorithms for computing Gr\"obner…

We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…

In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gr\"obner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative…

Let $R$ be local Noetherian ring of depth at least two. We prove that there are indecomposable $R$-modules which are free on the punctured spectrum of constant, arbitrarily large, rank.

We consider skew free extensions of rings, also known as free multivariate skew polynomial rings, and explore some of the algebraic aspects of this construction. We give different characterizations of such rings and present conditions for…

We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an…

For a prime number p, we denote by K the cyclotomic Z_p-extension of a number field k. For a finite set S of prime numbers, we consider the S-ramified Iwasawa module which is the Galois group of the maximal abelian pro-p-extension of K…

The first purpose of this paper is to set up a general notion of skew power series rings S over a coefficient ring R, which are then studied by filtered ring techniques. The second subject consists of investigating the class of S-modules…

Assume that the field $K$ is $p$-rational. We study the freeness of the $\Lambda(G_{\infty,S})$-module $\mathcal{X}=\mathcal{H}^{ab}=\mathrm{\mathrm{G}al}(K_{S\cup S_p}/K_{\infty,S})^{ab}$. For numerical evidence to our result we consider…

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d…

We construct examples of bounded below, noncontractible, acyclic complexes of finitely generated projective modules over some rings $S$, as well as bounded above, noncontractible, acyclic complexes of injective modules. The rings $S$ are…

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such…

Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…

For any group, there is a natural (pseudo-)norm on the vector space B1 of real (group) 1-boundaries, called the stable commutator length norm. This norm is closely related to, and can be thought of as a relative version of, the Gromov…

A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…

Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

Let $X$ be a smooth, irreducible, projective algebraic surface, and let $\alpha \in \mathbb{Q}[m]_{>0}$ be a polynomial. In this paper, we determine topological and geometric properties of the moduli space of $\alpha$-stable coherent…

In this paper, we give a complete classification of all free $U(\mathbb{C}L_0 \oplus \mathbb{C}Y_0\oplus \mathbb{C}M_0)$-modules of rank 1 over a Schr{\"o}dinger-Virasoro type algebra $\mathfrak{tsv}$.

We revisit the concept of a minimal basis through the lens of the theory of modules over a commutative ring $R$. We first review the conditions for the existence of a basis for submodules of $R^n$ where $R$ is a B\'{e}zout domain. Then, we…