<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">Hey all,</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">Given a square matrix over Z2, how do I find whether or not it is the tensor product of two simpler square matrices? Are there well-known algorithms for deciding this as well as for finding what matrices the original *can be* factored into?</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">[*] Because it is obvious that such factorizations will not always be unique even over the field Z2.</div></div>