Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given $a_1,b_1,c_1$ in $F_2[t]$ with $\gcd(a_1,b_1,c_1)=1$ it is known that there exists an element $g$ of $SL(3, F_2[t])$ (by explicit construction) such that $g$ has first line $$ [a_1^2, b_1,c_1], $$ in particular this works when $a_1^2$ is in the ideal $(b_1,c_1)$ generated by $a_1$ and $b_1$ in $F_2[t].$

Question: It is possible to extend in the above manner the following line $L$ to an element of $SL(3, F_2[t])$

$$ L =[1+a,b,c] $$ where $a,b,c \in F_2[t]$ with $\gcd(1+a,b,c)=1$ and with $$ a^2 \in (b,c). $$

The case when $\gcd(b,c)=1$ is trivial since $1+a = M^2+ t N^2$ and $tN^2 \in (b,c)$ in these case.

The question (for a general characteristic $2$ ring R) appears in page $14$ of

www.math.psu.edu/oldColloquium/Ravi2.pdf

while the explicit construction described above appears in page $12.$

share|improve this question
    
How does this relate to what used to be called Serre's Conjecture, which was settled by Quillen and Suslin, and later by Vaserstein and Suslin? –  Gerry Myerson Feb 16 '12 at 22:39
    
@OP: You're working over a principal ideal domain, aren't you? Whenever you have $(a,b,c)\in \mathbb F_2[t]^{1\times 3}$ with $gcd(a,b,c)=1$, you will be able to (explicitly) complete this to a matrix in $GL_3(\mathbb F_2[t])$ (which in this case is the same as $SL_3$). Imposing any further conditions seems unnecessary. The slides you link to do this for an arbitrary ring, and only there does the problem become difficult. –  Florian Eisele Feb 17 '12 at 13:57
    
nice observation florian; probably you can post it as an answer ?; what is the explicit matrix on terms of $a,b,c$ ? –  Luis H Gallardo Feb 17 '12 at 19:11

2 Answers 2

up vote 1 down vote accepted

Okay, suppose $K$ is a field and you have three elements $a,b,c\in K[t]$ with $gcd(a,b,c)=1$. I will show that the row $(a,b,c)$ can always be extended to a matrix in $SL(3,K[t])$. Suppose that at least one of $b$ and $c$ is nonzero (otherwise $a\in K$ and extending the row is trivial).

Let $g:=gcd(b,c)$ and choose $x,y\in K[x]$ such that $xb+yc=g$. Since $gcd(a,g)$ must be one, we find $r,s\in K[x]$ such that $ra+sg=1$. Now the following $3\times 3$-matrix has determinant $1$ and extends the row $(a,b,c)$: $$ \left[\begin{array}{ccc}a&b&c\newline -s& \frac{rb}{g} & \frac{rc}{g} \newline 0 & -y & x\\ \end{array}\right] $$ It is an easy computation that this matrix has determinant one (unless I mistyped something). Note that the occurring fractions lie in $K[x]$, since $g$ divides both $b$ and $c$ by definition.

share|improve this answer

Let $R$ be an arbitrary ring, and $(x,y,z)$ a unimodular row. View this row as a linear map from $R$ to $R^3$. Then the unimodularity implies that this map splits, so its cokernel (call it $M$) is projective.

Now suppose that $M$ is free, and that free modules over $R$ have well-defined ranks (e.g. if $R$ is commutative). Then $M$ is isomorphic to $R^2$. A complementary splitting $R^2\rightarrow R^3$ tells you how to complete your matrix.

In particular, this works whenever all projective $R$-modules are free, which is certainly the case for any PID and in particular for $F_2[t]$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.