An application of non-associative Composition-Diamond lemma
|
|
- Clare Gardner
- 6 years ago
- Views:
Transcription
1 An applcaton of non-assocatve Composton-Damond lemma arxv: v1 [math.ra] 6 Apr 2008 Yuqun Chen and Yu L School of Mathematcal Scences, South Chna Normal Unversty Guangzhou , P. R. Chna Emal: yqchen@scnu.edu.cn LYu820615@126.com Abstract: In ths paper, by usng Gröbner Shrshov bases for non-assocatve algebras nvented by A. I. Shrshov n 1962, we show I. P. Shestakov s result that any Akvs algebra can be embedded nto ts unversal envelopng algebra. Key words: non-assocatve algebra; Akvs algebra; unversal envelopng algebra; Gröbner-Shrshov bass. AMS 2000 Subject Classfcaton: 17A01, 16S15, 13P10 1 Introducton A. G. Kurosh [11] ntated to study free non-assocatve algebras over a feld provng that any subalgebra of a free non-assocatve algebra s free. Hs student, A. I. Zhukov, proved n [20] that the word problem s algorthmcally decdable n the class of nonassocatve algebras. Namely, he proved that word problem s decdable for any fntely presented non-assocatve algebra. A. I. Shrshov, also a student of Kurosh, proved n [15], 1953, that any subalgebra of a free Le algebra s free. Ths theorem s now known as the Shrshov-Wtt theorem (see, for example, [12]) for t was proved also by E. Wtt [19]. Some later, Shrshov [16] gave a drect constructon of a free (ant-) commutatve algebra and proved that any subalgebra of such an algebra s agan free (ant-) commutatve algebra. Almost ten years later, Shrshov came back to, we may say, the Kurosh programme, and publshed two papers [17] and [18]. In the former, he gave a conceptual proof that the word problem s decdable n the class of (ant-) commutatve non-assocatve algebras. Namely, he created the theory that s now known as Gröbner Shrshov bases theory for (ant-) commutatve non-assocatve algebras. In the latter, he dd the same for Le algebras (explctly) and assocatve algebras (mplctly). Ther man applcatons were the decdablty of the word problem for any one-relater Le algebra, the Frehetsatz (the Freeness theorem) for Le algebras, and the algorthm for decdablty of the word problem for any fntely presented homogeneous Le algebra. The same algorthm s vald for any fntely presented homogeneous assocatve algebra as well. Shrshov s man techncal Supported by the NNSF of Chna (No ) and the NSF of Guangdong Provnce (No ). 1
2 dscovery of [18] was the noton of composton of two Le polynomals and mplctly two assocatve polynomals. Based on t, he gave the algorthm to construct the Gröbner Shrshov bass for any deal of a free Le algebra. The same algorthm s vald n the assocatve case. Ths algorthm s n general nfnte as well as, for example, Knuth- Bendx algorthm [10]. Shrshov proved that f a Gröbner Shrshov bass of an deal s recursve, then the word problem for the quotent algebra s decdable. It follows from Shrshov s Composton-Damond lemma that t s vald for free non-assocatve, free (ant- ) commutatve, free Le and free assocatve algebras (see [17] and [18]). Explctly the assocatve case was treated n the papers by L. A. Bokut [3] and G. Bergman [2]. Independently, B. Buchberger n hs thess (1965) (see [7]) created the Gröbner bases theory for the classcal case of commutatve assocatve algebras. Also, H. Hronaka n hs famous paper [9] dd the same for (formal or convergent) nfnte seres rather than polynomals. He called hs bases as the standard bases. Ths term s used untl now as a synonym of Gröbner (n commutatve case) or Gröbner-Shrshov (n non-assocatve and non-commutatve cases) bases. There are a lot of sources of the hstory of Gröbner and Gröbner Shrshov bases theory (see, for example, [8], [4], [5], [6]). In the present paper we are dealng wth the Composton-Damond lemma for a free non-assocatve algebra, callng t as non-assocatve Composton-Damond lemma. Shrshov mentoned t n [17] that all hs results are vald for the case of free non-assocatve algebras rather than free (ant-) commutatve algebras. For completeness, we prove ths lemma n Secton 2 n ths paper. Then we apply ths lemma to the unversal envelopng algebra of an Akvs algebra gvng an another proof of I. P. Shestakov s result that any Akvs algebra s lnear (see [13]). An Akvs algebra s a vector space V over a feld k endowed wth a skew-symmetrc blnear product [x, y] and a trlnear product (x,y,z) that satsfy the dentty [[x, y], z] + [[y, z], x] + [[z, x], y] = (x, y, z) + (z, x, y) + (y, z, x) (x, z, y) (y, x, z) (z, y, x). These algebras were ntroduced n 1976 by M. A. Akvs [1] as tangent algebras of local analtc loops. For any (non-assocatve) algebra B one may obtan an Akvs algebra Ak(B) by consderng n B the usual commutator [x, y] = xy yx and assocator (x, y, z) = (xy)z x(yz). Let {e } I be a bass of an Akvs algebra A. Then the nonassocatve algebra U(A) = M({e } I e e j e j e = [e, e j ], (e e j )e k e (e j e k ) = (e, e j, e k ),, j, k I) gven by the generators and relatons s the unversal envelopng algebra of A, where [e, e j ] = m αm j e m, (e, e j, e k ) = n βn jk e n and each αj m, βn jk k. The lnearty of A means that A s a subspace of U(A) (see [13]). Remark also that any subalgebra of a free Akvs algebra s agan free (see [14]). 2 Composton-Damond lemma for non-assocatve algebras Let X = {x I} be a set, X the set of all assocatve words u n X, and X the set of all non-assocatve words (u) n X. Let k be a feld and M(X) be a k-space spanned by X. We defne the product of non-assocatve words by the followng way: (u)(v) = ((u)(v)). 2
3 Then M(X) s a free non-assocatve algebra generated by X. Let I be a lnearly ordered set. We order X by the nducton on the length ((u)(v)) of the words (u) and (v) n X : () If ((u)(v)) = 2, then (u) = x > (v) = x j ff > j. () If ((u)(v)) > 2, then (u) > (v) ff one of the followng cases holds: (a) (u) > (v). (b) If (u) = (v) and (u) = ((u 1 )(u 2 )), (v) = ((v 1 )(v 2 )), then (u 1 ) > (v 1 ) or ((u 1 ) = (v 1 ) and (u 2 ) > (v 2 )). It s easy to check that the order < on X s a monomal order n the followng sense: (a) < s a well order. (b) (u) > (v) = (u)(w) > (v)(w) and (w)(u) > (w)(v) for any (w) X. Such an order s called deg-lex (degree-lexcographcal) order and we use ths order throughout ths paper. Gven a polynomal f M(X), t has the leadng word ( f) X accordng to the deg-lex order on X such that f = α(f) + α (u ), where (f) > (u ), α, α k, (u ) X. We call (f) the leadng term of f. f s called monc f α = 1. Defnton 2.1 Let S M(X) be a set of monc polynomals, s S and (u) X. We defne S-word (u) s by nducton: () (s) s = s s an S-word of S-length 1. () If (u) s s an S-word of S-length k and (v) s a non-assocatve word of length l, then are S-words of length k + l. (u) s (v) and (v)(u) s The S-length of an S-word (u) s wll be denoted by u s. Note that (asb) = (a sb) f (u) s = (asb), where a, b X. Let f, g be monc polynomals n M(X). Suppose that there exst a, b X such that ( f) = (a(ḡ)b). Then we set (w) = ( f) and defne the composton of ncluson (f, g) (w) = f (agb). It s clear that (f, g) (w) Id(f, g) and (f, g) (w) < (w). 3
4 Gven a nonempty subset S M(X), we shall say that the composton (f, g) (w) s trval modulo (S, (w)), f (f, g) (w) = α (a s b ), where each α k, a, b X, s S, (a s b ) an S-word and (a ( s )b ) < (w). If ths s the case, then we wrte (f, g) (w) 0 mod(s, (w)). In general, for p, q M(X), we wrte p q mod(s, (w)) whch means that p q = α (a s b ), where each α k, a, b X, s S, (a s b ) an S-word and (a ( s )b ) < (w). Defnton 2.2 Let S M(X) be a nonempty set of monc polynomals and the order < as before. Then S s called a Gröbner-Shrshov bass n M(X), f any composton (f, g) (w) wth f, g S s trval modulo (S, (w)),.e., (f, g) (w) 0 mod(s, (w)). Lemma 2.3 Let (a 1 s 1 b 1 ), (a 2 s 2 b 2 ) be S-words. If S s a Gröbner-Shrshov bass n M(X) and (w) = (a 1 (s 1 )b 1 ) = (a 2 (s 2 )b 2 ), then (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) mod(s, (w)). Proof. We have a 1 s 1 b 1 = a 2 s 2 b 2 as assocatve words n the alphabet X { s 1, s 2 }. There are two cases to consder. Case 1. Suppose that subwords s 1 and s 2 of w are dsjont, say, a 2 a 1 + s 1. Then, we can assume that a 2 = a 1 s 1 c and b 1 = c s 2 b 2 for some c X, and so, w = (a 1 ( s 1 )c( s 2 )b 2 ). Now, (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) = (a 1 s 1 c( s 2 )b 2 ) (a 1 ( s 1 )cs 2 b 2 ) = (a 1 s 1 c(( s 2 ) s 2 )b 2 ) + (a 1 (s 1 ( s 1 ))cs 2 b 2 ). Snce ((s 2 ) s 2 ) < ( s 2 ) and (s 1 (s 1 )) < ( s 1 ), we conclude that (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) = α (u s 1 v ) + j β j (u j s 2 v j ) for some α, β j k, S-words (u s 1 v ) and (u j s 2 v j ) such that (u ( s 1 )v ), (u j ( s 2 )v j ) < (w). Thus, (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) mod(s, (w)). Case 2. Suppose that the subword s 1 of w contans s 2 as a subword. We assume that ( s 1 ) = (a( s 2 )b), a 2 = a 1 a and b 2 = bb 1, that s, (w) = (a 1 a( s 2 )bb 1 ) for some S-word (as 2 b). We have (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) = (a 1 s 1 b 1 ) (a 1 (as 2 b)b 1 ) = (a 1 (s 1 (as 2 b))b 1 ) = (a 1 (s 1, s 2 ) (w1 )b 1 ), 4
5 where (w 1 ) = (s 1 ) = (a( s 2 )b). Snce S s a Gröbner-Shrshov bass, (s 1, s 2 ) (w1 ) = α (c s d ) for some α k, S-words (c s d ) wth each (c ( s )d ) < (w 1 ) = ( s 1 ). Then, (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) = (a 1 (s 1, s 2 ) (w1 )b 1 ) = α (a 1 (c s d )b 1 ) = β j (a j s j b j ) j for some β j k, S-words (a j s j b j ) wth each (a j ( s j )b j ) < (w) = (a 1 ( s 1 )b 1 ). Thus, (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) mod(s, (w)). Lemma 2.4 Let S M(X) be a subset of monc polynomals and Red(S) = {(u) X (u) (a( s)b), a, b X, s S and (asb) s an S-word}. Then for any f M(X), f = α (u ) + β j (a j s j b j ), (u ) ( f) (a j (s j )b j ) ( f) where each α, β j k, (u ) Red(S) and (a j s j b j ) an S-word. Proof. Let f = α (u ) M(X), where 0 α k and (u 1 ) > (u 2 ) >. If (u 1 ) Red(S), then let f 1 = f α 1 (u 1 ). If (u 1 ) Red(S), then there exst some s S and a 1, b 1 X, such that ( f) = (u 1 ) = (a 1 ( s 1 )b 1 ). Let f 1 = f α 1 (a 1 s 1 b 1 ). In both cases, we have ( f 1 ) < ( f). Then the result follows from the nducton on ( f). The proof of the followng theorem s analogous to one n Shrshov [17]. For convenence, we gve the detals. Theorem 2.5 (Shrshov, Composton-Damond for non-assocatve algebras) Let S M(X) be a nonempty set of monc polynomals and the order < on X as before. Then the followng statements are equvalent. () S s a Gröbner-Shrshov bass. () f Id(S) ( f) = (a( s)b) for some s S and a, b X, where (asb) s an S-word. () f Id(S) f = α 1 (a 1 s 1 b 1 ) + α 2 (a 2 s 2 b 2 ) +, where α k, (a 1 (s 1 )b 1 ) > (a 2 (s 2 )b 2 ) > and (a s b ) S-words. () Red(S) = {(u) X (u) (a( s)b) a, b X, s S and (asb) s an S-word} s a bass of the algebra M(X S). Proof. () (). have Let S be a Gröbner-Shrshov bass and 0 f Id(S). Then, we f = n α (a s b ), where each α k, a, b X, s S and (a s b ) an S-word. Let =1 (w ) = (a (s )b ), (w 1 ) = (w 2 ) = = (w l ) > (w l+1 ) 5
6 We wll use the nducton on l and (w 1 ) to prove that (f) = (a(s)b) for some s S and a, b X. If l = 1, then (f) = (a 1 s 1 b 1 ) = (a 1 (s 1 )b 1 ) and hence the result holds. Assume that l 2. Then, by Lemma 2.3, we have (a 1 s 1 b 1 ) (a 2 s 2 b 2 ) mod(s, (w 1 )). Thus, f α 1 + α 2 0 or l > 2, then the result holds. For the case α 1 + α 2 = 0 and l = 2, we use the nducton on (w 1 ). Now, the result follows. () (). Assume () and 0 f Id(S). Let f = α 1 (f) +. Then, by (), (f) = (a 1 (s 1 )b 1 ). Therefore, f 1 = f α 1 (a 1 s 1 b 1 ), (f 1 ) < (f), f 1 Id(S). Now, by usng nducton on (f), we have (). () (). Ths part s clear. () (). Suppose that α (u ) = 0 n M(X S), where α k, (u ) Red(S). It means that α (u ) Id(S) n M(X). Then all α must be equal to zero. Otherwse, α (u ) = (u j ) Red(S) for some j whch contradcts (). Now, for any f M(X), by Lemma 2.4, we have f = α (u ) + So, () follows. (u ) Red(S), (u ) ( f) (a j (s j )b j ) ( f) () (). For any f, g S, by Lemma 2.4, we have (f, g) (w) = α (u ) + (u ) Red(S), (u )<(w) Snce (f, g) (w) Id(S) and by (), we have (f, g) (w) = (a j (s j )b j )<(w) (a j (s j )b j )<(w) β j (a j s j b j ). β j (a j s j b j ). β j (a j s j b j ). Therefore, S s a Gröbner-Shrshov bass. 3 Gröbner-Shrshov bass for unversal envelopng algebra of an Akvs algebra In ths secton, we obtan a Gröbner-Shrshov bass for unversal envelopng algebra of an Akvs algebra. 6
7 Theorem 3.1 Let (A, +, [, ], (,, )) be an Akvs algebra wth a lnearly ordered bass {e I}. Let [e, e j ] = m α m j e m, (e, e j, e k ) = n β n jk e n, where α m j, βn jk k. We denote m Let α m j e m and n β n jk e n by {e e j } and {e e j e k }, respectvely. U(A) = M({e } I e e j e j e = {e e j }, (e e j )e k e (e j e k ) = {e e j e k },, j, k I) be the unversal envelopng algebra of A. Let S = {f j = e e j e j e {e e j } ( > j), g jk = (e e j )e k e (e j e k ) {e e j e k } (, j, k I), h jk = e (e j e k ) e j (e e k ) {e e j }e k {e j e e k } + {e e j e k } ( > j, k j)}. Then () S s a Gröbner-Shrshov bass for U(A). () A can be embedded nto the unversal envelopng algebra U(A). Proof. (). It s easy to check that f j = e e j ( > j), g jk = (e e j )e k (, j, k I), h jk = e (e j e k ) ( > j, k j). So, we have only two knds of compostons to consder: (g jk, f j ) (e e j )e k ( > j, j k) and (g jk, f j ) (e e j )e k ( > j > k). For (g jk, f j ) (e e j )e k, ( > j, j k), we have (g jk, f j ) (e e j )e k =(e j e )e k e (e j e k ) + {e e j }e k {e e j e k } e (e j e k ) + e j (e e k ) + {e e j }e k + {e j e e k } {e e j e k } 0. For (g jk, f j ) (e e j )e k, ( > j > k), by notng that, n A, [[e, e j ], e k ] + [[e j, e k ], e ] + [[e k, e ], e j ] =(e, e j, e k ) + (e k, e, e j ) + (e j, e k, e ) (e, e k, e j ) (e j, e, e k ) (e k, e j, e ), 7
8 we have (g jk, f j ) (e e j )e k =(e j e )e k e (e j e k ) + {e e j }e k {e e j e k } e (e j e k ) + e j (e e k ) + {e e j }e k + {e j e e k } {e e j e k } e (e k e j ) e {e j e k } + e j (e e k ) + {e e j }e k + {e j e e k } {e e j e k } e j (e e k ) e k (e e j ) {e e k }e j + {e e j }e k e {e j e k } {e k e e j } + {e e k e j } + {e j e e k } {e e j e k } e j (e k e ) + e j {e e k } e k (e j e ) e k {e e j } {e e k }e j + {e e j }e k e {e j e k } {e k e e j } + {e e k e j } + {e j e e k } {e e j e k } e k (e j e ) + {e j e k }e + {e k e j e } {e j e k e } + e j {e e k } e k (e j e ) e k {e e j } {e e k }e j + {e e j }e k e {e j e k } {e k e e j } + {e e k e j } + {e j e e k } {e e j e k } {e j e k }e e {e j e k } + e j {e e k } {e e k }e j + {e e j }e k e k {e e j } + {e k e j e } + {e e k e j } + {e j e e k } {e j e k e } {e k e e j } {e e j e k } {e j e k }e e {e j e k } + {e k e }e j e j {e k e } + {e e j }e k e k {e e j } + {e k e j e } + {e e k e j } + {e j e e k } {e j e k e } {e k e e j } {e e j e k } {{e j e k }e } + {{e k e }e j } + {{e e j }e k } 0. + {e k e j e } + {e e k e j } + {e j e e k } {e j e k e } {e k e e j } {e e j e k } Thus, S s a Gröbner-Shrshov bass for U(A). () follows from Theorem 2.5. Ths completes our proof. Acknowledgement: The authors would lke to express ther deepest grattude to Professor L. A. Bokut for hs knd gudance, useful dscussons and enthusastc encouragement durng hs vst to the South Chna Normal Unversty. References [1] M. A. Akvs, The local algebras of a multdmensonal three-web (Russan), Sbrsk. Mat. Z., 17(1976), 1, Englsh translaton: Sberan Math. J., 17 (1976), 1, 3-8. [2] G. M. Bergman, The damond lemma for rng theory, Adv. n Math., 29 (1978), [3] L. A. Bokut, Imbeddngs nto smple assocatve algebras, Algebra Logka, 15(1976), [4] L. A. Bokut, Y. Fong, W.-F. Ke and P. S. Kolesnkov, Gröbner and Gröbner-Shrshov bases n Algebra and Conformal algebras, Fundamental and Appled Mathematcs, 6 (2000), 3, [5] L. A. Bokut and P. S. Konesnkov, Gröbner-Shrshov bases: from ther ncpency to the present, Journal of Mathematcal Scences, 116 (2003), 1,
9 [6] L. A. Bokut and P. S. Konesnkov, Gröbner-Shrshov bases, conformal algebras and pseudo-algebras, Journal of Mathematcal Scences, 131(2005), 5, [7] B. Buchberger, An algorthmcal crtera for the solvablty of algebrac systems of equatons, Aequatones Math., 4(1970), (n German) [8] D. Esenbud, Commutatve algebra. Wth a vew toward algebrac geometry. Graduate Texts n Mathematcs Berln: Sprnger-Verlag. [9] H. Hronaka, Rosoluton of sngulartes of an algebrac varety over a feld of characterstc zero. I, II, Ann. Math., 79(1964), , [10] D. E. Knuth and P. B. Bendx, Smple word problems n unversal algebras, Comput. Probl. abstract Algebra, Proc. Conf. Oxford 1967, (1970). [11] A. G. Kurosh, Nonassocatve free algebras and free products of algebras, Mat. Sb., N. Ser., 20(62)(1947), [12] C. Reutenauer, Free Le algebras. Oxford Scence Publcatons, [13] I. P. Shestakov, Every Akvs algebra s lnear, Geometrae Dedcata, 77(1999), [14] I. P. Shestakov and U. Umrbaev, Free Akvs algebras, prmtve elements and hyperalgebras, J. Algebra, 250(2002), [15] A. I. Shrshov, Subalgebras of free Le algebras, Mat. Sb., N. Ser., 33(75)(1953), [16] A. I. Shrshov, Subalgebras of free commutatve and free ant-commutatve algebras, Mat. Sbornk., 34(76)(1954), [17] A. I. Shrshov, Certan algorthmc problems for ǫ-algebras, Sb. Mat. Zh., 3(1962), [18] A. I. Shrshov, Certan algorthmc problems for Le algebras, Sb. Mat. Zh., 3(1962), [19] E. Wtt, Subrngs of free Le rngs, Math. Zet., 64(1956), [20] A. I. Zhukov, Reduced systems of dfnng relatons n non-assocatve algebras, Mat. Sb., N. Ser., 27(69)(1950),
Some remarks for the Akivis algebras and the Pre-Lie algebras
Some remarks for the Akivis algebras and the Pre-Lie algebras arxiv:0804.0915v2 [math.ra] 7 May 2013 Yuqun Chen and Yu Li School of Mathematical Sciences, South China Normal University Guangzhou 510631,
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 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 informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
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 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 information12 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 informationBeyond Zudilin s Conjectured q-analog of Schmidt s problem
Beyond Zudln s Conectured q-analog of Schmdt s problem Thotsaporn Ae Thanatpanonda thotsaporn@gmalcom Mathematcs Subect Classfcaton: 11B65 33B99 Abstract Usng the methodology of (rgorous expermental mathematcs
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 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 informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
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 informationRandić Energy and Randić Estrada Index of a Graph
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 5, No., 202, 88-96 ISSN 307-5543 www.ejpam.com SPECIAL ISSUE FOR THE INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA 29 JUNE -02JULY 20, ISTANBUL
More informationOn Finite Rank Perturbation of Diagonalizable Operators
Functonal Analyss, Approxmaton and Computaton 6 (1) (2014), 49 53 Publshed by Faculty of Scences and Mathematcs, Unversty of Nš, Serba Avalable at: http://wwwpmfnacrs/faac On Fnte Rank Perturbaton of Dagonalzable
More informationThe Degrees of Nilpotency of Nilpotent Derivations on the Ring of Matrices
Internatonal Mathematcal Forum, Vol. 6, 2011, no. 15, 713-721 The Degrees of Nlpotency of Nlpotent Dervatons on the Rng of Matrces Homera Pajoohesh Department of of Mathematcs Medgar Evers College of CUNY
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 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 informationGröbner-Shirshov Bases for Free Product of Algebras and beyond
Southeast Asian Bulletin of Mathematics (2006) 30: 811 826 Southeast Asian Bulletin of Mathematics c SEAMS. 2003 Gröbner-Shirshov Bases for Free Product of Algebras and beyond Yuqun Chen School of Mathematical
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 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 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 informationComposition-Diamond Lemma for Non-associative Algebras over a Commutative Algebra
Composition-Diamond Lemma for Non-associative Algebras over a Commutative Algebra arxiv:1009.0196v1 [math.ra] 1 Sep 2010 Yuqun Chen, Jing Li and Mingjun Zeng School of Mathematical Sciences, South China
More informationSMARANDACHE-GALOIS FIELDS
SMARANDACHE-GALOIS FIELDS W. B. Vasantha Kandasamy Deartment of Mathematcs Indan Insttute of Technology, Madras Chenna - 600 036, Inda. E-mal: vasantak@md3.vsnl.net.n Abstract: In ths aer we study 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 informationJ. Number Theory 130(2010), no. 4, SOME CURIOUS CONGRUENCES MODULO PRIMES
J. Number Theory 30(200, no. 4, 930 935. SOME CURIOUS CONGRUENCES MODULO PRIMES L-Lu Zhao and Zh-We Sun Department of Mathematcs, Nanjng Unversty Nanjng 20093, People s Republc of Chna zhaollu@gmal.com,
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 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 informationA property of the elementary symmetric functions
Calcolo manuscrpt No. (wll be nserted by the edtor) A property of the elementary symmetrc functons A. Esnberg, G. Fedele Dp. Elettronca Informatca e Sstemstca, Unverstà degl Stud della Calabra, 87036,
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 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 informationn-strongly Ding Projective, Injective and Flat Modules
Internatonal Mathematcal Forum, Vol. 7, 2012, no. 42, 2093-2098 n-strongly Dng Projectve, Injectve and Flat Modules Janmn Xng College o Mathematc and Physcs Qngdao Unversty o Scence and Technology Qngdao
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 informationarxiv: v1 [math.ra] 26 Oct 2011
DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS arxv:1110.5848v1 [math.ra] 26 Oct 2011 DANIEL BRICE AND HUAJUN HUANG Abstract. We reformulate the defnton of a zero product determned algebra n terms of
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationA new Approach for Solving Linear Ordinary Differential Equations
, ISSN 974-57X (Onlne), ISSN 974-5718 (Prnt), Vol. ; Issue No. 1; Year 14, Copyrght 13-14 by CESER PUBLICATIONS A new Approach for Solvng Lnear Ordnary Dfferental Equatons Fawz Abdelwahd Department of
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 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 informationarxiv: v4 [math.ac] 20 Sep 2013
arxv:1207.2850v4 [math.ac] 20 Sep 2013 A SURVEY OF SOME RESULTS FOR MIXED MULTIPLICITIES Le Van Dnh and Nguyen Ten Manh Truong Th Hong Thanh Department of Mathematcs, Hano Natonal Unversty of Educaton
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 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 informationWeyl group. Chapter locally finite and nilpotent elements
Chapter 4 Weyl group In ths chapter, we defne and study the Weyl group of a Kac-Moody Le algebra and descrbe the smlartes and dfferences wth the classcal stuaton Here because the Le algebra g(a) s not
More informationTHERE ARE INFINITELY MANY FIBONACCI COMPOSITES WITH PRIME SUBSCRIPTS
Research and Communcatons n Mathematcs and Mathematcal Scences Vol 10, Issue 2, 2018, Pages 123-140 ISSN 2319-6939 Publshed Onlne on November 19, 2018 2018 Jyot Academc Press http://jyotacademcpressorg
More informationIdeal Amenability of Second Duals of Banach Algebras
Internatonal Mathematcal Forum, 2, 2007, no. 16, 765-770 Ideal Amenablty of Second Duals of Banach Algebras M. Eshagh Gord (1), F. Habban (2) and B. Hayat (3) (1) Department of Mathematcs, Faculty of Scences,
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 informationErdős-Burgess constant of the multiplicative semigroup of the quotient ring off q [x]
Erdős-Burgess constant of the multplcatve semgroup of the quotent rng off q [x] arxv:1805.02166v1 [math.co] 6 May 2018 Jun Hao a Haol Wang b Lzhen Zhang a a Department of Mathematcs, Tanjn Polytechnc Unversty,
More informationLecture 10: May 6, 2013
TTIC/CMSC 31150 Mathematcal Toolkt Sprng 013 Madhur Tulsan Lecture 10: May 6, 013 Scrbe: Wenje Luo In today s lecture, we manly talked about random walk on graphs and ntroduce the concept of graph expander,
More informationarxiv: v1 [math.co] 12 Sep 2014
arxv:1409.3707v1 [math.co] 12 Sep 2014 On the bnomal sums of Horadam sequence Nazmye Ylmaz and Necat Taskara Department of Mathematcs, Scence Faculty, Selcuk Unversty, 42075, Campus, Konya, Turkey March
More informationPLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [Sun Yat-Sen University] On: 1 October 2008 Access details: Access Details: [subscription number 781195905] Publisher Taylor & Francis Informa Ltd Registered in England
More informationA CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA
A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes
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 information2-π STRUCTURES ASSOCIATED TO THE LAGRANGIAN MECHANICAL SYSTEMS UDC 531.3: (045)=111. Victor Blãnuţã, Manuela Gîrţu
FACTA UNIVERSITATIS Seres: Mechancs Automatc Control and Robotcs Vol. 6 N o 1 007 pp. 89-95 -π STRUCTURES ASSOCIATED TO THE LAGRANGIAN MECHANICAL SYSTEMS UDC 531.3:53.511(045)=111 Vctor Blãnuţã Manuela
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 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 informationEXTENSIONS OF STRONGLY Π-REGULAR RINGS
EXTENSIONS OF STRONGLY Π-REGULAR RINGS H. Chen, K. Kose and Y. Kurtulmaz ABSTRACT An deal I of a rng R s strongly π-regular f for any x I there exst n N and y I such that x n = x n+1 y. We prove that every
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 informationThe Minimum Universal Cost Flow in an Infeasible Flow Network
Journal of Scences, Islamc Republc of Iran 17(2): 175-180 (2006) Unversty of Tehran, ISSN 1016-1104 http://jscencesutacr The Mnmum Unversal Cost Flow n an Infeasble Flow Network H Saleh Fathabad * M Bagheran
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 informationOn the correction of the h-index for career length
1 On the correcton of the h-ndex for career length by L. Egghe Unverstet Hasselt (UHasselt), Campus Depenbeek, Agoralaan, B-3590 Depenbeek, Belgum 1 and Unverstet Antwerpen (UA), IBW, Stadscampus, Venusstraat
More informationOn the smoothness and the totally strong properties for nearness frames
Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo
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 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 informationLie conformal algebras and the variational complex
Le conformal algebras and the varatonal complex UMN Math Physcs Semnar February 10, 2014 Outlne Varatonal complex: a quck remnder Le conformal algebras and ther cohomology The varatonal complex as a LCA
More informationLEVEL SET OF INTUITIONTISTIC FUZZY SUBHEMIRINGS OF A HEMIRING
LEVEL SET OF INTUITIONTISTIC FUZZY SUBHEMIRINGS OF HEMIRING N. NITH ssstant Proessor n Mathematcs, Peryar Unversty PG Extn Centre, Dharmapur 636705. Emal : anthaarenu@gmal.com BSTRCT: In ths paper, we
More informationCategorification of quantum groups
Categorfcaton of quantum groups Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty June 29th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/ Aaron Lauda Jont wth Mkhal Khovanov (Columba Categorfcaton
More informationValuated Binary Tree: A New Approach in Study of Integers
Internatonal Journal of Scentfc Innovatve Mathematcal Research (IJSIMR) Volume 4, Issue 3, March 6, PP 63-67 ISS 347-37X (Prnt) & ISS 347-34 (Onlne) wwwarcournalsorg Valuated Bnary Tree: A ew Approach
More informationThe binomial transforms of the generalized (s, t )-Jacobsthal matrix sequence
Int. J. Adv. Appl. Math. and Mech. 6(3 (2019 14 20 (ISSN: 2347-2529 Journal homepage: www.jaamm.com IJAAMM Internatonal Journal of Advances n Appled Mathematcs and Mechancs The bnomal transforms of the
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 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 informationOn a direct solver for linear least squares problems
ISSN 2066-6594 Ann. Acad. Rom. Sc. Ser. Math. Appl. Vol. 8, No. 2/2016 On a drect solver for lnear least squares problems Constantn Popa Abstract The Null Space (NS) algorthm s a drect solver for lnear
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
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 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 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 informationarxiv: v2 [math.ct] 1 Dec 2017
FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES arxv:1710.04153v2 [math.ct] 1 Dec 2017 Abstract. Let R be an assocatve rng wth unt. We consder R-modules as module functors n the followng way: f M s a (left)
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
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 informationRestricted divisor sums
ACTA ARITHMETICA 02 2002) Restrcted dvsor sums by Kevn A Broughan Hamlton) Introducton There s a body of work n the lterature on varous restrcted sums of the number of dvsors of an nteger functon ncludng
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
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 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 informationDiscrete Mathematics
Dscrete Mathematcs 30 (00) 48 488 Contents lsts avalable at ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc The number of C 3 -free vertces on 3-partte tournaments Ana Paulna
More informationA Hybrid Variational Iteration Method for Blasius Equation
Avalable at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 10, Issue 1 (June 2015), pp. 223-229 Applcatons and Appled Mathematcs: An Internatonal Journal (AAM) A Hybrd Varatonal Iteraton Method
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 informationQuantizations of Kac-Moody algebras
FES-C UNAM MEXICO 1 4 of July 2013 Noncommutatve Rngs and ther Applcatons LENS, France Quantzatons Quantzed envelopng algebras: Drnfel d (1985), Jmbo (1985). Quantzatons Quantzed envelopng algebras: Drnfel
More informationA FORMULA FOR COMPUTING INTEGER POWERS FOR ONE TYPE OF TRIDIAGONAL MATRIX
Hacettepe Journal of Mathematcs and Statstcs Volume 393 0 35 33 FORMUL FOR COMPUTING INTEGER POWERS FOR ONE TYPE OF TRIDIGONL MTRIX H Kıyak I Gürses F Yılmaz and D Bozkurt Receved :08 :009 : ccepted 5
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationThe Jacobsthal and Jacobsthal-Lucas Numbers via Square Roots of Matrices
Internatonal Mathematcal Forum, Vol 11, 2016, no 11, 513-520 HIKARI Ltd, wwwm-hkarcom http://dxdoorg/1012988/mf20166442 The Jacobsthal and Jacobsthal-Lucas Numbers va Square Roots of Matrces Saadet Arslan
More informationZeros and Zero Dynamics for Linear, Time-delay System
UNIVERSITA POLITECNICA DELLE MARCHE - FACOLTA DI INGEGNERIA Dpartmento d Ingegnerua Informatca, Gestonale e dell Automazone LabMACS Laboratory of Modelng, Analyss and Control of Dynamcal System Zeros and
More informationEXPANSIVE MAPPINGS. by W. R. Utz
Volume 3, 978 Pages 6 http://topology.auburn.edu/tp/ EXPANSIVE MAPPINGS by W. R. Utz Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs Department of Mathematcs & Statstcs
More informationKey polynomials for simple extensions of valued fields
Key polynomals for smple extensons of valued felds F. J. Herrera Govantes Departamento de Álgebra Facultad de Matemátcas Avda. Rena Mercedes, s/n Unversdad de Sevlla 41012 Sevlla, Span emal: jherrera@algebra.us.es
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 informationOn quasiperfect numbers
Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng
More informationBinomial transforms of the modified k-fibonacci-like sequence
Internatonal Journal of Mathematcs and Computer Scence, 14(2019, no. 1, 47 59 M CS Bnomal transforms of the modfed k-fbonacc-lke sequence Youngwoo Kwon Department of mathematcs Korea Unversty Seoul, Republc
More informationZhi-Wei Sun (Nanjing)
Acta Arth. 1262007, no. 4, 387 398. COMBINATORIAL CONGRUENCES AND STIRLING NUMBERS Zh-We Sun Nanng Abstract. In ths paper we obtan some sophstcated combnatoral congruences nvolvng bnomal coeffcents and
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
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 informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationHomework 1 Lie Algebras
Homework 1 Le Algebras Joshua Ruter February 9, 018 Proposton 0.1 Problem 1.7a). Let A be a K-algebra, wth char K. Then A s alternatve f and only f the folowng two lnear) denttes hold for all a, b, y A.
More informationModulo Magic Labeling in Digraphs
Gen. Math. Notes, Vol. 7, No., August, 03, pp. 5- ISSN 9-784; Copyrght ICSRS Publcaton, 03 www.-csrs.org Avalable free onlne at http://www.geman.n Modulo Magc Labelng n Dgraphs L. Shobana and J. Baskar
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 information