Free Commutative Integro-differential Algebras
|
|
- Laureen Montgomery
- 6 years ago
- Views:
Transcription
1 1 Free Commutative Integro-differential Algebras Li GUO Rutgers University (Joint work with G. Regensburger and M. Rosenkranz, and X. Gao and S. Zheng)
2 Free differential algebras Differential algebra d(xy) = d(x)y + xd(y)+λd(x)d(y). d(uv) φ d(u)v + ud(v)+λd(u)d(v), u, v R. This leads to normal forms w with no products in d. Thus free commutative differential algebra (of weight λ) on a set X is of the form k{x} := k[ X], X := {x (n) x X, n 0} with concatenation product. Define d X : k{x} k{x} as follows. Let w = u 1 u k, u i (X), 1 i k, be a commutative word from the alphabet set (X). If k = 1, so that w = x (n) (X), define d X (w) = x (n+1). If k > 1, recursively define d X (w) = d X (u 1 )u 2 u k + u 1 d X (u 2 u k )+λd X (u 1 )d X (u 2 u k ). Further define d X (1) = 0. Then (k{x}, d X ) is the free commutative differential algebra of weight λ on the set X. 2
3 Integral algebra 3 What about integral algebra? What is an integral algebra? It is a special case of Rota-Baxter algebra. Let k be a commutative ring. Let λ k be fixed. A Rota-Baxter operator of weight λ on a k-algebra R is a linear map P : R R such that P(x)P(y) = P(xP(y))+P(P(x)y) +λp(xy), x, y R. References: 1. L. Guo, WHAT IS a Rota-Baxter Algebra, Notice of Amer. Math. Soc. 56 (2009), L. Guo, An Introduction to Rota-Baxter Algebra, International Press, 2012.
4 The integration operator I For continuous functions f(x) and g(x), define F(x) := I[f](x) := x Then F (x) = f(x), G (x) = g(x). The integration by parts formula x can be rewritten as 0 x 0 0 f(s)ds, G(x) := I[g](x) := x F (t)g(t)dt = F(t)G(t) x x 0 F(t)G (t) dt f(t)g(t) dt = F(x)G(x) 0 x 0 0 F(t)g(t) dt. Using Eq. (1), get I[f I[g]](x) = I[f]I[g](x) I[I[f] g](x). g(s)ds. (1) I[f I[g]] = I[f]I[g] I[I[f] g], I[f]I[g] = I[f I[g]]+I[I[f] g]. An integral algebra is an algebra R together with a linear operator I : R R that satisfies I[f]I[g] = I[f I[g]]+I[g I[f]], f, g R. 4
5 Free commutative Rota-Baxter algebras 5 Rota-Baxter algebra P(x)P(y) = P(P(x)y) + P(xP(y)) + λp(xy). P(x)P(y) P P(P(x)y)+P(xP(y)) +λp(xy). This leads to normal forms w with no subwords of the form P(x)P(y). In a commutative Rota-Baxter algebra, this means The product is given by a = a 0 P(a 1 P(a 2 P( P(a n ) ))), a i A. a = a 0 a 1 a n A (n+1). ab = (a 0 b 0 ) ( (a 1 a n ) (b 1 b m ) ). is a shuffle like product, called mixable shuffle product.
6 Mixable shuffle product 6 Let A be a commutative k-algebra. Let X + (A) = n 0 A n (= T(A)). Consider the following products on X + (A). Mixable shuffle product: Guo-Keigher (2000) on Rota-Baxter algebras, Goncharov (2002) on motivic shuffle relations and Hazewinckle on overlapping shuffle products. A shuffle of a = a 1... a m and b = b 1... b n is a tensor list of a i and b j without change the order of the a i s and b j s. A mixable shuffle is a shuffle in which some pairs a i b j are merged into a i b j. Define (a 1... a m ) (b 1... b n ) to be the sum of mixable shuffles of a 1... a m and b 1... b n. Example: a 1 (b 1 b 2 ) = a 1 b 1 b 2 + b 1 a 1 b 2 + b 1 b 2 a 1 (shuffles) + a 1 b 1 b 2 + b 1 a 1 b 2 (merged shuffles).
7 7 Quasi-shuffle product: Hoffman (2000) on multiple zeta values. Let X + (A) = n 0 A n (= T(A)). Define 1 k k to be the unit. Let a = a 1 a m A m and b = b 1 b n A n. Write a = a 1 a, b = b 1 b. Recursively define (a 1 a ) (b 1 b ) = a 1 (a (b 1 b )))+b 1 ((a 1 a ) b )+a 1 b 1 (a b ), with the convention that if a = a 1, then a multiples as the identity. It defines the shuffle product without the third term. Example. a 1 (b 1 b 2 ) = a 1 (a (b 1 b 2 ))+b 1 (a 1 b 2 )+(a 1 b 1 ) (a b 2 ) = a 1 (b 1 b 2 )+b 1 (a 1 b 2 )+(a 1 b 1 ) b 2. = a 1 b 1 b 2 + b 1 a 1 b 2 + b 1 b 2 a 1 + b 1 a 1 b 2 + a 1 b 1 b 2.
8 a 1 b 1 b 2 b 1 a 1 b 2 b 1 b 2 a 1 a 1 b 1 b 2 b 1 a 1 b 2 8 By Stuffles: Cartier (1972) on free commutative Rota-Baxter algebras, Ehrenborg (1996) on monomial quasi-symmetric functions and Bradley (2004) on q-multiple zeta values. By Delannoy paths: Fares (1999) on coalgebras, Aguiar-Hsiao (2004) on quasi-symmetric functions and Loday (2005) on Zinbiel operads. Let D(m, n) be the set of lattice paths from (0, 0) to (m, n) consisting steps either to the right, to the above, or to the above-right. For d D(m, n) define d(a,b) to be the path d with a = (a 1,, a m ) (resp. b = (b 1,, b n )) sequentially labeling the horizontal (resp. vertical) and diagonal segments of d. Define a d b = d(a,b). d D(m,n) b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 a1 a1 a1 a1 a1
9 Free commutative Rota-Baxter algebras Theorem All the above products define the same algebra on X + (A). A free Rota-Baxter algebra over another algebra A is a Rota-Baxter algebra X(A) with an algebra homomorphism j A : A X(A) such that for any Rota-Baxter algebra R and algebra homomorphism f : A R, there is a unique Rota-Baxter algebra homomorphism making the diagram commute j A A X(A) f f R When A = k[x], we have the free Rota-Baxter algebra over X. Recall (X + (A), ) is an associative algebra. Then the tensor product algebra (scalar extension) X(A) := A X + (A) is an A-algebra. Theorem (Guo-Keigher) X(A) with the shift operator P(a) := 1 a is the free commutative RBA over A. 9
10 where X is the shuffle product. 10 Examples The free commutative Rota-Baxter algebra on k (i.e., on the empty set) is X( ) = k 1 ka k, a m a n = min(m,n) r=0 ( m+n r m )( m r ) λ r 1 (m+n r). When λ = 0, we obtain the divided powers. The free commutative integral algebra (Rota-Baxter algebra of weight 0) on k[x] (i.e., on one generator x): Let I := k 1 Nk 0. For I = (i 0,, i k ) I, denote x I := x i 0 x i k. Then X(k[x]) = I I kx I. For x I = x i 0 x I and x J = x j 0 x J, we have ( x I x J = x i 0+j 0 x I Xx J),
11 Differential Rota-Baxter algebra Then (X(A), d A, P A ) is the free commutative differential Rota-Baxter algebra on A. Let X be a set. The differential Rota-Baxter algebra (X(k{X}), d k{x}, P k{x} ) is the free differential Rota-Baxter algebra on X. It is the algebra of differential Rota-Baxter polynomials in X. 11 A differential Rota-Baxter algebra (DRB) is a triple (R, d, P) where (R, d) is a differential algebra (of weight λ), (R, P) is a Rota-Baxter algebra (of weight λ) such that d P = id R. These give three rewriting rules that imply that a normal form for the DRB algebra is of the form x := x 0 x 1 x n, x i X. More generally, let (A, d) be a differential algebra of weight λ. On the free commutative Rota-Baxter algebra (X(A), P A ), define d A : X(A) X(A), d A (x 0 x 1 x n ) = d 0 (x 0 ) x 1... x n +x 0 x 1 x 2... x n +λd 0 (x 0 )x 1 x 2... x n
12 Integro-differential algebras 12 Note that the integral by parts formula in Rota-Baxter algebra is a purified version (so that only I occurs) of the original formula I(f)I(g) = I(fI(g))+I(I(f)g) FG = I(F G)+I(FG ) where the interaction of differentiation and integration is taken out of the picture. This needs to be put back in order to understand fully the algebraic structure in differential equations, in particular, to compute Green s operators of boundary problems for linear ordinary/partial differential equations.
13 Definition of Integro-differential Algebras 13 An integro-differential k-algebra of weight λ (also called a λ-integro-differential k-algebra) is a differential k-algebra (R, D) of weight λ with a linear operator Π: R R such that D Π = id R and the initialization satisfies J: = Π D J(x)J(y) = J(x)y + xj(y) J(xy) for all x, y R.
14 Equivalent conditions 14 Let (R, D) be a differential algebra of weight λ with a linear operator Π on R such that D Π = id R. Denote J = Π D, called the initialization, and E = id R J, called the evaluation. Then the following statements are equivalent: 1. (R, D, Π) is an integro-differential algebra; 2. E(xy) = E(x)E(y) for all x, y R; 3. ker E = imj is an ideal; 4. J(xJ(y)) = xj(y) and J(J(x)y) = J(x)y for all x, y R; 5. J(xΠ(y)) = xπ(y) and J(Π(x)y) = Π(x)y for all x, y R; 6. xπ(y) = Π(D(x)Π(y))+Π(xy)+λΠ(D(x)y) and Π(x)y = Π(Π(x)D(y))+Π(xy)+λΠ(xD(y)) for all x, y R; 7. (R, D, Π) is a differential Rota-Baxter algebra and Π(E(x)y) = E(x)Π(y) and Π(xE(y)) = Π(x)E(y) for all x, y R; 8. (R, D, Π) is a differential Rota-Baxter algebra and J(E(x)J(y)) = E(x)J(y) and J(J(x)E(y)) = J(x)E(y) for all x, y R.
15 Integral by parts revisited Working in the free differential Rota-Baxter algebra X(A) where (A, d) is a differential algebra, this means that d(x) should not appear in Π. More precisely, in a = a 0 a 1 a n, a 1,, a n 1 A should be in complement of d(a), i.e., in A T such that A = imd A T. Such an A is called regular. 15 (R, D,Π) is an integro-differential algebra if and only if (R, D) is a differential algebra, D Π = id R and Π(D(x)Π(y)) xπ(y)+π(xy)+λπ(d(x)y) = 0, x, y R. Theorem Let (A, D) be a differential algebra. Let I ID be the differential Rota-Baxter ideal of X(A) generated by elements in the above equations. Then the quotient differential Rota-Baxter algebra X(A)/I ID is the free integro-differential algebra on (A, D). The last equation suggests the rewriting rule Π(D(x)Π(y)) ID xπ(y) Π(xy) λπ(d(x)y).
16 Example of regular differential algebras 16 Let A = k{u} = k[u i, i 0] be the ring of differential polynomials in one variable. Then a monomial of A is of the form u i := u i 0 0 u i k k with i := (i0,, i k ), i j 0, 0 j k, i k 0, k 0. Such a monomial is said to have order k. Also say u () := 1 to have order 1. A monomial u i is called functional if either k 0 or i k > 1. Then the linear span A T is a linear complement of ker d. Let X be a well ordered set. Let u C( X) be in the form u = u j 0 0 u j k k, where u 0,, u k X, u 0 > > u k and j 0,, j k Z 1 Call u functional if either u {1}, or u k X, or j k > 1. Let A = k[ X] and A T be the linear span of the functional monomials. Then k[ X] = A T imd. Thus k{x} is a regular differential algebra.
17 Construction of free integro-differential algebras Let (A, d) be a regular differential algebra. Thus A = imd A T and A T is a nonunitary subalgebra of A when λ 0. Let n X T (A) = n 0 A A n T = A (A A T ) be the k-submodule of X(A). Since A T is assumed to be a nonunitary subalgebra if λ 0, X T (A) is a subalgebra of X(A). Let A ε := {ε(a) a A} be another copy of the algebra A, but with the zero derivation. Then both A and A ε are K -algebras for K := ker d. Define ID(A) := A ε K X T (A) = A ε K (A X + (A T )) to be the tensor product algebra. Define d A on ID(A) by the product rule on the tensor product. For a A, define P A (a) = φ(a) ε(φ(a))+1 ψ(a). For a := a 0 a n A (A ψ ) n, write a = a 0 a,a A n ψ. Define P A (a) = φ(a 0 ) a P A (φ(a 0 )a)+1 ψ(a 0 ) a. Theorem (Guo-Regensburger-Rosenkranz) The triple (ID(A), d u, P u ) is the free commutative integro-differential algebra on (A, d). 17
18 Normal forms of integro-differential algebras 18 Back to the rewriting rule Π(D(x)Π(y)) ID xπ(y) Π(xy) λπ(d(x)y). Then in the free differential Rota-Baxter algebra X(k{X}). Elements of the form d(x) should not appear in Π( pπ(v)). So for a = a 0 a 1 a n to be normal, should have a i A T, 1 i n 1. This is quite hard to verify directly.
19 of the inclusion and the quotient map is a linear bijection. Thus X(A) f gives an explicit construction of the free integro-differential algebra X(A)/I ID. 19 Free integro-differential algebras by normal forms By the method of Gröbner-Shirshov basis, we obtain. Theorem(Gao-Guo-Zheng) Let X be a nonempty well-ordered set and A := k{x}. Let X(k{X}) = X(k[ X]), with the derivation d and Rota-Baxter operator P, be the free commutative differential Rota-Baxter algebra of weight λ on X. Let I ID be the differential Rota-Baxter ideal of X(k{X}) generated by S := {P(d(u)P(v)) up(v)+p(uv)+λp(d(u)v) u, v X(k{X})}. Let A f be the submodule of A = k{x} spanned by functional monomials. Then the composition X(A) f := A k 0 A A k f A X(A) X(A)/I ID
20 Comparison 20 Compare the two constructions: ID(A) := A ε K X T (A) = A ε K (A X + (A T )) = (A ε K A) (A ε A A T ) (A ε A A T A T ). X(A) f := A k 0 A A k f A. = A (A A) (A A T A).
21 21 References: * X. Gao, L. Guo and S. Zheng, Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases, preprint. * L. Guo and W. Keigher, Baxter algebras and shuffle products, Adv. Math 150 (2000), * L. Guo and W. Keigher, On differential Rota-Baxter algebras, J. Pure Appl. Algebra 212 (2008), * L. Guo, G. Regensburger and M. Rosenkranz, On integro-differential algebras, to appear in J. Pure Appl. Algebra. * M. Rosenkranz and G. Regensburger, Solving and factoring boundary problems for linear ordinary differential equations in differential algebra, J. Symbolic Comput. 43 (2008), Thank You!
Rota-Baxter Algebra I
1 Rota-Baxter Algebra I Li GUO Rutgers University at Newark . From differentiation to integration. d Differential operator: dx (f)(x) = lim h differential equations differential geometry differential topology
More informationSome constructions and applications of Rota-Baxter algebras I
Some constructions and applications of Rota-Baxter algebras I Li Guo Rutgers University at Newark joint work with Kurusch Ebrahimi-Fard and William Keigher 1. Basics of Rota-Baxter algebras Definition
More informationIntegro-differential Algebras of Combinatorial species
1 Integro-differential Algebras of Combinatorial species Xing Gao Lanzhou University in China, Rutgers University-Newark (Joint work with L. Guo, M. Rosenkranz and S. Zhang) Kolchin Seminar in Differential
More informationDifferential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases
1 Differential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases Li GUO (joint work with William Sit and Ronghua Zhang) Rutgers University at Newark Motivation: Classification of Linear Operators
More informationarxiv: v1 [math.qa] 30 Dec 2018
DERIVED IDENTITIES OF DIFFERENTIAL ALGEBRAS P. S. KOLESNIKOV arxiv:1812.11516v1 [math.qa] 30 Dec 2018 Abstract. Suppose A is a not necessarily associative algebra with a derivation d. Then A may be considered
More informationarxiv: v1 [math.ra] 2 Oct 2007
OPERATED SEMIGROUPS, MOTZKIN PATHS AND ROOTED TREES LI GUO arxiv:0710.0429v1 [math.ra] 2 Oct 2007 Abstract. Combinatorial objects such as rooted trees that carry a recursive structure have found important
More informationRenormalization and Euler-Maclaurin Formula on Cones
Renormalization and Euler-Maclaurin Formula on Cones Li GUO (joint work with Sylvie Paycha and Bin Zhang) Rutgers University at Newark Outline Conical zeta values and multiple zeta values; Double shuffle
More informationLecture III. Five Lie Algebras
Lecture III Five Lie Algebras 35 Introduction The aim of this talk is to connect five different Lie algebras which arise naturally in different theories. Various conjectures, put together, state that they
More informationAn Introduction to Rota-Baxter Algebra
Surveys of Modern Mathematics Volume IV An Introduction to Rota-Baxter Algebra Li Guo International Press www.intlpress.com HIGHER EDUCATION PRESS Surveys of Modern Mathematics, Volume IV An Introduction
More informationarxiv:math/ v3 [math.ra] 31 May 2007
ROTA-BAXTER ALGEBRAS AND DENDRIFORM ALGEBRAS KURUSCH EBRAHIMI-FARD AND LI GUO arxiv:math/0503647v3 [math.ra] 31 May 2007 Abstract. In this paper we study the adjoint functors between the category of Rota-
More informationq-multiple Zeta Values I: from Double Shuffle to Regularisation
-Multiple Zeta Values I: from Double Shuffle to Regularisation Kurusch Ebrahimi-Fard β Paths to, from and in renormalisation Univ. Potsdam Institut für Mathematik 8-12 February 2016 β Joint work with J.
More informationRota-Baxter Type Operators, Rewriting Systems, and Gröbner-Shirshov Bases, Part II
Rota-Baxter Type Operators, Rewriting Systems, and Gröbner-Shirshov Bases, Part II William Sit 1 The City College of The City University of New York Kolchin Seminar in Differential Algebra December 9,
More informationarxiv: v1 [math.ra] 13 Nov 2017
LEFT COUNITAL HOPF ALGEBRA STRUCTURES ON FREE COMMUTATIVE NIJENHUIS ALGEBRAS SHANGHUA ZHENG AND LI GUO arxiv:1711.04823v1 [math.ra] 13 Nov 2017 Abstract. Motivated by the Hopf algebra structures established
More informationMultiple divisor functions, their algebraic structure and the relation to multiple zeta values
Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationGröbner-Shirshov Bases for Commutative Algebras with Multiple Operators and Free Commutative Rota-Baxter Algebras
Gröbner-Shirshov Bases for Commutative Algebras with Multiple Operators and Free Commutative Rota-Baxter Algebras arxiv:13015018v1 [mathra] 18 Jan 2013 Jianjun Qiu Mathematics and Computational Science
More informationHomology of Newtonian Coalgebras
Homology of Newtonian Coalgebras Richard EHRENBORG and Margaret READDY Abstract Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationarxiv: v1 [math.ra] 12 Apr 2016
BIALGEBRA AND HOPF ALGEBRA STRUCTURES ON FREE ROTA-BAXTER ALGEBRAS XING GAO, LI GUO, AND TIANJIE ZHANG arxiv:1604.03238v1 [math.ra] 12 Apr 2016 Abstract. In this paper, we obtain a canonical factorization
More informationSPECIAL IDENTITIES FOR THE PRE-JORDAN PRODUCT IN THE FREE DENDRIFORM ALGEBRA
SPECIAL IDENTITIES FOR THE PRE-JORDAN PRODUCT IN THE FREE DENDRIFORM ALGEBRA MURRAY R. BREMNER AND SARA MADARIAGA In memory of Jean-Louis Loday (1946 2012) Abstract. Pre-Jordan algebras were introduced
More informationA polynomial realization of the Hopf algebra of uniform block permutations.
FPSAC 202, Nagoya, Japan DMTCS proc AR, 202, 93 204 A polynomial realization of the Hopf algebra of uniform block permutations Rémi Maurice Institut Gaspard Monge, Université Paris-Est Marne-la-Vallée,
More informationMoreover this binary operation satisfies the following properties
Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................
More informationTranscendental Numbers and Hopf Algebras
Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationEmbedding dendriform dialgebra into its universal enveloping Rota-Baxter algebra
Embedding dendriform dialgebra into its universal enveloping Rota-Baxter algebra arxiv:1005.2717v1 [math.ra] 16 May 2010 Yuqun Chen and Qiuhui Mo School of Mathematical Sciences, South China Normal University
More informationLinear Algebra Practice Problems
Linear Algebra Practice Problems Math 24 Calculus III Summer 25, Session II. Determine whether the given set is a vector space. If not, give at least one axiom that is not satisfied. Unless otherwise stated,
More informationA New Shuffle Convolution for Multiple Zeta Values
January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As
More informationON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA
italian journal of pure and applied mathematics n. 34 2015 (151 158) 151 ON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA Neşet Deniz Turgay Bornova-Izmir 35050 Turkey e-mail: Deniz
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationUnit 3 Vocabulary. An algebraic expression that can contains. variables, numbers and operators (like +, An equation is a math sentence stating
Hart Interactive Math Algebra 1 MODULE 2 An algebraic expression that can contains 1 Algebraic Expression variables, numbers and operators (like +,, x and ). 1 Equation An equation is a math sentence stating
More informationarxiv: v1 [math.ra] 11 Apr 2016
arxiv:1604.02950v1 [math.ra] 11 Apr 2016 Rota-Baxter coalgebras and Rota-Baxter bialgebras Tianshui Ma and Linlin Liu 1 Department of Mathematics, School of Mathematics and Information Science, Henan Normal
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationIntegro-Differential Polynomials and Operators
Integro-Differential Polynomials and Operators Markus Rosenkranz and Georg Regensburger Johann Radon Institute for Computational and Applied Mathematics (RICAM) Austrian Academy of Sciences Altenbergerstraße
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More information6.1 Matrices. Definition: A Matrix A is a rectangular array of the form. A 11 A 12 A 1n A 21. A 2n. A m1 A m2 A mn A 22.
61 Matrices Definition: A Matrix A is a rectangular array of the form A 11 A 12 A 1n A 21 A 22 A 2n A m1 A m2 A mn The size of A is m n, where m is the number of rows and n is the number of columns The
More informationMath 40510, Algebraic Geometry
Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:
More information15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.
15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationALGEBRA HW 3 CLAY SHONKWILER
ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination
More informationThe algebra of multiple divisor functions and applications to multiple zeta values
The algebra of multiple divisor functions and applications to multiple zeta values ESF Workshop: New Approaches To Multiple Zeta Values ICMAT Madrid - 30th September 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920
More informationNotes on generating functions in automata theory
Notes on generating functions in automata theory Benjamin Steinberg December 5, 2009 Contents Introduction: Calculus can count 2 Formal power series 5 3 Rational power series 9 3. Rational power series
More informationK-theoretic analog of Postnikov Shapiro algebra distinguishes graphs
Journal of Combinatorial Theory, Series A 148 (2017) 316 332 Contents lists available at ScienceDirect Journal of Combinatorial Theory, Series A www.elsevier.com/locate/jcta K-theoretic analog of Postnikov
More informationarxiv: v1 [math.qa] 14 Nov 2013
GENERALIZED VIRTUAL BRAID GROUPS, QUASI-SHUFFLE PRODUCT AND QUANTUM GROUPS XIN FANG arxiv:1311.3466v1 [math.qa] 14 Nov 2013 Abstract. We introduce in this paper the generalized virtual braid group on n
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationA RELATION BETWEEN SCHUR P AND S. S. Leidwanger. Universite de Caen, CAEN. cedex FRANCE. March 24, 1997
A RELATION BETWEEN SCHUR P AND S FUNCTIONS S. Leidwanger Departement de Mathematiques, Universite de Caen, 0 CAEN cedex FRANCE March, 997 Abstract We dene a dierential operator of innite order which sends
More informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationarxiv: v4 [math.ra] 8 Dec 2014
FREE INTEGRO-DIFFERENTIAL ALGEBRAS AND GRÖBNER-SHIRSHOV BASES XING GAO, LI GUO, AND MARKUS ROSENKRANZ arxiv:1402.1890v4 [math.ra] 8 Dec 2014 Abstract. The notion of commutative integro-differential algebra
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationSymbolic Integral Operators and Boundary Problems
Georg Regensburger, Markus Rosenkranz Symbolic Integral Operators and Boundary Problems Lecture Notes (Preliminary Version) October 5, 2009 Contents 1 Introduction...................................................
More informationHopf algebra structures in particle physics
EPJ manuscript No. will be inserted by the editor) Hopf algebra structures in particle physics Stefan Weinzierl a Max-Planck-Institut für Physik Werner-Heisenberg-Institut), Föhringer Ring 6, D-80805 München,
More informationSemilattices of r-archimedean subdimonoids
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Number 3(67), 2011, Pages 108 112 ISSN 1024 7696 Semilattices of r-archimedean subdimonoids Anatolii V. Zhuchok Abstract. We characterize
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationarxiv:math/ v1 [math.co] 2 Oct 2002
PARTIALLY ORDERED GENERALIZED PATTERNS AND k-ary WORDS SERGEY KITAEV AND TOUFIK MANSOUR arxiv:math/020023v [math.co] 2 Oct 2002 Matematik, Chalmers tekniska högskola och Göteborgs universitet, S-42 96
More informationSets with two associative operations
CEJM 2 (2003) 169{183 Sets with two associative operations Teimuraz Pirashvili A.M. Razmadze Mathematical Inst. Aleksidze str. 1, Tbilisi, 380093, Republic of Georgia Received 7 January 2003; revised 3
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMATH RING ISOMORPHISM THEOREMS
MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationarxiv: v2 [math.ra] 5 Aug 2017
ON RINGS OF DIFFERENTIAL ROTA-BAXTER OPERATORS XING GAO, LI GUO, AND MARKUS ROSENKRANZ arxiv:1512.01247v2 [math.ra] 5 Aug 2017 Abstract. Using the language of operated algebras, we construct and investigate
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationPolynomial derivations and their rings of constants
U N I W E R S Y T E T M I K O L A J A K O P E R N I K A Rozprawy Andrzej Nowicki Polynomial derivations and their rings of constants T O R U Ń 1 9 9 4 Polynomial derivations and their rings of constants
More informationALGEBRAIC METHODS OF AUTOMATED REASONING IN MONADIC LOGIC by José A. Alonso in Sevilla (Spain)
ALGEBRAIC METHODS OF AUTOMATED REASONING IN MONADIC LOGIC by José A. Alonso in Sevilla (Spain) Introduction The purpose of this paper is to explain how the theory of Gröbner bases can be used for automated
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationMath Studies Algebra II
Math Studies Algebra II Prof. Clinton Conley Spring 2017 Contents 1 January 18, 2017 4 1.1 Logistics..................................................... 4 1.2 Modules.....................................................
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationΠ 0 1-presentations of algebras
Π 0 1-presentations of algebras Bakhadyr Khoussainov Department of Computer Science, the University of Auckland, New Zealand bmk@cs.auckland.ac.nz Theodore Slaman Department of Mathematics, The University
More informationAppalachian State University. Free Leibniz Algebras
Appalachian State University Department of Mathematics John Hall Free Leibniz Algebras c 2018 A Directed Research Paper in Partial Fulfillment of the Requirements for the Degree of Master of Arts May 2018
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationAlgebraic Number Theory
TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
More informationLINEAR ALGEBRA II: PROJECTIVE MODULES
LINEAR ALGEBRA II: PROJECTIVE MODULES Let R be a ring. By module we will mean R-module and by homomorphism (respectively isomorphism) we will mean homomorphism (respectively isomorphism) of R-modules,
More information1 Homework. Recommended Reading:
Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis
More informationConfluence Algebras and Acyclicity of the Koszul Complex
Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation
More informationTensor Product of modules. MA499 Project II
Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI
More informationOn the Associative Nijenhuis Relation
On the Associative Nijenhuis Relation Kurusch Ebrahimi-Fard Institut Henri Poincaré 11, rue Pierre et Marie Curie F-75231 Paris Cedex 05 FRANCE kurusch@ihes.fr and Universität Bonn - Physikalisches Institut
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More informationSome K-theory examples
Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationSpectra of rings differentially finitely generated over a subring
Spectra of rings differentially finitely generated over a subring Dm. Trushin Department of Mechanics and Mathematics Moscow State University 15 April 2007 Dm. Trushin () -spectra of rings April 15, 2007
More informationSome notes on linear algebra
Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationFREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS
FREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS N. ALTAFI, N. NEMATI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let S = K[x 1,..., x n ] be the polynomial ring over a field K. In this
More informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More information