User:Linus44

The plan
I recently wrote that I'd like write a good resource for commutative algebra. Having realised the enormity of this task, my new aim is to write something not completely meaningless about polynomials. As my friend once told me, "Shut up, I'm trying to think what a group is".

Present Intentions
Organise existing results on undergraduate algebra on this page so I can link everything back nicely.

To do

 * Evaluation homomorphism
 * Rep of polys as finite sums
 * Polynomials form a ring

Ring theory
Rings

Definition:Ring

Definition:Unity

Definition:Ring with Unity

Definition:Commutative Ring

Definition:Commutative Ring With Unity

Characteristic of a Ring

Binomial Theorem

Subrings and Ideals

Definition:Subring

Definition:Ideal

Definition:Generating Set

Definition:Principal Ideal

Definition:Maximal Ideal

Definition:Sum of Ideals

Definition:Quotient Ring

Intersection of Ideals

Increasing Union of Ideals is Ideal

Sum of Ideals is an Ideal

Commutative Quotient Ring

Quotient Ring with Unity

Natural Epimorphism to Quotient Ring

Homomorphisms

Definition:Homomorphism

Definition:Monomorphism

Definition:Epimorphism

Definition:Isomorphism

Definition:Kernel

Definition:Image

Ring Homomorphism Preserves Subrings

Ring Epimorphism Inverse of Subring

Ring Epimorphism Preserves Ideals

Ring Epimorphism Inverse of Ideal

Kernel of Ring Homomorphism is Ideal

First Isomorphism Theorem

Domains and fields

Definition:Integral Domain

Definition:Field

Definition:Prime Ideal

Definition:Maximal Ideal

Definition:Quotient Field

Characteristic of Ring with No Zero Divisors

Prime Ideal iff Quotient Ring is Integral Domain

Maximal Ideal iff Quotient Ring is Field

Maximal Ideal is Prime

Field Homomorphism is Injective

Existence of Quotient Field

Quotient Field is Unique

PIDs, UFDs, Noetherian rings

Galois theory
Polynomials in one variable

Definition:Polynomial

Definition:Ring of Polynomial Forms

Definition:Degree (Polynomial)

Set of Polynomials is a Subring

Ring of Polynomial Forms is Integral Domain

Polynomials Closed under Ring Product

Rings of Polynomial Forms Isomorphic

Unique Representation in Polynomial Forms

1-var polynomial rings, Fields, extensions, algebraic extensions, algebraic clusure, separable extensions, splitting fields, normal extensions, galois extensions, polynomials, cyclotomy, norm and trace.

Commutative algebra
Definitions

Definition:Jacobson Radical Definition:Nilpotent Element Definition:Nilradical

Definition:Radical Ideal

Definition:Radical of an Ideal

Definition:Reduced Ring

Little theorems

Characterisation of the Jacobson Radical

Cayley-Hamilton Theorem

Hilbert's Basis Theorem

Nakayama's Lemma

Radical Ideal iff Quotient Ring is Reduced