Learn More
1s-e derive i-1 sufficient con&ion for a gtnrra.ting set Of an ideal in the free (uon-associative. Iloll-corrlrllntat,ivc) algebra to bc a Grijlln~r basis. I;eing t,his wc fOrnlulat,e an algorithn~ for coniputiug a hISiS Of il finitely present,ed Lie algebra. =It the end of the paper we discuss tlic practical iriil)lClllc:~lt;ttioll Of the i~lgOritllIn.
Die hier darzustellenden Ergebnisse h angen mit dem Satz von Golod-Safarevi c zusammen. Dieser Satz besagt: Ist G eine Prop -Gruppe, d ihr Erzeu-gendenrang und r ihr Relationenrang, so folgt aus der Endlichkeit von G die Ungleichung r > d 2 4 (1) (siehe 1,8]). Ein entsprechendes Ergebnis gilt auch f ur endlich pr asentierte Lieal-gebren hinsichtlich der(More)
  • 1