Groebner basis

For using the program, please download groebner.jar and groebner.bat. In order to run it needs JDK 1.3 or 1.4 (Java Development Kit). JDK can be downloaded here. Sources are here. Please be sure that JDK is installed and java is in CLASSPATH (to check it, type "java" at command prompt. There must be a screen, displaying command line parameters for java). Then you can try to run groebner by typing "groebner" at command prompt in the directory where you downloaded files.


The program works with algebras given by letters and relations. It is possible to mark some letters as "central", i.e. commuting with every other letter. Features are:


First make a setting file ( It should be like:
p1 p2       //Projections
central weight -1
tau         //central element
p1 p2[Relations]

It is an algebra of two idempotents without relations. We added letter tau because in future we will find central element and assign it to tau. It has weight -1 because we need to consider our algebra over its center so every word containing p1 or p2 will be greater then word, containing only tau's. Now compute groebner basis:

groebner groebner projections.out
We see that original relations already formed groebner basis. Then try to find central element and assign it to tau:
groebner center projections.out projections.out tau
After it, recompute groebner basis:
groebner groebner projections.out projections.out
It can be seen that our algebra is four dimensional over its center generated by tau (projections.out). We can do some calculations by using calculator mode:
groebner calculator projections.out

More sofisticated example

Consider the problem:
For which numbers m algebra generated by three idempotents x,y,z and sum m is non-zero?
Prepare the following input file (
x y z
weight -1 central
Then use groebner:
groebner groebner D4.out
Look at D4.out One of relations is "9m - 45/2m^2 + 20m^3 - 15/2m^4 + m^5". It means if algbera is non-zero, then 9m - 45/2m^2 + 20m^3 - 15/2m^4 + m^5=0. We can factor this polynomial and get:
It means that possible values of m are 0, 1, 3/2, 2, 3, which is well known.