Page 1 Next

Displaying 1 – 20 of 254

Showing per page

Tensor complexes: multilinear free resolutions constructed from higher tensors

Christine Berkesch Zamaere, Daniel Erman, Manoj Kummini, Steven V. Sam (2013)

Journal of the European Mathematical Society

The most fundamental complexes of free modules over a commutative ring are the Koszul complex, which is constructed from a vector (i.e., a 1-tensor), and the Eagon-Northcott and Buchsbaum-Rim complexes, which are constructed from a matrix (i.e., a 2-tensor). The subject of this paper is a multilinear analogue of these complexes, which we construct from an arbitrary higher tensor. Our construction provides detailed new examples of minimal free resolutions, as well as a unifying view on a wide variety...

Testing flatness and computing rank of a module using syzygies

Oswaldo Lezama (2009)

Colloquium Mathematicae

Using syzygies computed via Gröbner bases techniques, we present algorithms for testing some homological properties for submodules of the free module A m , where A = R[x₁,...,xₙ] and R is a Noetherian commutative ring. We will test if a given submodule M of A m is flat. We will also check if M is locally free of constant dimension. Moreover, we present an algorithm that computes the rank of a flat submodule M of A m and also an algorithm that computes the projective dimension of an arbitrary submodule...

The Abhyankar-Jung theorem for excellent henselian subrings of formal power series

Krzysztof Jan Nowak (2010)

Annales Polonici Mathematici

Given an algebraically closed field K of characteristic zero, we prove the Abhyankar-Jung theorem for any excellent henselian ring whose completion is a formal power series ring K[[z]]. In particular, examples include the local rings which form a Weierstrass system over the field K.

The algebraic structure of pseudomeadow

Hamid Kulosman (2024)

Commentationes Mathematicae Universitatis Carolinae

The purpose of this paper is to study the commutative pseudomeadows, the structure which is defined in the same way as commutative meadows, except that the existence of a multiplicative identity is not required. We extend the characterization of finite commutative meadows, given by I. Bethke, P. Rodenburg, and A. Sevenster in their paper (2015), to the case of commutative pseudomeadows with finitely many idempotents. We also extend the well-known characterization of general commutative meadows as...

Currently displaying 1 – 20 of 254

Page 1 Next