Take $S$ and $T$ two subsets of homogeneous elements of the associative noncommutative free algebra $F$ over a field $k$ generated by a set $X$, provided with a positive grading. To exclude pathologies $S$ and $T$ are contained in $\bar{F}.\bar{F}$, $\bar{F}$ denoting the augmentation ideal of $F$. If $S$ and $T$ are minimal generator sets for their respective generated ideals, is it the same true for the set $S.T$ of products of elements of $S$ and $T$?
6
-
$\begingroup$ What do you mean by «to exclude pathologies»? The set $F\cdot F$ is just $F$. $\endgroup$– Mariano Suárez-ÁlvarezApr 8, 2013 at 20:55
-
$\begingroup$ I meant $\bar{F}.\bar{F}$, $\bar{F}$ denoting the augmentation ideal. I've already edited it. Thanks for pointing it out. $\endgroup$– bruceApr 8, 2013 at 21:15
-
1$\begingroup$ Left ideals? Right ideals? Two-sided ideals? $\endgroup$– Will SawinApr 8, 2013 at 22:41
-
$\begingroup$ I was just using (what I suppose is) the standard convention (e.g. in the book of J. McConnell and J. Robson, or in the one of F. Anderson and K. Fuller): ideal = two-sided ideal. Thanks for the comment. $\endgroup$– bruceApr 9, 2013 at 2:54
-
$\begingroup$ In my opinion one should specify when ideals are two-sided. $\endgroup$– Fernando MuroJun 22, 2013 at 19:46
|
Show 1 more comment