In studying presentations of pro-$p$-groups via generators and relations, one is led (via the so-called Magnus embedding) to questions involving power series in non-commuting variables. Results from local algebraic geometry occasionally shed some insight on how to make progress, but more often that not, I find myself lacking appropriate analogs of major theorems from the commutative case. I haven't had much luck in books on non-commutative ring theory or non-commutative algebraic geometry -- the focus seems to be on completely different ideas (though I'll happily stand corrected). In any case, here's an important and seemingly basic question that I don't know how to answer.

Let $\mathbb{F}_p\langle\langle x,y\rangle\rangle$ be the ring of formal power series over $\mathbb{F}_p$ in twonon-commutingvariables $x$ and $y$. This ring has a unique two-sided maximal ideal $I=(x,y)$. Suppose $f,g\in I$. Can anything be said about the smallest $n$, if one exists, such that $I^n\subset (f,g)$? Namely, when does this quantity exist? Is this quantity computable? Boundable?

It's trivial to come up with examples for which there is no $n$, e.g., $(xy,yx)$, since no $x^n$ is contained in this ideal. I'm not sure how exactly to quantify this observation. Is there some kind of non-commutative resultant at play here?

**Edit:** I think it might be helpful for me to update with some examples as we go along. Here's one that I thing captures at least some of the interesting parts of this question.

Take $p=3$, $f=x+y$, and $g=x^3$. Then the inclusion $I^3\subset (f,g)$ can be seen by taking each of the 8 monomials in $I^3$ verifying that they are in $(f,g)$, e.g., $yxy=yfy-f^3+g\in (f,g)$. The same argument applies with the same $f$ and taking $g=x+y+x^3$. This seems to me evidence that this question can't be answered only by looking at the leading monomials (though admittedly it might be easy enough to exclude these trivial counter-examples).