List of Symbols
Total Page:16
File Type:pdf, Size:1020Kb
List of Symbols SYMBOL MEANING PAGE REFERENCE Q field of rational numbers 1 R field of real numbers 1 C field of complex numbers 1 ==} implies <=} if and only if E is an element of 2 is not an element of 2 •Ix I P(x)} the class of all x such that P(x) is true 2 C is a subclass (or subset) of 2 525 empty set 3 peA) or 2A power set of A 3 UAi union of the sets Ai 3 i.I nAi intersection of the sets Ai 3 iel B-A relative complement of A in B 3 A' complement of A 3 I: A---+B fis a function from A to B 3 a~ I(a) the function Imaps a to I(a) 3 liS restriction of the function Ito S 4 { identity function on the set A 4 lA identity element of the ring A 115 {composite function of land g 4 golor gl composite morphism of I and g 52 Iml image of the function I 4,31 l-l(T) inverse image of the set T 4 485 486 LIST OF SYMBOLS SYMBOL MEANING PAGE REFERENCE {Cartesian product of sets A and B 6 A XB direct product of groups A and B 26 { is equivalent to 6 is equipollent with 15 a equivalence class of a 6 (Cartesian) product of the sets Ai; 7 product of the fomUy of obi""" I A, I i ,II 53 IT Ai ! iol direct product of the family of groups [or rings or modules] {Ai liE II 59,130,173 Z set of integers 9 N set of nonnegative integers (natural numbers) 9 N* set of positive integers 9 alb a divides b 11, 135 a{'b a does not divide b 11, 135 (a"a2, . , an) { greatest common divisor of a" . , an 11 ideal generated by a" . , an 123 a== b (mod m) a is congruent to b modulo m 12 16 r'dina' number of the "t A IAI order of the group A 24 determinant of the matrix A 351 No aleph-naught 16 D4* group of symmetries of the square 26 Sn symmetric group on n letters 26 G(£JH direct sum of additive groups G and H 26 Zm integers modulo m 27 Q/Z group of rationals modulo one 27 Z(p"") Sylow p-subgroup of Q/Z 30, 37 '" is isomorphic to 30 Ker f kernel of the homomorphism f 31, 119, 170 H<G H is a subgroup of G 31 <X> subgroup generated by the set X 32 <a> cyclic (sub)group generated by a 32 H V K,H+K the join of subgroups Hand K 33 Qs quaternion group 33 lal order of the element a 35 a=Tb(modH) ab-1 EH 37 a =Ib (mod H) a-1b EH 37 Ha,aH right and left cosets of a 38 [G:H] index of a subgroup H in a group G 38 HK {ab la EH, b EK} 39 N<JG N is a normal subgroup of G 41 GIN factor group of G by N 42 LIST OF SYMBOLS 487 SYMBOL MEANING PAGE REFERENCE sgn T sign of the permutation T 48 An alternating group on n letters 49 Dn dihedral group of degree n 50 () Ai disjoint union of the sets Ai 58 i.l rrGi weak direct product of the groups Gi 60 i.I L: Gi direct sum of the groups (or modules) Gi 60,173 i.I II* Gi free product of the groups Gi 68 i.1 G[m] {u E G I mu = 01 77, 224 G(p) {u EG I u has order a power of p 1 77,222 G, torsion subgroup [submodule] of G 78,220 G;r; stabilizer of x 89 CH(x) centralizer of x in H 89 NH(K) normalizer of Kin H 89 C(G) center of G 91 C.. (G) n-th term of ascending central series 100 G' commutator subgroup of G 102 G(n) n-th derived subgroup of G 102 End A endomorphism ring of A 116 G) binomial coefficient 118 char R characteristic of the ring R 119 Rop opposite ring of R 122, 330 (X) ideal generated by the set X 123 (a) principal ideal generated by a 123 S-lR ring of quotients of R by S 143 Rp localization of R at P 147 R[x] ring of polynomials over R 149 R[xJ, ... , x n] ring of polynomials in n indeterminates over R 151 R[[x)] ring of formal power series over R 154 degf degree of the polynomial f 157, 158 C(f) content of the polynomial f 162 HomR(A,B) set of all R-module homomorphisms A -+ B 174 dimDV dimension of the D-vector space V 185 RAs R-S bimodule A 202 RA,[AR] left [resp. right] R-module A 202 A* dual module of A 203 <a,f> f(a) 204 ~ii Kronecker delta 204 mt(A,B) category of middle linear maps on A X B 207 488 LIST OF SYMBOLS SYMBOL MEANING PAGE REFERENCE A@RB tensor product of modules A and B 208 /@g induced map on the tensor product 209 0. order ideal of a 220 [F:Kl dimension of field F as a K-vector space 231 K[ul, ... , Un], subring generated by K and u), ... , Un [resp. Xl 232 [resp. K[Xll K(ul, ... , Un) subfield generated by K and Ul, ••• , Un [resp. K(X)l [resp. Xl 232 K(xl, ... , xn) field of rational functions in n indeterminates 233 AutKF Galois group of F over K 243 ~ discriminant of a polynomial 270 Fpn {u pn I u EF; char F = pI 285 [F:Kl, separable degree of F over K 285 [F:Kli inseparable degree of F over K 285 NKF(U) norm of u 289 TKF(U) trace of u 289 gnCx) n-th cyclotomic polynomial 298 tr.d. F/K transcendence degree of F over K 316 KI/pn {U Eel upn EKl 320 K1I pco {u Eel upn EK for some n :2: 0 I 320 In n X n identity matrix 328 MatnR ring of n X n matrices over R 328 At transpose of the matrix A 328 A-I inverse of the invertible matrix A 331 En,m r a certain matrix 337 Aa classical adjoint of the matrix A 353 q.p(x), qA(X) minimal polynomial of 4J [resp. Al 356 TrA trace of the matrix A 369 Rad I radical of the ideal I 379 V(S) affine variety determined by S 409 a(B) left annihilator of B 417 roa r + a + ra 426 J(R) Jacobson radical of R 426 peR) prime radical of R 444 hom(A,B) or set of morphisms A ---> B in a category e 52,465 home(A,B) hA covariant hom functor 465 hB contravariant hom functor 466 eT category formed from e and T 470 °C,D zero morphism from C to D 482 Bibliography All books and articles actually referred to in the text are listed below. The list also includes a number of other books that may prove to be useful references. No attempt has been made to make the list complete. It contains only a reasonable selection of English language books in algebra and related areas. Almost all of these books are accessible to anyone able to read this text, though in some cases certain parts of this text are prerequisites. For the reader's convenience the books are classified by topic. However, this classification is not a rigid one. For instance, several books classified as "general" contain a fairly complete treatment of group theory as well as fields and Galois theory. Other books, such as [26] and [39], readily fit into more than one classifica tion. BOOKS GENERAL 1. Chevalley, c., Fundamental Concepts of Algebra. New York: Academic Press, Inc., 1956. 2. Faith, c., Algebra: Rings, Modules and Categories I. Berlin: Springer-Verlag, 1973. 3. Goldhaber, J. and G. Ehrlich, Algebra. New York: The Macmillan Compa ny, 1970. 4. Herstein, I., Topics in Algebra. Waltham, Mass.: Blaisdell Publishing Company, 1964. 5. Lang, S., Algebra. Reading, Mass.: Addison-Wesley, Publishing Company, Inc., 1965. 6. MacLane, S. and G. Birkhoff, Algebra. New York: The Macmillan Company, 1967. 7. Van der Waerden, B. L., Algebra. (7th ed., 2 vols.), New York: Frederick Ungar Publishing Co., 1970. SET THEORY 8. Eisenberg, M., Axiomatic Theory of Sets and Classes. New York: Holt, Rinehart and Winston, Inc., 1971. 9. Halmos, P., Naive Set Theory, Princeton, N. J.: D. Van Nostrand Company Inc., 1960. 10. Suppes, P., Axiomatic Set Theory. Princeton, N. J.: D. Van Nostrand Com pany, Inc., 1960. 489 -------------------------490 BIBLIOGRAPHY GROUPS 11. Curtis, C. W. and I. Reiner, Representation Theory of Finite Groups and Asso ciative Algebras. New York: Interscience Publishers, 1962. 12. Dixon, J., Problems in Group Theory. Waltham, Mass.: Blaisdell Publishing Company, 1967. 13. Fuchs, L., Infinite Abelian Groups. New York: Academic Press, Inc., 1970. 14. Gorenstein, D., Finite Groups. New York: Harper and Row, Publishers, 1968. 15. Hall, M., The Theory of Groups. New York: The Macmillan Company, 1959. 16. Hall, M. and 1. K. Senior, The Groups of Order 2n(n ~ 6). New York: The Macmillan Company, 1964. 17. Kaplansky, I., Infinite Abelian Groups (2d ed.), Ann Arbor, Mich.: University of Michigan Press, 1969. 18. Kurosh, A. G., The Theory of Groups (2 vols.), New York: Chelsea Publishing Company, 1960. 19. Rotman, J., The Theory of Groups (2d ed.).