
We apply the methods of algebraic reliability to the study of percolation on
trees. To a complete $k$ary tree $T_{k,n}$ of depth $n$ we assign a monomial
ideal $I_{k,n}$ on $\sum_{i=1}^n k^i$ variables and $k^n$ minimal monomial
generators. We give explicit recursive formulae for the Betti numbers of
$I_{k,n}$ and their Hilbert series, which allow us to study explicitly
percolation on $T_{k,n}$. We study bounds on this percolation and study its
asymptotical behavior with the mentioned commutative algebra techniques.

The present paper studies multiple failure and signature analysis of coherent
systems using the theory of monomial ideals. While system reliability has been
studied using Hilbert series of monomial ideals, this is not enough to
understand in a deeper sense the ideal structure features that reflect the
behavior of the system under multiple simultaneous failures and signature.
Therefore, we introduce the lcmfiltration of a monomial ideal, and we study
the Hilbert series and resolutions of the corresponding ideals. Given a
monomial ideal, we explicitly compute the resolutions for all ideals in the
associated lcmfiltration, and we apply this to study coherent systems. Some
computational results are shown in examples to demonstrate the usefulness of
this approach and the computational issues that arise. We also study the
failure distribution from a statistical point of view by means of the algebraic
tools described.

With a particular focus on explicit computations and applications of the
Koszul homology and Betti numbers of monomial ideals, the main goals of this
thesis are the following:
Analyze the Koszul homology of monomial ideals and apply it to describe the
structure of monomial ideals. Describe algorithms to perform efficient
computations of the homological invariants of monomial ideals. Apply the theory
and computations on monomial ideals to problems inside and outside mathematics
The thesis introduces as a main tool MayerVietoris trees of monomial ideals.