Definition.
A ring is an abelian group with an additional operation * such that:
- * is closed.
- * is associative
- 1 * a = a.
This makes the ring a monoid with respect to *.
( Gross defined it slightly different in the lecture ).
Gross showed an interesting way to construct rings from abelian rings. The endomorphisms of an abelian group End(A) form a ring if an element f_a in the ring is constructed from an element a in A by taking the map f(1) = a.
Some furter topics which were introduced:

( Ideal )

( Quotient ring )

( Unit )

( Examples of groups of units )
No comments:
Post a Comment