We show how Partial Fraction Decomposition is a consequence of the Chinese Remainder Theorem. Our results hold for arbitrary principal ideal domains, with stronger results for certain Euclidean rings. Therefore, we do not only have Partial Fraction Decomposition for rational function fields, but also for the rational numbers.
Posts about Analysis.
This post shows a diagram, listing a lot of inequalities and showing implications between them.
Following a suggestion by A. Maevskiy, we show how the Hasse derivative can be extended to partial Hasse derivative in arbitrary multivariate polynomial rings. We show multivariate versions of Taylor's Formula, of the Identity Theorem, and of the Generalized Leibnitz Rule.
Functional Calculus in Linear Algebra, the Jordan Decomposition Reloaded and Cayley-Hamilton's Theorem.
We explain the aims of functional calculus and specialize to polynomials evaluated at endomorphisms. We reconsider the Jordan decomposition and prove it with more generality. Then, we discuss Taylor expansion in the nilpotent part for endomorphisms with separable minimal polynomials, and prove Cayley-Hamilton again for arbitrary fields.
In real and complex analysis, the Taylor series expansion is a very important tool. For polynomials over arbitrary unitary rings, it is possible to define a derivative which behaves similar to the usual derivative; unfortunately, the Identity Theorem and Taylor's formula do not transfer to this new situation. Fortunately, there exists a different definition of derivatives for these cases, namely the Hasse derivative. Not only does it gives a Identity Theorem and Taylor's formula back, but also allows to write other identities in a simpler way.
We want to give a proof of the Cayley-Hamilton Theorem for all commutative rings with unity, which first reduces to the case of the field of complex numbers and then applies a topological argument.
We want to give a proof of the Fundamental Theorem of Algebra using methods from Complex Analysis, in particular Liouville's Theorem.