Pacific Journal of Mathematics
|
|
- Brenda Reeves
- 6 years ago
- Views:
Transcription
1 Pacific Journal of Mathematics INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS DANIEL GOLDSTEIN, ROBERT M. GURALNICK, LANCE SMALL AND EFIM ZELMANOV Volume 227 No. 2 October 2006
2
3 PACIFIC JOURNAL OF MATHEMATICS Vol. 227, No. 2, 2006 INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS DANIEL GOLDSTEIN, ROBERT M. GURALNICK, LANCE SMALL AND EFIM ZELMANOV We characterize the inversion invariant additive subgroups of any field, and, more generally, those of a division ring (apart from division rings of characteristic 2). We also show how a classical identity of Hua provides a bridge between this problem and Jordan algebras. Answering a question of Dan Mauldin, we characterize in this note the inversion invariant additive subgroups of a field. We show in Section 2 that aside from the case of imperfect fields of characteristic 2, a nonzero subgroup that is inversion invariant is either a subfield or the set of trace-zero elements in a subfield with respect to an automorphism of order 2. A key ingredient in the proof is a simple, classical identity of Hua, through which we can bring to bear known results about Jordan algebras and Jordan triple systems. We also solve in Section 1 the same problem for division rings of characteristic not Division rings We characterize pairs T D, where D is a division ring of characteristic = 2; T is an additive of subgroup of D; for an arbitrary nonzero element of t T the inverse t 1 again lies in T, and T generates D as a ring. Example 1. T = D. Example 2. Let σ : D D be an involution of a division ring D (an additive map such that σ (σ (a)) = a and σ (ab) = σ (b)σ (a) for arbitrary elements a, b in D). Then T = H(D, σ ) = {a D σ (a) = a} is inversion invariant. The additive subgroup H(D, σ ) generates D unless D is a quaternion algebra over its center and σ is a quaternionic involution; see [Herstein 1976]. MSC2000: 17C10, 17A35, 12E99. Keywords: Jordan algebra, Clifford algebra, Jordan triple system. Guralnick was supported by the National Science Foundation grant DMS , and Zelmanov was supported by NSF grant DMS
4 288 D. GOLDSTEIN, R. GURALNICK, L. SMALL AND E. ZELMANOV Example 3. The additive group of skew symmetric elements S(D, σ ) = {a D σ (a) = a} is also inversion invariant. It generates D unless D is a field and σ = Id. Example 4. Let σ, τ be two commuting involutions of a division ring D, and set T = H(D, σ ) S(D, τ). The subgroup T is inversion invariant. Example 5. Let g be an automorphism of a division ring D of order 2. Then T = S(D, g) = {a D g(a) = a} is inversion invariant and generates D. Finally, we will describe somewhat special pairs which we will refer to as Clifford pairs. Let V be a vector space over a field F with a quadratic form q : V F such that the Clifford algebra C = C(V, q) is a division ring. Let J = F 1 + V C and let 0 = x C be an element such that x J x = J. Then (i) T = x J C is inversion invariant and generates C. Now suppose that the space V is finite dimensional over F and dim F V = n is even. Choose an orthogonal basis v 1,..., v n of V. Let 0 = x C be an element such that x(j + Fv 1 v n )x = J + Fv 1 v n. Then (ii) T = x(j + Fv 1 v n ) C is inversion invariant. Let T even, T odd be the additive subgroups of C generated by products of elements of T of even and odd lengths, respectively. In the pairs of types (i) and (ii) T even = T odd. This does not always have to be the case. Let D be a /2 -graded division ring, D = D 0 + D 1, whose even part D 0 is isomorphic to the Clifford algebra C of a quadratic form q : V F. Suppose x D 1 satisfies x J x = J. Then (iii) T = x J D 1 D is inversion invariant and generates D. If dim F V = n is even, let v 1,..., v n be an orthogonal basis of V. If 0 = x D 1 satisfies x(j + Fv 1 v n )x = J + Fv 1 v n, then (iv) T = x(j + Fv 1 v n ) D 1 D
5 INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS 289 is inversion invariant and generates D. In the pairs of types (iii) and (iv) T even T odd = 0. Theorem 1.1. If T is an inversion invariant additive subgroup of a division ring D, the characteristic of D is not 2, and T generates D, then T D is a pair of one of the types described in Examples 1 5 or of one of the Clifford types (i) (iv). The key observation is an elementary identity of L. K. Hua [Jacobson 1980, Exercise 9, page 92]. Lemma 1.2 (Hua s Identity). Let R be a ring with elements a, b R such that a, b and ab 1 are invertible. Then ( (a b 1 ) 1 a 1) 1 = aba a. Corollary 1.3. If T is an inversion invariant additive subgroup of a division ring D then for arbitrary elements a, b T we have aba T. We will need a few definitions from the theory of Jordan systems. A (not necessarily associative) ring J is called a Jordan ring if it satisfies (J1) (J2) xy = yx, (x 2 y)x = x 2 (yx), for all x and y in J. Example 6. If R is an associative ring then the additive group of R with the new multiplication x y = xy + yx is a Jordan ring which is denoted R (+). Example 7. If σ : R R is an involution, then H(R, σ ) = {a R σ (a) = a} is a Jordan subring of R (+). Example 8. Let V be a vector space over a field F, q : V F a quadratic form, and let C = C(V, q) be the Clifford algebra. The space J = F 1 + V is a Jordan subalgebra of C (+), which is called the Jordan algebra of the quadratic form q. A Jordan ring J is said to be special if it is embeddable into R (+), where R is an associative ring. If R is generated by J then R is an associative enveloping ring of R. Clearly, Examples 6, 7, and 8 are special. A Jordan ring that is not special is called exceptional. Theorem 1.4. A simple Jordan ring of characteristic = 2 is either isomorphic to R (+), where R is a simple associative ring, or to H(R, σ ), where R is a simple associative ring with an involution σ, or to a Jordan algebra of a nondegenerate quadratic form or is an exceptional 27-dimensional algebra over its center (called an Albert algebra).
6 290 D. GOLDSTEIN, R. GURALNICK, L. SMALL AND E. ZELMANOV Simple (quadratic) Jordan algebras of characteristic 2 were classified in [Mc- Crimmon and Zelmanov 1988]. Let T be an additive group equipped with group endomorphisms P(x) for each x in T. We assume that the map from x to P(x) is quadratic; that is, P(nx) = n 2 P(x) and the map P(x 1 + x 2 ) P(x 1 ) P(x 2 ) is bilinear in x 1 and x 2. In other words, the product P(x)y is quadratic in x and linear in y. We write {x, y, z} = P(x + z)y P(x)y P(z)y. We say that T is a Jordan triple system if it satisfies the identities (JT1) (JT2) (JT3) {z, P(x)y, y} = {z, x, P(y)x}, P(P(x)y)z = P(x)P(y)P(x)z, {P(x)z, y, x} = P(x){z, x, y} and all their linearizations (i.e., identities of lower degree coming from bilinearity: these are superfluous if we are working over a field F of at least four elements). Example 9. If R is an associative ring then the additive group of R with a product P(x)y = xyx is a Jordan triple system which we will also denote by R (+). Any Jordan triple system T gives rise to a family of Jordan rings T (a), the a- homotopes, by fixing the middle element: x y = {x, a, y}. A Jordan triple system T is called special if it is embeddable into R (+), where R is an associative ring, T R (+). If the ring R is generated by T then we say R is an associative enveloping algebra of T. An associative enveloping algebra R of T is said to be tight if T I = (0) for any nonzero ideal I of R. Let G be the ideal of the free Jordan triple system constructed in [Zelmanov 1984]. The identities from G distinguish triples of Clifford type assuming that the characteristic = 2, 3. Similar ideals for characteristics 2 and 3 were constructed in [D Amour and McCrimmon 2000]. Proposition 1.5 [Zelmanov 1984]. Let T be a simple special Jordan triple system such that G(T ) = (0). Then T is isomorphic to one of the triples R (+) ; H(R, σ ) = {a R σ (a) = a}; S(R, σ ) = {a R σ (a) = a}; H(R, σ ) S(R, τ); S(R, g), where R is a simple associative ring; σ, τ are involutions, σ τ = τσ; g is an automorphism of order 2. Moreover, the ring R is in some sense unique. Proposition 1.6 [Zelmanov 1984]. Let T 1, T 2 be simple Jordan triple systems, such that G(T i ) = (0). Let T i R i be their tight associative enveloping algebras. Then any isomorphism T 1 T 2 can be extended to an isomorphism or anti-isomorphism R 1 R 2.
7 INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS 291 Proposition 1.7 [Zelmanov 1984]. Let T be a simple special Jordan triple system such that G(T ) = (0). Then T is isomorphic to a mutation or a polarization of a Jordan triple system of a quadratic form. In particular, an arbitrary homotope T (a) is the Jordan algebra of a quadratic form. Proof of Theorem 1.1. Let T D be an inversion invariant additive subgroup that generates D. By the corollary to Hua s identity, T is a Jordan subtriple of D (+) and D is a tight associative enveloping algebra of T. If G(T ) = (0), Propositions 1.5 and 1.6 imply that T D is one of the types in Examples 1 5. Suppose now that G(T ) = (0). Choose an arbitrary nonzero element x T. Then J = x 1 T is a unital Jordan subalgebra of D (+). Indeed if a, b, T then (x 1 a)(x 1 b)+(x 1 b)(x 1 a) = x 1 (ax 1 b+bx 1 a) x 1 T = J. By Proposition 1.7, J is isomorphic to the Jordan algebra of a symmetric nondegenerate bilinear form, J = F 1 + V, where F is a subfield of D, V is an F-space; vw + wv = q(v, w)1; v, w, V and q(v, w) F. Case 1. J generates D and the dimension dim F V is either infinite or even. In this case the only associative enveloping algebra of J is the Clifford algebra C(V, q) (see [Jacobson 1968]). Hence D = C(V, q), T = x J and T D is a pair of type (i). Case 2. J generates D and the dimension dim F V is odd. Choose an orthogonal basis v 1,..., v n+1 of V. Then the element z = v 1 v n+1 lies in the center of the Clifford algebra C(V, q), where z 2 = ±q(v 1 ) q(v n+1 ) depending on whether or not n is divisible by 4. If z 2 is not the square of an element of F then C(V, q) is simple. In this case, D = C(V, q) and T D is again a pair of type (i). Suppose now that z 2 = α 2, α F. Then z = α or α in D and v n+1 Fv 1 v n. Let V = n i=1 Fv i. We have D = C(V, q), J = F 1 + V + Fv 1 v n, and T = x J D is a pair of type (ii). Case 3. The subring J of D generated by J is not equal to D and the dimension dim F V is infinite or even. Then D = D 0 + D 1, where D 0 = J, D 1 = x J is a /2 -grading. As above, D 0 = C(V, q) and the pair T D is of type (iii). Case 4. J = D and dim F V is odd. Choose an orthogonal basis v 1,..., v n+1 of V. Set V = n i=1 Fv i and z = v 1 v n+1. If z 2 is not equal to the square of an element of F then J = C(V, q) and T D is of type (i). Otherwise, v n+1 Fv 1 v n lies in D and T = x(f 1 + V + Fv 1 v n ) D 1 D is a pair of type (iv). This finishes the proof of the proposition. 2. Fields In this section, we classify the inversion invariant additive subgroups of fields. Of course this result is included in the main theorem from the previous section as long as the characteristic is not 2. We include the proof for all characteristics.
8 292 D. GOLDSTEIN, R. GURALNICK, L. SMALL AND E. ZELMANOV Let K be a field. Write k for the prime subfield of K. Let V be an inversion invariant additive subgroup of K. Since V k(v ), there is no harm in assuming that K = k(v ). If the characteristic p of the field L is positive, write L p = {x p x L} for the subfield consisting of p-th powers of elements of L. Our main result for the commutative case is: Theorem 2.1 (Commutative Theorem). Let K be a field of characteristic p 0. Let V be a nonzero subset of K that is a subgroup under addition. Let k be the prime field of K and assume that K = k(v ). Then V is closed under inversion if and only if one of the following holds: (1) p = 2 and either V = K or there is an automorphism σ of K of order 2 such that V = {x K σ (x) = x}; (2) p = 2 and V is a K 2 -module. It is straightforward to verify that the possibilities mentioned in the theorem are inversion invariant. In particular, if K has characteristic 2, then (ak 2 ) 1 = a 1 K 2 = a(a 2 K 2 ) = ak 2 and so any K 2 -submodule of K is inversion invariant. Corollary 2.2. Let K be a field of characteristic p 0. Assume that 1 V and that either p = 2 or that the field generated by V is perfect (in particular, if K is contained in the algebraic closure of the field of size 2). Then V is inversion invariant if and only if V is a subfield of K. The remainder of this section is devoted to the proof of Theorem 2.1. Lemma 2.3. Let K be a field and V an additive subgroup of K closed under inversion. Let 0 = a V. Then a 3 V and a 2 V = V. Proof. We saw in the corollary to Hua s identity that if a, b in V, then aba V. Taking b = a, we conclude that a 3 V. We also have a 2 V V. We get equality by multiplying by a 1. Let K be a field and V a nonzero additive subgroup of K closed under inversion. Let V 2 be the set of all products xy with x, y V. We have the following lemma. Lemma 2.4. Assume that p = 2. Let 0 = a V. Then (1) V 2 = V a; (2) V 2 a = V ; (3) V a 2 = V. Proof. We have already seen that a 2 V V. Thus, 2ab = (a + b) 2 a 2 b 2 also sends V back to itself for any a, b V. Since the characteristic of K is not 2, the identity v/2 = 1/(1/v + 1/v) for nonzero v shows that (1/2)V V. Hence abv 2abV V. If a = 0, then using a 1 instead of a gives V b V a.
9 INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS 293 Hence V 2 V a since b was arbitrary in V. The reverse inclusion follows from the definition of V 2. This proves (1). Taking a 1 for a gives (2), and (3) follows from (1) and (2). We now complete the proof in characteristic not 2. Theorem 2.5. Let K be a field of characteristic not 2 with V a nontrivial additive subgroup of K closed under inversion. Then (1) V 2 is a field. (2) The ring R generated by V (over ) is a field. (3) Either R = V = V 2 or [R : V 2 ] = 2. Proof. We have V 2 = V a for any nonzero a V. Fix such an a. Thus, V 2 V 2 = V av a = V V a 2 = V V = V 2. Hence V 2 is a subgroup under addition and closed under multiplication. Since it also closed under inverses, it follows that V 2 is a field. This proves (1). Let R = [V ] be the ring generated by V. Since V 2 V = V and V V = V 2, we see that R = V + V 2. Thus, R is a field (since it is algebraic over the field V 2 and is contained in the field K ). This proves (2). We have already seen that R = V + V 2 and that V and V 2 are each onedimensional modules over the field V 2. So either the sum is direct and [R : V 2 ] = 2, or R = V = V 2. This gives the main result for fields of characteristic not 2 for either V itself is a field or the ring R generated by V is a field and [R : V 2 ] = 2. We see that V = av 2 with a 2 V 2, whence V is the 1 eigenspace of a nontrivial automorphism of R/V 2. It remains to prove Theorem 2.1 in the case that the field K has characteristic 2. We have a 2 b V whenever a, b in V. It follows that V is a k[v 2 ] module. Set J = k[v 2 ]. So Ja 1 V if 0 = a V. Therefore J 1 a V since V is inversion invariant. This shows that V is in fact a module over k(v 2 ) = K 2 and completes the proof of Theorem 2.1. Also note that since V is a K 2 -module, the same is true for the ring R generated by V, whence this ring is a field. Remark 2.6. From the arguments above, it follows that if T is a nonzero additive subgroup of a division ring D that is closed under inversion and either the characteristic is not 2 or D is a field, then the ring generated by T (over ) is a division ring. References [D Amour and McCrimmon 2000] A. D Amour and K. McCrimmon, The structure of quadratic Jordan systems of Clifford type, J. Algebra 234 (2000), MR 2001k:17050 Zbl
10 294 D. GOLDSTEIN, R. GURALNICK, L. SMALL AND E. ZELMANOV [Herstein 1976] I. N. Herstein, Rings with involution, University of Chicago Press, Chicago, MR 56 #406 Zbl [Jacobson 1968] N. Jacobson, Structure and representations of Jordan algebras, AMS Colloquium Publications 39, Amer. Math. Soc., Providence, RI, MR 40 #4330 Zbl [Jacobson 1980] N. Jacobson, Basic algebra, vol. 2, Freeman, San Francisco, MR 81g:00001 Zbl [McCrimmon and Zelmanov 1988] K. McCrimmon and E. Zelmanov, The structure of strongly prime quadratic Jordan algebras, Adv. in Math. 69:2 (1988), MR 89k:17052 Zbl [Zelmanov 1984] E. I. Zelmanov, Prime Jordan triple systems, II, Sibirsk. Mat. Zh. 25:5 (1984), In Russian; translated in Siberian Math. J. 25:5 (1984), MR 87d:17022 Zbl Received January 13, DANIEL GOLDSTEIN CENTER FOR COMMUNICATIONS RESEARCH SAN DIEGO, CA UNITED STATES ROBERT M. GURALNICK DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTHERN CALIFORNIA 3620 S. VERMONT AVE. LOS ANGELES, CA UNITED STATES LANCE SMALL DEPARTMENT OF MATHEMATICS UNIVERSITY OF CALIFORNIA SAN DIEGO LA JOLLA, CA UNITED STATES EFIM ZELMANOV DEPARTMENT OF MATHEMATICS UNIVERSITY OF CALIFORNIA SAN DIEGO LA JOLLA, CA UNITED STATES
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationLIE TORI OF RANK 1 B. ALLISON, J. FAULKNER, AND Y. YOSHII
LIE TORI OF RANK 1 B. ALLISON, J. FAULKNER, AND Y. YOSHII This article is based on a talk presented by the first author at the conference on Lie and Jordan Algebras, their Representations and Applications
More informationVARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction
VARIATIONS ON THE BAER SUZUKI THEOREM ROBERT GURALNICK AND GUNTER MALLE Dedicated to Bernd Fischer on the occasion of his 75th birthday Abstract. The Baer Suzuki theorem says that if p is a prime, x is
More informationover a field F with char F 2: we define
Chapter 3 Involutions In this chapter, we define the standard involution (also called conjugation) on a quaternion algebra. In this way, we characterize division quaternion algebras as noncommutative division
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationMAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS
Illinois Journal of Mathematics Volume 49, Number 2, Summer 2005, Pages 445 452 S 009-2082 MAPS PRESERVING ZERO JORDAN PRODUCTS ON HERMITIAN OPERATORS MIKHAIL A. CHEBOTAR, WEN-FONG KE, AND PJEK-HWEE LEE
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationChapter 5. Linear Algebra
Chapter 5 Linear Algebra The exalted position held by linear algebra is based upon the subject s ubiquitous utility and ease of application. The basic theory is developed here in full generality, i.e.,
More information(6) For any finite dimensional real inner product space V there is an involutive automorphism α : C (V) C (V) such that α(v) = v for all v V.
1 Clifford algebras and Lie triple systems Section 1 Preliminaries Good general references for this section are [LM, chapter 1] and [FH, pp. 299-315]. We are especially indebted to D. Shapiro [S2] who
More informationDivision Algebras. Konrad Voelkel
Division Algebras Konrad Voelkel 2015-01-27 Contents 1 Big Picture 1 2 Algebras 2 2.1 Finite fields................................... 2 2.2 Algebraically closed fields........................... 2 2.3
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationSEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum
SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights
More informationASYMPTOTICS OF THE NUMBER OF INVOLUTIONS IN FINITE CLASSICAL GROUPS
ASYMPTOTICS OF THE NUMBER OF INVOLUTIONS IN FINITE CLASSICAL GROUPS JASON FULMAN, ROBERT GURALNICK, AND DENNIS STANTON Abstract Answering a question of Geoff Robinson, we compute the large n iting proportion
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationSPECTRAL THEORY EVAN JENKINS
SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationRING ELEMENTS AS SUMS OF UNITS
1 RING ELEMENTS AS SUMS OF UNITS CHARLES LANSKI AND ATTILA MARÓTI Abstract. In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS
ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition
More informationCartan s Criteria. Math 649, Dan Barbasch. February 26
Cartan s Criteria Math 649, 2013 Dan Barbasch February 26 Cartan s Criteria REFERENCES: Humphreys, I.2 and I.3. Definition The Cartan-Killing form of a Lie algebra is the bilinear form B(x, y) := Tr(ad
More informationRIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS
Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT
More informationJORDAN HOMOMORPHISMS AND DERIVATIONS ON SEMISIMPLE BANACH ALGEBRAS
JORDAN HOMOMORPHISMS AND DERIVATIONS ON SEMISIMPLE BANACH ALGEBRAS A. M. SINCLAIR 1. Introduction. One may construct a Jordan homomorphism from one (associative) ring into another ring by taking the sum
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationPrimitivity of finitely presented monomial algebras
Primitivity of finitely presented monomial algebras Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Dr. Burnaby, BC V5A 1S6. CANADA jpb@math.sfu.ca Pinar Pekcagliyan Department
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationFINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN
FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationSEMIFIELDS ARISING FROM IRREDUCIBLE SEMILINEAR TRANSFORMATIONS
J. Aust. Math. Soc. 85 (28), 333 339 doi:.7/s44678878888 SEMIFIELDS ARISING FROM IRREDUCIBLE SEMILINEAR TRANSFORMATIONS WILLIAM M. KANTOR and ROBERT A. LIEBLER (Received 4 February 28; accepted 7 September
More informationPolynomials of small degree evaluated on matrices
Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationA CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction
A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying
More informationHyperbolic Weyl Groups
Hyperbolic Weyl Groups Alex Feingold 1 Daniel Vallières 1,2 1 Department of Mathematical Sciences, State University of New York Binghamton, New York, 2 Mathematics and Statistics Department, University
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings
D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n
More informationLECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS
LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.
More informationA NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO
A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationBERNARD RUSSO University of California, Irvine. Report on joint work with. Antonio M. Peralta Universidad de Granada, Spain
TERNARY WEAKLY AMENABLE C*-ALGEBRAS BERNARD RUSSO University of California, Irvine Report on joint work with Antonio M. Peralta Universidad de Granada, Spain GPOTS XXXI ARIZONA STATE UNIVERSITY MAY 18,
More informationClifford algebras: the classification
Spin 2010 (jmf) 11 Lecture 2: Clifford algebras: the classification The small part of ignorance that we arrange and classify we give the name of knowledge. Ambrose Bierce In this section we will classify
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationPolynomial and Inverse Forms
Contemporary Mathematics Polynomial and Inverse Forms D. S. Passman Abstract. In a recent paper, this author studied invariant ideals in abelian group algebras under the action of certain infinite, locally
More informationNORMAL SMASH PRODUCTS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 3 1998 NORMAL SMASH PRODUCTS S. Yang and D. Wang* Abstract: Let H be a co-frobenius Hopf algebra over a field k and A a right H-comodule algebra. It is shown that
More informationΓ 1 (N) given by the W -operator W =. It would be interesting to show
Hodge structures of type (n, 0,..., 0, n) Burt Totaro Completing earlier work by Albert, Shimura found all the possible endomorphism algebras (tensored with the rationals) for complex abelian varieties
More informationSome simple modular Lie superalgebras
Some simple modular Lie superalgebras Alberto Elduque Universidad de Zaragoza Freudenthal-Tits Magic Square A supermagic rectangle A supermagic square Bouarroudj-Grozman-Leites Classification Freudenthal-Tits
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationQUADRATIC ELEMENTS IN A CENTRAL SIMPLE ALGEBRA OF DEGREE FOUR
QUADRATIC ELEMENTS IN A CENTRAL SIMPLE ALGEBRA OF DEGREE FOUR MARKUS ROST Contents Introduction 1 1. Preliminaries 2 2. Construction of quadratic elements 2 3. Existence of biquadratic subextensions 4
More informationNoncommutative invariant theory and Auslander s Theorem
Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November
More informationA classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger
Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,
More informationA NOTE ON JORDAN DERIVATIONS IN SEMIPRIME RINGS WITH INVOLUTION 1
International Mathematical Forum, 1, 2006, no. 13, 617-622 A NOTE ON JORDAN DERIVATIONS IN SEMIPRIME RINGS WITH INVOLUTION 1 Joso Vukman Department of Mathematics University of Maribor PeF, Koroška 160,
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationCourse of algebra. Introduction and Problems
Course of algebra. Introduction and Problems A.A.Kirillov Fall 2008 1 Introduction 1.1 What is Algebra? Answer: Study of algebraic operations. Algebraic operation: a map M M M. Examples: 1. Addition +,
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationA Generalization of an Algebra of Chevalley
Journal of Algebra 33, 398408 000 doi:0.006jabr.000.8434, available online at http:www.idealibrary.com on A Generalization of an Algebra of Chevalley R. D. Schafer Massachusetts Institute of Technology,
More informationCHARACTERS AS CENTRAL IDEMPOTENTS
CHARACTERS AS CENTRAL IDEMPOTENTS CİHAN BAHRAN I have recently noticed (while thinking about the skewed orthogonality business Theo has mentioned) that the irreducible characters of a finite group G are
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationEndomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006
Endomorphism rings generated using small numbers of elements arxiv:math/0508637v2 [mathra] 10 Jun 2006 Zachary Mesyan February 2, 2008 Abstract Let R be a ring, M a nonzero left R-module, and Ω an infinite
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationarxiv: v2 [math.ra] 29 May 2018
arxiv:1708.04361v2 [math.ra] 29 May 2018 A SHORT PROOF THAT THE FREE ASSOCIATIVE ALGEBRA IS HOPFIAN ALEXEI BELOV-KANEL, LOUIS ROWEN AND JIE-TAI YU Abstract. A short proof is given of the fact that for
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationOn the Tits-Kantor-Koecher Lie algebra of a von Neumann algebra
On the Tits-Kantor-Koecher Lie algebra of a von Neumann algebra AMS sectional meeting California State University, Fullerton Bernard Russo (A joint work with Cho-Ho Chu) University of California, Irvine
More informationLIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS
LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS DIETRICH BURDE Abstract. We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify
More informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationOn superalgebras. Ajda Fo²ner University of Primorska Faculty of Management Cankarjeva 5 SI-6104 Koper Slovenia
On superalgebras Ajda Fo²ner University of Primorska Faculty of Management Cankarjeva 5 SI-6104 Koper Slovenia ajda.fosner@fm-kp.si Maja Fo²ner University of Maribor Faculty of Logistics Mariborska cesta
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationThe signed random-to-top operator on tensor space (draft)
The signed random-to-top operator on tensor space (draft) Darij Grinberg October 7, 2017 1. Introduction The purpose of this note is to answer a question I asked in 2010 in [Grinbe10]. It concerns the
More informationA GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS
A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More informationANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy
ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationAzumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras
Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part
More informationWEDDERBURN S LITTLE THEOREM
WEDDERBURN S LITTLE THEOREM SHAMIL ASGARLI Abstract. The purpose of this expository paper is to present several known proofs of Wedderburn s theorem that every finite division ring is necessarily a field.
More informationGroup Theory. Ring and Module Theory
Department of Mathematics University of South Florida QUALIFYING EXAM ON ALGEBRA Saturday, May 14, 016 from 9:00 am to 1:00 noon Examiners: Brian Curtin and Dmytro Savchuk This is a three hour examination.
More information