فرض کنیم l یک جبر لی و f یک جبرلی آزاد باایده آل r باشد. دراین صورت ضربگرc-پوچ توان از l برای 1? c به صورت زیراست (m (c)(l)=(r?? c+1(f))/ ? c+1(r,f). در این پایان نامه قصد داریم بابررسی بعد ضربگر c-پوچ توان کران هایی برای ضربگر c-پوچ توان جبرلی ازبعد متناهی بدست آوریم. سپس به مقایسه بعد در کران های بالای ضربگر c-پوچ توان بپردازیم.