ALGEBRA ASISTATA DE CALCULATOR

Semestrul I + II, 2005/2006

Scoala Doctorala (Cod DMC1 si DMC2)
28 ore curs + 28 ore seminar

FACULTATEA MATEMATICA SI INFORMATICA

Forma de evaluare: colocviu (C)

-teme de casa si activitate seminar (pondere 40%)
-lucrari de verificare (pondere 60%).

Programa:

Inele de polinoame. Inele, ideale, inele de polinoame. Ideale monomiale. Lema lui Dickson.
Ordonari monomiale. Impartirea in inelul de polinoame in mai multe nedeterminate.
Baze Groebner si aplicatii. Baze Groebner. Algoritmul Buchberger. Baze Groebner reduse.
Aplicatii la teoria polinoamelor simetrice. Operatii cu ideale si calcularea lor: apartenenta la
ideal, intersectia cu subinele, compatibilitatea sistemelor de ecuatii, intersectia idealelor, catul
idealelor, nucleul unui morfism de inele.
Baze Groebner si programare intreaga. Algoritmul Buchberger pentru programare
intreaga. Algoritm Buchberger geometric.
Aspecte computationale in teoria algebrelor asociative si a algebrelor Lie. Definitii de
baza si teoreme de structura. Calculul radicalului. Aplicatii la algebre Lie. Determinarea
componentelor simple ale algebrelor semisimple. Algebre de cuaternioni.
Aspecte computationale in teoria grupurilor. Grupuri de permutari. Calculul orbitelor.
Generatori. Enumerarea coset-urilor. Aplicatii.
Baze Groebner si teoria codurilor. Elemente de baza in teoria codurilor. Coduri ciclice.
Decodificare si baze Groebner. Baze Groebner si coduri liniare

Bibliografie:
[1] T. Becker, V. Weisphenning, Groebner Bases, a Computational Approach to
Commutative Algebra, Springer, 1993
[2] L. Ronyai, Computations in Associative Algebras, Groups and Computations, DIMACS
Series 11, AMS, 221-243
[3] D. A Cox, J. B. Little, D. O’Shea, Ideals, Varieties, and Algorithms, Springer 1992
[4] B. Sturmfels, Groebner Bases and Convex Polytopes, AMS University Lecture Series,vol
8, 1995
[5] G. Butler, Fundamental Algorithms for permutation gropus, Springer, 1991
[6] GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra
http://www-gap.mcs.st-and.ac.uk/
[7] G. – M. Greuel, G. Pfister, A Singular Introduction to Commutative Algebra, Springer-
Verlag, 2002;
[8] G.-M. Greuel, G. Pfister, H. Schonemann, Singular, a System for Computation in
Algebraic Geometry and Singularity Theory,
http://www.mathematik.uni-kl.de/ftp/pub/Math/Singular
[9] A.M.Cohen et al., Some tapas in computational algebra, Springer,1999.
[10] M.Mignotte, Computer algebra, Ed.Univ. Bucuresti, 2000.