**Instructor:** M. Grützmann (古梅西, e-mail: x@nwpu.edu.cn, x=grutzmann, QQ: 109-235-1405^{†})

**Textbook:** P.A. Grillet, *Abstract Algebra,* GTM, vol.242, Springer **(2007)**, ISBN 978-0-387-71568-1. A summary can be found here (it will be extended as the semester proceeds).

**Instruction language:** *English*

**Meeting time and place:** Mon 19^{00}–20^{40} at 教东C201 (Chang'an campus), We 16^{00}–17^{40} at 教东C203;

**Final:** 2013, Jan 14, 2:30-4:30pm (120min), 教东楼 B108 or Jan 15, 8:30–11:59am (120min), TBA

**Course home page:** www.grutzmann.de/algebra.

^{†} Please send your name and the word algebra when you add me.

This is a graduate course in abstract algebra. It covers finite group theory including Sylow's theorems, normal series, and representations; (commutative unital) ring theory including domains and fields, principal ideal domains, unique factorization domains; and Galois theory including algebraic and transcendental extensions, algebraic closure, separable and normal extensions, Galois' correspondence principle, solvability (by radicals), geometric constructability, and some more.

The course grade constitutes from homework (10%), a 50min talk (30%), and the final exam (60%).

**Homework** will be assigned every week and is due on Monday the next week. The graded homework will be returned within 1.5 weeks.

A list of topics for talks together with points that should be included is given here. Generally the talks should not exceed 1h. Either you prepare some handout for your classmates or you write important things on the black/ white board. If you give me the talk 2 days before you hold it, I can double check it and give suggestions for improvement if needed.

The final exam will be in the last week of the semester Jan 14–18 (2013). It is designed for 120min, based on the material covered in class, i.e. Finite groups (definitions–semi-direct products), (commutative unital) Rings (definitions–unique factorization domains/ localizations), and Field extensions/ Galois theory (definition–geometric constructions). You cannot use text-books or computers/ calculators in the final, but a dictionary/ vocable list as well as a 5 pages “summary” is permitted in the exam. Place and starting time will be announced here (and in class) when fixed. There will also be some typical questions linked here. In the mean-time you can search the web for algebra questions in the math part of the GRE test/ comprehensive exam algebra (another one).

**0** please send me an e-mail with your name (汉字+PY) and which topic you would like to present by Oct 3^{rd}. solutions

1^{st} Homework due on Oct 15^{th}. solutions

2^{nd} Homework due on Oct 22^{nd}. solutions

3^{rd} Homework Section 1.5 due on Oct 29^{th}. (The rest the week after.) Nr. 1.5.1b had an error, i.e. the given definition is the free coproduct. In addition you can use ρ_{G}(`g`)ρ_{H}(`h`) = ρ_{H}(`h`)ρ_{G}(`g`) for all `g`∈ G, `h`∈ H. solutions

4^{th} Homework due on Nov 5^{th}. solutions

5^{th} Homework due on Nov 12^{th}. solutions

6^{th} Homework due on Nov 19^{th}. solutions

7^{th} Homework due on Nov 26^{th}. solutions

8^{th} Homework due on Dec 3^{rd}. Erratum: Please note that an earlier version of this assignment sheet contained a wrong definition of the product in the unitalization `R`^{1}:=**Z**⋉`R`. The correct version is `(m,a)(n,b) = (mn, ab+mb+na)` for `m,n`∈**Z** and `a,b∈ R` (where `na = a+a+…+a`, `n` times for `n` ≥ 0 and `(-n)a=-(na)` for the other cases).

9^{th} Homework due on Dec 10^{th}.

10^{th} Homework due on Dec 17^{th}. Erratum: an earlier version of Exercise 2.5.3 asked you to show the localization trick for prime ideals p⊲`R`. Actually if you have a short proof, then it probably also extends to arbitrary ideals `I⊲R`. In Exercise 2.5.4 you can use the result for arbitrary ideals.

11^{th} Homework due on Dec 24^{th}.

12^{th} Homework due on Jan 2^{nd}.

Last Homework due on Jan 9^{th}.

Please try to finish as much homework as possible by Jan 11^{th}, especially you should do at least one homework sheet from chapter 3. I will ignore those homework wich you could not do in time, but the material could still be part of the exam. I will try to put online the remaining solutions by evening Jan 11^{th}.

The numbers in parenthesis give the approximate number of lectures.

- Groups (5+ weeks)
- Definition, Examples, Subgroups, and Homomorphisms (5)
- Isomorphism theorems (2)
- Free groups, free products, and presentations (2)
- Direct products & The Krull–Schmidt theorem (2)
- Group actions (1)
- Structure of symmetric groups (1)
- The Sylow theorems (1)
- Small groups (1)
- The general linear group (1)
- Group representations and characters (1.5)
- Composition series and Jordan–Hölder theorem (1)
- Group extensions and Solvable groups (1
^{*}) - Semidirect products and Nilpotent groups (1
^{*})

- Rings and algebras (3 weeks)
- Definition, Examples, Homomorphisms, Subrings, and Ideals

integers, integers modulo`n`, polynomials, matrix algebras, direct sum/product, tensor product, … (2) - Domains and fields (1)
- Principal ideal domains (1)
- Unique factorization domains (1)
- Noetherian rings (1
^{*}) - Gröbner bases (1
^{*}) - Localizations (1)
- Dedekind domains (1
^{*}) - Minimal prime ideals and Krull dimension (1
^{*})

- Definition, Examples, Homomorphisms, Subrings, and Ideals
- Field extensions and Galois theory (5 weeks)
- Algebraic and transcendental extensions (1)
- The algebraic closure (1)
- Separable extensions (1)
- Resultants and discriminants (1)
- Splitting fields and Normal extensions (1.5)
- Galois extensions and the correspondence principle (1)
- Infinite Galois extensions and Picard–Vessiot theory (2
^{*}) - Cyclotomic and cyclic extensions and Solvability by radicals (1)
- Norm and trace (1)
- Geometric constructions (1)
- Algebraic integers (1
^{*}) - Outlook: Algebraic geometry (1–3)
- Ordered fields and valuations (1
^{*}) - Extensions II and valuations? (1
^{*}) - Hensel's Lemma (1
^{*}) - Filtrations and completions? (1
^{*})

- Outlook: Abstract nonsense (2 weeks
^{*})- Categories and additive categories: definition, examples, functors (2)
- Limits and colimits (1)
- Tensor products: tensor algebra, symmetric algebra, exterior algebra (1.5)
- Completions (1
^{*}) - Homomorphisms (1)
- Adjoint functors (with theorem; 1.5)
- Triples (1)

^{*} as time permits.

*Algebra*, 2nd edition, Addison Wesley**(2010)**, ISBN 978-013-241-377-0.
: *Lectures in abstract algebra:**1 basic concepts*,*3 Fields and Galois theory*, Springer,**(2000)**, ISBN 750-620-060-0, 750-620-062-7.
: *抽象代数基础 (Basic Algebra)*, Springer**(2007)**/ Higher Education Press, ISBN 978-730-214-407-6. Kezheng): *A first course in abstract algebra*, 3rd edition, Prentice Hall**(2006)**, ISBN 978-711-121-262-1.
: *近世代数 (International Algebra)*, 3rd edition, Higher Education Press**(2011)**, ISBN 978-704-030-072-7.
Zixu):

This page is maintained by M. Grützmann.