Post a comment |
уточнения | August 4th, 2006 - 11:57 am |
---|
Поскольку речь об алгоритмической проблеме, надо уточнить, в каком виде задаётся k-подалгебра A. То есть, можно ли, скажем, считать, что она задана конечным набором порождающих? Существенно ли, что это именно подалгебра, а не просто k-подпространство (такой вопрос тоже имел бы смысл)?
Подалгебра B здесь вроде как лишняя -- если задана A и даны мономы, то в качестве B можно взять всю алгебру многочленов.
Ограничение на поле вряд ли очень важно, но формально это тоже надо оговорить, так как по умолчанию мы работаем с "финитными" объектами.
|
|
Top of Page |
Powered by LJ.Rossia.org |