New York Journal of Mathematics. Characterization of matrix types of ultramatricial algebras
|
|
- Samuel Parrish
- 5 years ago
- Views:
Transcription
1 New York Journal of Mathematcs New York J. Math. 11 (2005) Characterzaton of matrx types of ultramatrcal algebras Gábor Braun Abstract. For any equvalence relaton on postve ntegers such that nk mk f and only f n m, there s an abelan group G such that the endomorphsm rng of G n and G m are somorphc f and only f n m. However, G n and G m are not somorphc f n m. Contents 1. Introducton Dmenson groups Ultramatrcal algebras Equvalence of dmenson groups and ultramatrcal algebras Overvew of the constructon Notaton Abelan groups wth prescrbed endomorphsms Constructon of the dmenson group The abelan group under the dmenson group The partal order Automorphsms of dmenson groups 31 References Introducton We construct partally ordered abelan groups such that the orbt of a dstngushed element under the automorphsm group s prescrbed; the precse statement s Theorem 1.1 n Subsecton 1.1. The prescrbed orbt controls the matrx type of a rng,.e., whch matrx algebras over the rng are somorphc, hence we can characterze the matrx types of ultramatrcal algebras over any prncpal deal doman, see Theorem 1.2 n Subsecton 1.2. If the ground rng s Z then these algebras Receved October 6, 2004; revsed January 5, Mathematcs Subject Classfcaton. Prmary 20K30, 16S50; Secondary 06F20, 19A49. Key words and phrases. matrx type of a rng; dmenson group; ultramtarcal algebra; automorphsm group of a dmenson group. 21 ISSN /05
2 22 Gábor Braun are realzable as endomorphsm rngs of torson-free abelan groups, whch groups therefore have the property stated n the abstract, see Corollary 1.3. We are ndebted to Péter Vámos who draw our attenton to ths wonderful problem Dmenson groups. An order unt n a partally ordered abelan group s a postve element u such that for every element x there s a postve nteger n such that nu x. A dmenson group (D,,u) s a countable partally ordered abelan group (D, ) wth order unt u such that every fnte subset of D s contaned n a subgroup, whch s somorphc to a drect product of fntely many copes of (Z, ) as a partally ordered abelan group. Our man result, whch wll be proven from Secton 3 on, s: Theorem 1.1. Let H Q + be a subgroup of the multplcatve group of the postve ratonal numbers. Then there s a dmenson group (D,,u) whose group of order-preservng automorphsms s somorphc to H. Furthermore, under ths somorphsm every element of H acts on u by multplcaton by tself as a ratonal number. In the specal case when H s generated by a set S of prme numbers, one may choose D to be the rng Z[S 1 ] and u = 1, see [7, Proposton 4.2] Ultramatrcal algebras. An ultramatrcal algebra over a feld or prncpal deal doman F s an F -algebra whch s a unon of an upward drected countable set of F -subalgebras, whch are drect products of fntely many matrx algebras over F Matrx types of rngs. Let M n (R) denote the rng of n n matrces over the rng R. Obvously, M n (R) s ultramatrcal f R s ultramatrcal. The matrx type of a rng R s the equvalence on postve ntegers descrbng whch matrx algebras over R are somorphc: (1) mt(r) :={(n, m) M n (R) = M m (R)}. Clearly, f (n, m) mt(r) then (mk, nk) mt(r) for all postve ntegers m, n, k. The converse also holds for ultramatrcal algebras but probably not for all rngs. The next theorem states that all such equvalences ndeed arse as matrx types of ultramatrcal algebras: Theorem 1.2. Let F be a feld or prncpal deal doman and be an equvalence relaton on the set of postve ntegers. Then the followng are equvalent: () For all postve ntegers n, m and k (2) n m nk mk. () There s a (unque) subgroup H of the multplcatve group Q + ratonal numbers such that for all postve ntegers n and m: of postve (3) n m n m H. () There exsts an ultramatrcal F -algebra wth matrx type.
3 Matrx types of ultramatrcal algebras 23 The second statement s clearly a reformulaton of the frst one, whch s useful for explct constructon of equvalences, as ponted out by the referee. The equvalence of the second and thrd statements s a smple consequence of our man result, Theorem 1.1, as we wll explan n the next secton Bass types of rngs. In a smlar ven, the bass type of a rng R characterzes whch fnte rank free modules are somorphc: (4) bt(r) :={(n, m) R n = R m }. The analogue of Theorem 1.2 for bass types s Theorem 1 of [3]: every equvalence relaton wth the property n m f and only f n + k m + k s the bass type of a rng of nfnte matrces. Clearly, f R n = R m then R n+k = R m+k. All equvalence relaton wth ths property arse as bass type of a rng: see [6]. The bass type s obvously smaller than the matrx type. It seems plausble that ths s the only relaton between the two types. For example, ultramatrcal algebras have trval bass type.e., free modules of dfferent fnte rank are not somorphc. Every ultramatrcal algebra R over F = Z s a countable reduced torson-free rng, and hence s the endomorphsm rng of a torson-free abelan group G by [1, Theorem A]. Then M n (R) s the endomorphsm rng of G n. Obvously G n and G m are not somorphc f n m snce there s no nvertble n m matrx over R. Hence we have the statement n the abstract as an mmedate corollary to the last theorem: Corollary 1.3. Let be an equvalence relaton on postve ntegers wth the property that n m f and only f nk mk for all postve ntegers n, m and k. Then there s a torson-free abelan group G such that the endomorphsm rng of G n and G m are somorphc f and only f n m. Moreover, G n and G m are somorphc f and only f n = m. 2. Equvalence of dmenson groups and ultramatrcal algebras Dmenson groups and ultramatrcal algebras over a fxed feld or prncpal deal doman are essentally the same. In ths secton, we recall ths equvalence, whch shows that Theorem 1.2 follows from Theorem 1.1. For more detals and proofs see [7, Proposton 4.1] or [5, Chapter 15, Lemma 15.23, Theorems and 15.25], whch assume that the ground rng s a feld, but the arguments also work when t s a prncpal deal doman. Frst we defne the functor K 0 from the category of rngs to the category of preordered abelan groups wth a dstngushed order unt. The somorphsm classes of fntely generated projectve left modules over a rng R form a commutatve monod where the bnary operaton s the drect sum. The quotent group of the monod s denoted by K 0 (R). Declarng the somorphsm classes of projectve modules to be nonnegatve, K 0 (R) becomes a preordered group. The somorphsm class u of R, the free module of rank 1, s an order unt of K 0 (R).
4 24 Gábor Braun If f : R S s a rng homomorphsm then let K 0 (f) map the somorphsm class of a projectve module P to that of S R P. So K 0 (f) s a homomorphsm preservng both the order and the order unt. If R s an ultramatrcal algebra then K 0 (R) s a dmenson group. Conversely, every dmenson group s somorphc to the K 0 of an ultramatrcal algebra. If R and S are ultramatrcal algebras then every morphsm between K 0 (R) and K 0 (S) s of the form K 0 (f) for some algebra homomorphsm f : R S. However, f s not unque n general. Nevertheless, every somorphsm between K 0 (R) and K 0 (S) comes from an somorphsm between R and S. Thus, by restrcton, K 0 s essentally an equvalence between the category of ultramatrcal algebras over a gven feld and the category of dmenson groups wth morphsms the group homomorphsms preservng both the order and the order unt. Now we examne how the matrx type of an ultramatrcal algebra can be recovered from ts dmenson group. The standard Morta equvalence between R and M n (R) nduces an somorphsm between the K 0 groups. However, ths somorphsm does not preserve the order unt, n fact K 0 (M n (R)) s (K 0 (R),,nu) where u s the order unt of K 0 (R). So f R s an ultramatrcal algebra, then the dmenson groups K 0 (M n (R)) and K 0 (M m (R)) (and hence the algebras M n (R) and M m (R)) are somorphc f and only f there s an order-preservng automorphsm of K 0 (R) sendng nu to mu. Obvously, for any dmenson group (D,,u) whether an order-preservng automorphsm maps nu to mu, depends only on the factor m/n. Such factors m/n form a subgroup of the multplcatve group Q + of the postve ratonals. So the classfcaton of matrx types of ultramatrcal algebras s equvalent to the classfcaton of subgroups of Q + whch arse from dmenson groups n the above constructon. Theorem 1.1 states that all subgroups arse, and Theorem 1.2 s just the translaton of t to the language of matrx types of ultramatrcal algebras. 3. Overvew of the constructon In the rest of the paper we prove Theorem 1.1. In ths secton we outlne the man deas of the proof and leave the detals for the followng sectons. The next secton fxes notatons used frequently n the rest of the paper. Secton 5 recalls a constructon of abelan groups. The actual proof s contaned n the rest of the sectons, whch are organzed so that they can be read ndependently. At the begnnng of every secton, we shall refer to ts man proposton, whch wll be the only statement used n other sectons. The same s true for subsectons. To prove Theorem 1.1, we fx a subgroup H of the postve ratonals and construct a dmenson group D for t. We search for D (as an abelan group wthout any order) n the form D := Qu G where H acts on the drect sum componentwse. We let H act on Qu by multplcaton as requred to act on the order unt. A key observaton (Proposton 7.1) s that f the only automorphsms of G are the elements of H and ther negatves, then for any partal order on D, whch s preserved by H and makes (D,,u) a dmenson group, the order-preservng automorphsm group of D s only H. So(D,,u) satsfes the theorem. Therefore, all we have to do s to fnd such a G and. Actually, G s already constructed by A. L. S. Corner n [1]. Snce we shall use the structure of G to defne
5 Matrx types of ultramatrcal algebras 25 the partal order, we recall a specal case of the constructon n Secton 5, whch s enough for our purposes. See also [4] for the general statement. Fnally, we defne a partal order on D makng t a dmenson group n Subsecton 6.2. The basc dea s to explctly make some subgroups of D order-somorphc to Z n and show that these partal orders on the subgroups are compatble. Ths wll be based on a descrpton of G (Proposton 6.1): we defne elements of G, whch wll be bases of order-subgroups Z n of D and state relatons between them mplyng the compatblty of partal orders. 4. Notaton Let x h denote the element of the group rng ZH correspondng to h H. Ths s to dstngush x h a the value of x h at a from ha the element a multpled by the ratonal number h. If the automorphsm group of an abelan group s the drect product of a group H and the two element group generated by 1 then we say that the automorphsm group s ±H. 5. Abelan groups wth prescrbed endomorphsms We revse a specal case of A. L. S. Corner s constructon of abelan groups wth prescrbed endomorphsm rngs. I am grateful to Rüdger Göbel and hs group for teachng me ths method. Let ˆM denote the Z-adc completon of the abelan group M. The followng result s s a specal case of Theorem 1.1 from [2] by takng A = R and N k =0: Proposton 5.1. Let R be a rng wth free addtve group. Let B be a free R- module of rank at least 2 and {w b : b B \{0}} a collecton of elements of Ẑ algebracally ndependent over Z. Let the R-module G be (5) G := B,Rbw b : b B \{0} ˆB. Then G s a reduced abelan group wth endomorphsm rng R. Here means purfcaton:.e., we add all the elements x of ˆB to E := B b B\{0} Rbw b for whch nx E for some nonzero nteger n. The usual down-to-earth descrpton of G s the followng, whch we shall use n Subsecton 6.1: we select postve ntegers m n such that every nteger dvdes m 1...m n for n large enough. We choose elements w (n) b of Ẑ for all nonzero elements b of B and natural numbers n such that w (0) b = w b and w (n) b m n w (n+1) b s an nteger. Then G s generated by the submodules B and Rbw (n) b. Obvously, G n := B b B\{0} Rbw (n) b s a submodule of G and these modules G n form an ncreasng chan whose unon s the whole G. Remark 5.2. Note that the automorphsm group of G s the group of unts of R, whch s just ±H f R = ZH and H s an orderable group. (It s a famous conjecture that the group of unts of ZH s ±H for all torson-free groups H.) We wll be nterested n the case when H Q + and R = ZH s a group rng. The free module B wll have countable rank. Recall that there are contnuum many elements of Ẑ algebracally ndependent over Z, so the constructon works n ths case, and we wll get a reduced abelan group G wth automorphsm group ±H.
6 26 Gábor Braun 6. Constructon of the dmenson group We now construct our dmenson group D = Qu G startng from a subgroup H Q + of the postve ratonals. The man result of the secton s Proposton 6.2. The proposton n Subsecton 6.1 defnes G and summarzes the (techncal) propertes of G used n Subsecton 6.2 to put the partal order on D. Let n 2 denote the set of sequences of length n whose elements are 0 or 1. If y s a fnte sequence of 0 and 1 then let y0 denote the sequence obtaned from y by addng an addtonal element 0 to the end. Smlarly, we can defne y1. These sequences wll be dentfed wth elements of G The abelan group under the dmenson group. In ths subsecton we construct an abelan group G satsfyng the followng propertes. Essentally, G wll be the underlyng abelan group of our dmenson group. Proposton 6.1. Let H Q + be a subgroup of the multplcatve group of the postve ratonal numbers. Let R := ZH denote ts group rng. Then there exst: an R-module G, whch s also a reduced abelan group, a fnte subset F n H for all postve nteger n, postve ntegers s n, t n, k n and l n for n 0, subject to the followng condtons: () Aut G = ±H. () Structure of G: (a) G s a unon of an ncreasng sequence of free submodules G n. (b) G n has base n 2 { c (n) : =1,...,n }. () Relatons descrbng the ncluson G n G n+1 : (a) y = y0+s 2 n y1 for all y n 2. (b) There are ntegers n () h,y for all n, h H and y n 2 such that (6) c (n) s n t n c (n+1) = n () h,y x h y0, h F 0 n () h,y <s nt n. (v) Propertes of s n, t n, k n and l n : (a) k 0 =1, k n+1 = s n k n, l 0 =1, l n+1 = t n l n. (b) Every postve nteger dvdes k n and l n for n large enough. (c) k n (s 2 n n 1) l n s n t n =1 h F h. Proof. The constructon of the tems s easy. One has to take care to defne them n the correct order. Let B be a countable-rank free module over the group rng R := ZH.e., B = ZH A where A s a free abelan group of countably nfnte rank. Usng ths group we defne G by Equaton (5) as n Proposton 5.1. (The Z-adc ntegers w b can be arbtrary.) The proposton tells us that G s a reduced abelan group and Aut G = ±H so () s satsfed. We dentfy a base of A wth the fnte sequences of 0 and 1 not endng wth 0 (so wth the sequences endng wth 1 and the empty sequence). In ths base, the
7 Matrx types of ultramatrcal algebras 27 sequences of length at most n s a bass of a free subgroup A n of A and the free R-module B n = R A n. Let us enumerate the elements of B \{0} nto a sequence b 1,b 2,... such that b n B n. Every element of B can be wrtten unquely as h H x hb h where b h A and only fntely many of the b h are nonzero. We defne the support of an element of B as the fnte set [ ] (7) x h b h := {h H b h 0} (b h A). h H Let F := [b ] be the support of b. Now we are ready to defne our postve ntegers s n, t n, k n and l n. Let us mpose the followng addtonal condton on them: ( ) t n s dvsble by n, and t n dvdes s n. Now the ntegers can be defned recursvely such that (v)(a), (v)(c) and ( ) hold. These automatcally mply the truth of (v)(b). Now we dentfy the sequences of 0 and 1 wth elements of A. We have already done ths for the sequences not endng wth zero: they form a bass of A. As dctated by ()(a), we set (8) y0 :=y s 2 n y1 y n 2. (Ths s n fact a recursve defnton on the length of y snce y may also end wth zero.) Thus the sequences of fnte length are dentfed wth elements of A such that ()(a) holds and the sequences of length n form a bass of A n as can be easly seen by nducton on n. We turn to the defnton of the G n. Let us choose Z-adc ntegers w (n) for 1 n such that (9) w (0) := w b, w (n) s n t n w (n+1) Z, w (n) Ẑ. We let G n be the free submodule (10) G n := B n n =1 Rb w (n). It follows from the defnton of G (Equaton (5)) that the groups G n form an ncreasng sequence of submodules whose unon s G. The only mssng enttes are the elements c (n). We could set c (n) = b w (n) to satsfy ()(b) but ths may not be approprate for ()(b). Therefore we shall set (11) c (n) := b w (n) + b (n) b (n) B n, n for some b (n), whch wll also satsfy ()(b). For fxed, we are gong to defne the recursvely for n subject to: b (n) (A) b (n) B n. (B) [b (n) ] [b ]=F.
8 28 Gábor Braun (C) For sutable ntegers n () h,y : ( ) (12) b w (n) s n t n w (n+1) + b (n) = s n t n b (n+1) + n () h,y x h y0, h F, 0 n () h,y <s nt n. Note that the last equaton s just a reformulaton of ()(b) n terms of the b (n). Now we carry out the recursve defnton. We can start wth b () := 0. Observe that (C) determnes how to defne b (n+1) : the left-hand sde s an element of B n+1, a free abelan group wth bass x h y for h H and y a sequence of 0 and 1 of length n + 1. We dvde the coeffcent of every x h y by s n t n. The quotent gves the coeffcent of x h y n b (n+1) and the remander s a coeffcent of the bg sum on the rght. Snce the support of the left-hand sde s contaned n F by nducton, the same s true for b (n+1) and the sum on the rght-hand sde. The left-hand sde s actually contaned n B n not only B n+1. Ths means that the coeffcents of sequences of length n + 1 endng wth 1 are dvsble by s 2 n by ()(a) and hence by s n t n snce t n dvdes s n. So n the sum on the rght-hand sde, the coeffcent of sequences endng wth 1 s zero. Thus we have defned b (n+1) accordng to the requrements The partal order. In ths subsecton we defne a partal order on D whch wll make t a dmenson group. Proposton 6.2. Let H Q + be a subgroup of the multplcatve group of the postve ratonal numbers actng on Qu by multplcaton. Suppose G s a group satsfyng the condtons of Proposton 6.1. Let H act on D := Qu G componentwse. Then there s a partal order on D such that (D,,u) s a dmenson group on whch H acts by order-preservng automorphsms. The dmenson group D n the proposton satsfes all requrements of Theorem 1.1. We shall see n the next secton that the group of order-preservng automorphsms of D s exactly H. The other requrements are obvously satsfed. Proof. We defne the partal order on a larger group, the dvsble hull QD of D. For all natural number n and fnte subset F of H we defne a subgroup of D: D n,f := Z u n (13) Zx h y Zx h c (n). k n h F =1 h F We defne the partal order on QD n,f as the product order (QD n,f, ) :=(Qv n,f, ) n (14) (Qx h y, ) (Qx h c (n), ) h F =1 h F where v n,f := u ( (15) h 1 x h k n y + l n k n h F Note that u s an order unt of QD n,f. n =1 c (n) ).
9 Matrx types of ultramatrcal algebras 29 The subgroups D n,f form a drected system whose unon s the whole D. It follows that the subgroups QD n,f form a drected system whose unon s QD. We are n a poston now to reduce the proof to two lemmas stated below. The frst one states that the nclusons between the QD n,f are order-embeddngs. It follows that QD has a unque partal order whch extends the partal order of all the QD n,f. Under ths partal order u s clearly an order-unt. The partal order s preserved by H snce any h H maps QD n,f bjectvely onto QD n,hf and ths bjecton s an order-somorphsm of the two subgroups. (Note that x h v n,f = hv n,hf.) The second lemma clams that a cofnal set of the D n,f s order-somorphc to a drect product of fntely many copes of (Z, ), and thus (D,,u) have all the propertes clamed. All n all, the proposton s proved modulo the followng two lemmas. Lemma 6.3. The nclusons between the subgroups QD n,f are order-embeddngs. Lemma 6.4. A cofnal set of the groups D n,f s order-somorphc to a fnte drect power of (Z, ). We consder frst the nclusons. Proof of Lemma 6.3. We clam t s enough to prove that QD n,f s an ordersubgroup of QD n+1,f f F contans F and FF for n. Because t wll follow by nducton on m n that for every n and F and m>nthere s a fnte subset S of H such that QD n,f s an order-subgroup of QD m,f f F contans S. Hence, f QD n,f s a subgroup of QD k,c then both are order-subgroups of QD m,f for sutable m and F, hence QD n,f must be an order-subgroup of QD k,c. Now we prove the clam that QD n,f s an order-subgroup of QD n+1,f f F contans F and FF for all n. For ths, t s good to have the followng general example of an order-embeddng of (Q, ) m nto (Q, ) m+k gven by a matrx: > > 0 0 (16) > On the frst m coordnates ths s an order-somorphsm: every coordnate s multpled by a postve number. On the last k coordnates the map s an arbtrary order-preservng map. By permutatng the coordnates, we may complcate the map. All n all, we see that a homomorphsm (Q, ) m (Q, ) M s an order-embeddng f the canoncal bass elements of the doman have only nonnegatve coordnates n the codoman and every bass element has a postve coordnate, whch coordnate s zero for the other bass elements. We show that the ncluson of QD n,f nto QD n+1,f s an order-embeddng of the above type usng the drect product decomposton (14). To ths end, we express the generators of QD n,f as lnear combnaton of the generators of QD n+1,f (whch
10 30 Gábor Braun n partcular shows that QD n,f s really a subgroup of QD n+1,f ): (17) x h y = x h y0+s 2 nx h y1 y n 2,h F (18) (19) x h c (n) = s n t n x h c (n+1) + n () t,yx ht y0 t F v n,f = s n v n+1,f + h F s n l n+1 h 1 x h c (n+1) n h F h F, n t F, k n (s 2 n 1)h 1 x h y0+ l n n () t,yh 1 x ht y0. h F \F n h F \F y n+1 2 n, h F s n l n+1 h 1 x h c (n+1) k n s 2 nh 1 x h y These are easy consequences of the formulas under () of Proposton 6.1 and the defnton (15) of v n,f. All the coordnates of the above generators are obvously nonnegatve except for the coeffcent of x h y0ofv n,f for y n 2 and h F. So let us consder the coeffcent of h 1 x h y0 n Equaton (19): from the second row comes k n (s 2 n 1) or k n s 2 n dependng on whether h s contaned n F. From the last row l n n () t,yt comes for all t F and n for whch ht 1 les n F. All n all, the coeffcent s at least (20) k n (s 2 n 1) t F, n l n n () t,yt k n (s 2 n 1) t F, n l n s n t n t 0 by (v)(c) from Proposton 6.1. Now we check that each of the above generators of QD n,f has a postve coordnate n QD n+1,f whch coordnate s zero for the other generators. Ths coordnate s x h y1 for x h y where h F and y n 2; t s x h c (n+1) n; fnally, t s v n+1,f for v n,f. for x h c (n) where h F and Thus we have proved that the nclusons between the QD n,f are order-embeddngs. Now we return to our second lemma, namely that a cofnal subset of the D n,f are order-somorphc to a fnte power of Z. Proof of Lemma 6.4. If n s a natural number and F s a fnte subset of H such that for all h H the ratonal numbers k n h 1 and l n h 1 are actually ntegers then the coeffcents of the x h y n (15) are ntegers and hence (21) (D n,f, ) :=(Zv n,f, ) h F (Zx h y, ) n =1 h F (Zx h c (n), ). We show that such D n,f form a cofnal system.e., every D n,f s contaned n a D m,f whch has the above property. Ths s easy once we know that D n,f s contaned n D m,f f m n and F contans F and FF for n. Ths last statement follows form the fact that x h c (n) s contaned n D m,f f m n and h and hf are contaned n F. Ths fact can be proved by nducton on m n: the
11 Matrx types of ultramatrcal algebras 31 case m = n s obvous because h F.Ifm>nthen x h c (n+1) s contaned n D m,f by nducton and x h (c (n) s n t n c (n+1) ) s also contaned n D m,f by Equaton (6) snce hf s contaned n F. 7. Automorphsms of dmenson groups In ths secton we prove that H s the full group of order-preservng automorphsms of D constructed n Proposton 6.2, whch fnshes the proof of our man theorem. Ths s a specal case of the followng proposton, whch we are gong to prove n ths secton. Note that D/Qu = G has the requred automorphsm group. Proposton 7.1. Let (D,,u) be a dmenson group of rank at least 3 on whch a group H acts by order-preservng automorphsms (the order unt need not be preserved). Let us suppose that the maxmal dvsble subgroup of D s Qu. Furthermore, let us assume that (22) Aut(D/Qu) =±H = Z/2Z( 1) H,.e., the automorphsms of D/Qu are those nduced by H and ther negatves. Then Aut(D, ) =H. In other words, all the order-preservng automorphsms of D are those comng from H. We base our proof on the comparson of multples of u wth elements of D. Ths can be descrbed by some ratonal numbers: Defnton 7.2. Let (D,,u) be a dmenson group. Then for every element d of D we denote by r(d) the least ratonal number q such that qu d. Smlarly, let l(d) denote the greatest ratonal number q wth the property qu d. In other words, for all ratonal numbers q: (23) qu d q r(d), (24) qu d q l(d). We collect the man (and mostly obvous) propertes of the functons r and l n the followng lemma: Lemma 7.3. Let (D,,u) be a dmenson group and d and element of t. Then the followng hold: (a) The numbers r(d) and l(d) exst. (b) We have l(d) =r(d) =0f and only f d =0. (c) r( d) = l(d) and l( d) = r(d). (d) For all ratonal numbers s, (25) r(d + su) = r(d)+s, (26) l(d + su) = l(d)+s. (e) If Φ s an order-preservng automorphsm of D and Φ(u) = qu then (27) l(φ(d)) = ql(d), (28) r(φ(d)) = qr(d). (f) If D has rank at least 3, the functon d l(d)+r(d) from D to the addtve group of ratonal numbers s not addtve. (It s addtve f the rank of D s at most 2.)
12 32 Gábor Braun Proof. To prove the exstence of l(d) and r(d), we may restrct ourselves to an order-subgroup (Z, ) k contanng d and u. Such a subgroup exsts by the defnton of dmenson group. Clearly, u =(n 1,...,n k ) remans an order unt n the subgroup.e., ts coordnates n are postve. For every element (m 1,...,m k )of(z, ) k the functons r and l are clearly well-defned and have the values (29) (30) r(m 1,...,m k ) = max 1 k l(m 1,...,m k ) = mn 1 k m, n m. n These formulas also show that r(d) =l(d) = 0 f and only f d =0. IfD has rank at least 3 then there s an order-subgroup (Z, ) k of D contanng u wth k 3. We can deduce from the above formulas that r + l s not addtve even when restrcted to such a subgroup. For example, for the elements e whose th coordnate s 1 and all the other coordnates 0, we have r(e 1 )=r(e 2 )=r(e 1 + e 2 )=1andl(e 1 )= l(e 2 )=l(e 1 + e 2 ) = 0, and so r(e 1 + e 2 )+l(e 1 + e 2 ) r(e 1 )+l(e 1 )+r(e 2 )+l(e 2 ). The remanng tems (c), (d) and (e) are obvous. Now we start provng the proposton. Frst we splt the order-preservng automorphsm group of D. Lemma 7.4. Wth the hypothess of Proposton 7.1, let Γ: Aut(D, ) Aut(D/Qu) be the canoncal map,.e., Γ(f) s the automorphsm nduced by f on the quotent. Then there s a semdrect product (31) Aut(D, ) =Γ 1 (Z/2Z) H, where Z/2Z s generated by 1. Proof. Note that Qu s nvarant under automorphsms snce t s the largest dvsble subgroup so Γ s well-defned. Note that the composton (32) H Aut(D, ) Γ Aut(D/Qu) =Z/2Z H H s the dentty, whch mples the clamed decomposton as a semdrect product. Here the frst arrow s the ncluson of H gven by the H-acton on D and the last arrow s projecton onto the second coordnate. Now we show that the frst term of the semdrect product s trval, whch fnshes the proof. To ths end, we choose an order-preservng automorphsm Φ Γ 1 (Z/2Z) and show that t s the dentty. By the choce of Φ, there s a number ε = ±1 such that the mage of Φ ε s contaned n Qu. Moreover, snce Qu s nvarant there s a postve ratonal number q such that Φ(u) = qu. Our frst task s to show that q = 1. Therefore we select a nonzero element d n the kernel of Φ ε. Snce Φ ε maps to a 1-rank group Qu and the rank of D s greater than 1, such an element d exsts. Now we use Lemma 7.3 (e). If ε =1, we obtan r(d) =qr(d) and l(d) =ql(d) and thus q = 1 snce r(d) and l(d) are not both zero. If ε = 1 then r(d) = ql(d) and l(d) = qr(d). Agan, snce at least one of r(d) and l(d) s not zero and q s postve, q must be 1.
13 Matrx types of ultramatrcal algebras 33 So far we know that Φ(u) =u. Let d be an arbtrary element of D. Then there s a ratonal number s dependng on d such that Φ(d) =εd + su. Our next task s to determne s. We apply Lemma 7.3 agan, but ths tme tem (d) of t. If ε = 1 then r(d) = r(d)+s and l(d) =l(d)+s. We conclude that s = 0 for all d. In other words, Φ s the dentty. If ε = 1 then we have r(d) = s l(d) and l(d) = s r(d). Thus s = r(d)+l(d) for all d, whch means that Φ(d) =d (r(d)+l(d))u. Sor + l s an addtve functon contradctng Lemma 7.3 (f). Hence we have proved that Φ = 1 and ths fnshes the proof. References [1] A. L. S. Corner, Every countable reduced torson-free rng s an endomorphsm rng, Proc. London Math. Soc. (3) 13 (1963), , MR (27 #3704), Zbl [2] A. L. S. Corner, Endomorphsm rngs of torson-free abelan groups, Proc. Int. Conf. Theory Groups, Canberra 1965, 59-69, 1967, Zbl [3] A. L. S. Corner, Addtve categores and a theorem of W. G. Leavtt, Bull. Amer. Math. Soc. 75 (1969), MR (39 #263), Zbl [4] Rüdger Göbel and Jan Trlfaj, Endomorphsm algebras and approxmatons of modules, Walter de Gruyter Verlag, Berln, to appear, [5] K. R. Goodearl, Von Neumann regular rngs, second ed., Robert E. Kreger Publshng Co. Inc., Malabar, FL, 1991, MR (93m:16006), Zbl [6] W. G. Leavtt, The module type of a rng, Trans. Amer. Math. Soc. 103 (1962), , MR (24 #A2600), Zbl [7] Percarlo Mers and Peter Vámos, On rngs whose Morta class s represented by matrx rngs, J. Pure Appl. Algebra 126 (1998), no. 1-3, , MR (99f:16008), Zbl Alfréd Rény Insttute of Mathematcs, Hungaran Academy of Scences, Budapest, Reáltanoda u 13 15, 1053, Hungary braung@reny.hu Ths paper s avalable va
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationMath 594. Solutions 1
Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationKuroda s class number relation
ACTA ARITMETICA XXXV (1979) Kurodas class number relaton by C. D. WALTER (Dubln) Kurodas class number relaton [5] may be derved easly from that of Brauer [2] by elmnatng a certan module of unts, but the
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More information28 Finitely Generated Abelian Groups
8 Fntely Generated Abelan Groups In ths last paragraph of Chapter, we determne the structure of fntely generated abelan groups A complete classfcaton of such groups s gven Complete classfcaton theorems
More informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationConvexity preserving interpolation by splines of arbitrary degree
Computer Scence Journal of Moldova, vol.18, no.1(52), 2010 Convexty preservng nterpolaton by splnes of arbtrary degree Igor Verlan Abstract In the present paper an algorthm of C 2 nterpolaton of dscrete
More informationHOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem
HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS CORRADO DE CONCINI Abstract. In ths lecture I shall report on some jont work wth Proces, Reshetkhn and Rosso [1]. 1. Recollectons and the problem
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
More informationSemilattices of Rectangular Bands and Groups of Order Two.
1 Semlattces of Rectangular Bs Groups of Order Two R A R Monzo Abstract We prove that a semgroup S s a semlattce of rectangular bs groups of order two f only f t satsfes the dentty y y, y y, y S 1 Introducton
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
More informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationA Note on \Modules, Comodules, and Cotensor Products over Frobenius Algebras"
Chn. Ann. Math. 27B(4), 2006, 419{424 DOI: 10.1007/s11401-005-0025-z Chnese Annals of Mathematcs, Seres B c The Edtoral Oce of CAM and Sprnger-Verlag Berln Hedelberg 2006 A Note on \Modules, Comodules,
More informationMAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
More informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
More informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More informationThe Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More informationNOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules
NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules EVAN WILSON Quantum groups Consder the Le algebra sl(n), whch s the Le algebra over C of n n trace matrces together wth the commutator
More informationINVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS
INVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS HIROAKI ISHIDA Abstract We show that any (C ) n -nvarant stably complex structure on a topologcal torc manfold of dmenson 2n s ntegrable
More informationCharacter Degrees of Extensions of PSL 2 (q) and SL 2 (q)
Character Degrees of Extensons of PSL (q) and SL (q) Donald L. Whte Department of Mathematcal Scences Kent State Unversty, Kent, Oho 444 E-mal: whte@math.kent.edu July 7, 01 Abstract Denote by S the projectve
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introducton to Cluster Algebra Ivan C.H. Ip Updated: Ma 7, 2017 3 Defnton and Examples of Cluster algebra 3.1 Quvers We frst revst the noton of a quver. Defnton 3.1. A quver s a fnte orented
More informationPOL VAN HOFTEN (NOTES BY JAMES NEWTON)
INTEGRAL P -ADIC HODGE THEORY, TALK 2 (PERFECTOID RINGS, A nf AND THE PRO-ÉTALE SITE) POL VAN HOFTEN (NOTES BY JAMES NEWTON) 1. Wtt vectors, A nf and ntegral perfectod rngs The frst part of the talk wll
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More informationDIFFERENTIAL SCHEMES
DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let
More informationPacific Journal of Mathematics
Pacfc Journal of Mathematcs IRREDUCIBLE REPRESENTATIONS FOR THE ABELIAN EXTENSION OF THE LIE ALGEBRA OF DIFFEOMORPHISMS OF TORI IN DIMENSIONS GREATER THAN CUIPO JIANG AND QIFEN JIANG Volume 23 No. May
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More informationOn the partial orthogonality of faithful characters. Gregory M. Constantine 1,2
On the partal orthogonalty of fathful characters by Gregory M. Constantne 1,2 ABSTRACT For conjugacy classes C and D we obtan an expresson for χ(c) χ(d), where the sum extends only over the fathful rreducble
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationk(k 1)(k 2)(p 2) 6(p d.
BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
More informationInternational Journal of Algebra, Vol. 8, 2014, no. 5, HIKARI Ltd,
Internatonal Journal of Algebra, Vol. 8, 2014, no. 5, 229-238 HIKARI Ltd, www.m-hkar.com http://dx.do.org/10.12988/ja.2014.4212 On P-Duo odules Inaam ohammed Al Had Department of athematcs College of Educaton
More informationSelf-complementing permutations of k-uniform hypergraphs
Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty
More informationOn functors between module categories for associative algebras and for N-graded vertex algebras
On functors between module categores for assocatve algebras and for N-graded vertex algebras Y-Zh Huang and Jnwe Yang Abstract We prove that the weak assocatvty for modules for vertex algebras are equvalent
More informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
More informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
More informationIntroductory Cardinality Theory Alan Kaylor Cline
Introductory Cardnalty Theory lan Kaylor Clne lthough by name the theory of set cardnalty may seem to be an offshoot of combnatorcs, the central nterest s actually nfnte sets. Combnatorcs deals wth fnte
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationAffine and Riemannian Connections
Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #25 12/05/2013
18.782 Introducton to Arthmetc Geometry Fall 2013 Lecture #25 12/05/2013 25.1 Overvew of Mordell s theorem In the last lecture we proved that the torson subgroup of the ratonal ponts on an ellptc curve
More informationGoogle PageRank with Stochastic Matrix
Google PageRank wth Stochastc Matrx Md. Sharq, Puranjt Sanyal, Samk Mtra (M.Sc. Applcatons of Mathematcs) Dscrete Tme Markov Chan Let S be a countable set (usually S s a subset of Z or Z d or R or R d
More informationReport on Image warping
Report on Image warpng Xuan Ne, Dec. 20, 2004 Ths document summarzed the algorthms of our mage warpng soluton for further study, and there s a detaled descrpton about the mplementaton of these algorthms.
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationBallot Paths Avoiding Depth Zero Patterns
Ballot Paths Avodng Depth Zero Patterns Henrch Nederhausen and Shaun Sullvan Florda Atlantc Unversty, Boca Raton, Florda nederha@fauedu, ssull21@fauedu 1 Introducton In a paper by Sapounaks, Tasoulas,
More informationON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION
Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More information7. Products and matrix elements
7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationLinear Algebra and its Applications
Lnear Algebra and ts Applcatons 4 (00) 5 56 Contents lsts avalable at ScenceDrect Lnear Algebra and ts Applcatons journal homepage: wwwelsevercom/locate/laa Notes on Hlbert and Cauchy matrces Mroslav Fedler
More informationExercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
More informationTHE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS.
THE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS FABRICE KRIEGER Abstract In ths note we prove a convergence theorem for nvarant subaddtve functons defned on the fnte subsets of a dscrete amenable
More information