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 two *non-commuting* variables $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). 



A Non-Commutative Nullstellensatz
Let $F$ be a field, and let $f\_1,f\_2,\ldots, f\_k\in R:=F\langle\langle x,y\rangle\rangle$ with $k\in \mathbb{N}$. Order monomials in $R$ by degree, and then lexicographically. Since the question concerns computability, assume that there is an algorithm which spits out the coefficients of the monomials in $f\_i$ (in order). I claim that:


**Proposition**: Given any fixed $n\in \mathbb{N}$, there is an algorithm to decide whether $I^n\subseteq (f\_1,f\_2,\ldots, f\_k)$.


To prove this, first we need a lemma and some notation. Given $r\in R$ we write $r[n]$ for the homogeneous component of $r$ in degree $n$.


**Lemma**: $I^n\subseteq (f\_1,f\_2,\ldots, f\_k)$ iff for each of the $2^n$ monomials $m$ of total degree $n$ there is a power series $g\_m\in (f\_1,f\_2,\ldots, f\_k)$ such that $g\_m[n]=m$.


**Proof of the lemma**: The forward direction is obvious. For the reverse, let $m\_1,m\_2,\ldots, m\_{2^n}$ be the list of all monomials of degree $n$, and let $g\_i:=g\_{m\_i}$. Fix $h\in I^n$. We can write $h[n]=\sum m\_i a\_{i,n}$ for some $a\_{i,n}\in R$ (all of degree $0$). Setting $h':=h-\sum g\_i a\_{i,n}$, we see that $h'$ has zero homogeneous components in degree $\leq n$. We can write $h'[n+1]=\sum m\_i a\_{i,n+1}$ for some $a\_{i,n+1}\in R$ (all of degree $1$). Set $h''=h-\sum g\_i(a\_{i,n}+a\_{i,n+1})$. Repeating this process, we obtain power series $a\_i=\sum\_{m\geq n}a\_{i,m}$ such that $h=\sum\_i g\_i a\_i\in (f\_1,f\_2,\ldots, f\_k)$.$\qquad \blacksquare$


**Proof of the proposition**: By the lemma, it suffices to decide for each monomial $m\in I^n$, whether there is a power series $g\_m\in (f\_1,f\_2,\ldots, f\_k)$ with $g\_m[n]=m$. We may as well work in the quotient ring $R/I^{n+1}$. The image of the ideal $(f\_1,f\_2,\ldots, f\_k)$ modulo $I^{n+1}$ is a finite-dimensional $F$-vector space, and so the question is easily decided by a row-reduction style argument. [More concretely, one can modify the set $\{f\_1,f\_2,\ldots, f\_k\}$ modulo $I^{n+1}$ so that no leading terms are linear combinations of others, and the set is closed under left and right multiplication by $x$ and $y$. Then, the leading terms of degree $n$ either do or do not generate all of the appropriate monomials.]$\qquad \blacksquare$




---


To give an interesting example, consider $f\_1=yx-y^2+x^3$, $f\_2=xy-x^2$. One can show directly (using the methodology above) that $I^{5}\subseteq (f\_1,f\_2)$. If we modify $f\_1=yx-y^2+x^k$ (with $k\geq 3$), then we get $I^{k+2}\subseteq (f\_1,f\_2)$.




---


On the question of whether it is decidable, given as input only the algorithms describing the power series $f\_1,\ldots, f\_k$, whether an $n$ exists for which $I^n\subseteq (f\_1,f\_2,\ldots, f\_k)$, I don't know the answer.


