## Varieties II: Quasiprojective Varieties

This post contains the definition of (quasi-) projective varieties, regular functions, morphisms, projective coordinate ring, the Nullstellensatz. It also contains the global section of sheaf of regular function over distinguished open sets and the fact that affine neighborhoods form a basis for the Zariski topology

## Varieties I: affine varieties

This post contains the defintiion of affine varieties, regular functions, coordinate ring, the Nullstellensatz, and the quotient of an affine variety upon action of a finite group. Read more…

## Similarity and normal forms

This post will prove the uniqueness of Jordan form, Smith normal form and Rational canonical form in an equivalence class of similar matrices. A criterion to check similarlity of matrices using these forms is given, and a nice lemma of similarity being irrelevant to field extension is shown using rational canonical form.

## Polar decomposition

This post proves the existence of polar decomposition. Read more…

## Rational Canonical Form

This post proves the existence of rational canonical form, using the structure theoerm of finite modules over PID. Read more…

## Smith Normal Form

This post proves the existence of Smith normal form. The proof is pretty much the same as the one of reduced row echelon form.

## Jordan form II: Computations

This post talks about computation of Jordan form and Jordan basis, along with a few examples.