Download PDF by José Bueso, José Gómez-Torrecillas, Alain Verschoren (auth.): Algorithmic Methods in Non-Commutative Algebra: Applications

By José Bueso, José Gómez-Torrecillas, Alain Verschoren (auth.)

ISBN-10: 9048163285

ISBN-13: 9789048163281

ISBN-10: 9401702853

ISBN-13: 9789401702850

The already vast variety of purposes of ring conception has been superior within the eighties by means of the expanding curiosity in algebraic buildings of substantial complexity, the so-called classification of quantum teams. one of many primary homes of quantum teams is they are modelled through associative coordinate jewelry owning a canonical foundation, which permits for using algorithmic constructions according to Groebner bases to review them. This booklet develops those tools in a self-contained manner, targeting an in-depth learn of the proposal of an enormous category of non-commutative jewelry (encompassing such a lot quantum groups), the so-called Poincaré-Birkhoff-Witt earrings. We contain algorithms which deal with crucial points like beliefs and (bi)modules, the calculation of homological measurement and of the Gelfand-Kirillov measurement, the Hilbert-Samuel polynomial, primality assessments for top beliefs, etc.

Show description

Read Online or Download Algorithmic Methods in Non-Commutative Algebra: Applications to Quantum Groups PDF

Similar abstract books

Download e-book for kindle: Deformations of Algebraic Schemes by Edoardo Sernesi

This self-contained account of deformation idea in classical algebraic geometry (over an algebraically closed box) brings jointly for the 1st time a few effects formerly scattered within the literature, with proofs which are fairly little recognized, but of daily relevance to algebraic geometers.

Download e-book for kindle: Gröbner Bases: A Computational Approach to Commutative by Thomas Becker

This booklet presents a entire therapy of Gr bner bases idea embedded in an creation to commutative algebra from a computational viewpoint. the center piece of Gr bner bases concept is the Buchberger set of rules, which supplies a typical generalization of the Euclidean set of rules and the Gaussian removing set of rules to multivariate polynomial earrings.

Seok-Jin Kang, Kyu-Hwan Lee's Combinatorial and Geometric Representation Theory PDF

This quantity provides the lawsuits of the foreign convention on Combinatorial and Geometric illustration idea. within the box of illustration conception, a large choice of mathematical principles are offering new insights, giving robust tools for realizing the speculation, and proposing quite a few functions to different branches of arithmetic.

Extra info for Algorithmic Methods in Non-Commutative Algebra: Applications to Quantum Groups

Sample text

50, to condude, it remains to show that ker(u) = IS = SI. , 0= u(p) = L rr(ri)x i E (R/1) [x; (J",8]. , that ri E 1. But then p = Ii rixi E IS, so ker(u) ~ IS = SI. Conversely, if p = Ii rixi with ri EI for alI indices i, then u(p) = u(L ri xi ) = L rr(ri)x i = 0, i so we also have IS NOTE ~ i ker(u). This finishes the proof. 16. The construction introduced in this section may be iterated. lndeed, let us first consider a quasi-derivation «(J"l, oI> on R. We have seen how one may associate to this an Ore extension SI = R [Xl; (J"1, 01].

G,h 44 1. GENERAUIlES ON RINGS For example, the ring of Laurent polynomials R [x, x- l ] over R is easily seen to be isomorphic to the group ring R [il] over the additive group of integers il. 20, yield a class of "very non-commutative" rings. 1. The n-th Weyl algebra over the field k is the k-algebra An(k), generated over k by {Xl, ... , Xn,YI, ... ,Yn}, subject to the relations YjXi - XiYj = Dij XiXj - XjXi = YiYj - YjYi =O for all1 :s; i, j :s; n. In particular, for n = 1, we recover the first Weyl algebra Al (1<) with yx - xy = 1.

RlX + ro, for some positive integer n and some elements ri This leads to: E R, with r n =1= o. 7. Let O =1= f = I~Orixi E R[x;u,8J, with r n =1= O. The positive integer n is called the degree of f and will be denoted by deg(j). The element r n is called the leading coefficient of f and DEFINITION 23 3. ORE EXTENSIONS is denoted by le(j). lf f = O, then, by convention, we let the leading coe(ficient of f be O and put deg(j) = -00. 8. Let (0",8) be a quasi-derivation on R and consider f,g E R[x; 0", 8].

Download PDF sample

Algorithmic Methods in Non-Commutative Algebra: Applications to Quantum Groups by José Bueso, José Gómez-Torrecillas, Alain Verschoren (auth.)

by Joseph

Rated 4.56 of 5 – based on 18 votes