Abstract:For a finite $\mathbb{Z}$-algebra $R$, i.e., for a $\mathbb{Z}$-algebra which is a finitely generated $\mathbb{Z}$-module, we assume that $R$ is explicitly given by a system of $\mathbb{Z}$-module generators $G$, its relation module ${\rm Syz}(G)$, and the structure constants of the multiplication in $R$. In this setting we develop and analyze efficient algorithms for computing essential information about $R$. First we provide polynomial time algorithms for solving linear systems of equations over $R$ and for basic ideal-theoretic operations in $R$. Then we develop ZPP (zero-error probabilitic polynomial time) algorithms to compute the nilradical and the maximal ideals of 0-dimensional affine algebras $K[x_1,\dots,x_n]/I$ with $K=\mathbb{Q}$ or $K=\mathbb{F}_p$. The task of finding the associated primes of a finite $\mathbb{Z}$-algebra $R$ is reduced to these cases and solved in ZPPIF (ZPP plus one integer factorization). With the same complexity, we calculate the connected components of the set of minimal associated primes ${\rm minPrimes}(R)$ and then the primitive idempotents of $R$. Finally, we prove that knowing an explicit representation of $R$ is polynomial time equivalent to knowing a strong Gröbner basis of an ideal $I$ such that $R = \mathbb{Z}[x_1,\dots,x_n]/I$.

Rees algebras, Monomial Subrings and Linear Optimization Problems

On Rees algebras of linearly presented ideals and modules

Rees algebras of sparse determinantal ideals

Lefschetz properties of squarefree monomial ideals via Rees algebras

On Rees algebras of ideals and modules with weak residual conditions

On the minimal free resolution of the Rees algebra of tri-generated bivariate monomial ideals

Linearly presented perfect ideals of codimension $2$ in three variables

Rees algebras of ideals submaximally generated by quadrics

Some characterizations of Gorenstein Rees Algebras

Projective modules over Rees-like algebras and its monoid extensions

Almost Complete Intersections: Regularity of powers and Rees algebra

Rees Algebras of unit interval determinantal facet ideals

Rees Algebras and the reduced fiber cone of divisorial filtrations on two dimensional normal local rings

A Linear Algebra approach to monomiality and operational methods

The equations of Rees algebras of height three Gorenstein ideals in hypersurface rings

Duality and the equations of Rees rings and tangent algebras

Rees algebra of maximal order Pfaffians and its diagonal subalgebras

Non-commutative factorizations and finite-dimensional representations of free algebras

Essentially Reductive Hilbert Modules II

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras

On the socle of Artinian algebras associated to graphs