20121201, 22:56  #1 
May 2005
Argentina
2·3·31 Posts 
Coprime matrix little puzzle
Today I thought of this puzzle: to find a square matrix over the integers, such that each coeficient satisfices (at the same time)
(1) being coprime to any consecutive coeficient (to the left/right or up/down) (2) being not coprime with any other coeficient. It is easy to find examples of 2x2 matrices that satisfy (1) and (2), for example take any pair of prime numbers p and q, and you can have the matrix It is a little more difficult to find a 3x3 matrix that satisfies (1) and (2). I got up with It's interesting (to me) that there are not many such matrices with "small" (in absolute number and in number of divisors) coeficients. Anyway there are infinite such matrices for any value of n. Can you give another example? Last fiddled with by Damian on 20121201 at 22:58 
20121202, 02:57  #2 
"Forget I exist"
Jul 2009
Dumbassville
2^{6}×131 Posts 
where r is a number that divides by p or q
for example: this should work according to what I understand, never mind I see my error now. Last fiddled with by science_man_88 on 20121202 at 03:00 
20121202, 02:59  #3 
Jun 2003
2^{2}×5^{2}×7^{2} Posts 
Does this work?
[10, 231, 26] [273, 2, 165] [22, 195, 14] In general [p.a, q.c.d, p.b] [q.b.c, p, q.a.d] [p.d, q.a.b, p.c] Does this work? 
20121202, 08:32  #4 
May 2005
Argentina
BA_{16} Posts 
Hi Axn,
Yes, indeed you found a better example than mine. I would search a 4x4 example, but this turned out to be rather boring, soo... 
20121202, 17:28  #5 
"Forget I exist"
Jul 2009
Dumbassville
20300_{8} Posts 

20121202, 23:41  #6 
Just call me Henry
"David"
Sep 2007
Cambridge (GMT/BST)
3×1,951 Posts 
I wouldn't say boring. We haven't worked out the generalization to nxn matrices yet(or proven we have found all forms for 3x3(which I doubt)).

20121203, 01:27  #7  
"Forget I exist"
Jul 2009
Dumbassville
2^{6}·131 Posts 
Quote:
[bd acgf be] [cef b cdg] [bg cde bf] though I'm not sure I suspect there's three type of squares to start from in a 3 by 3, my original started from the top left corner,this one is from the top center, I suspect the other main form is from the center, I may try that next, also I'm not sure if a change in method will produce a different one. edit: and the center produced ( for me at least): [cdf bg ceh] [be ac bd] [cdg bfh ceg] Last fiddled with by science_man_88 on 20121203 at 01:47 

20121203, 13:50  #8 
"Forget I exist"
Jul 2009
Dumbassville
20C0_{16} Posts 
I think I can show that infinite forms of 3 by 3 exist:
[bd acgf be] [cef b cdg] [bg cde bf] this is already balanced, add a varible anywhere and make the rest not coprime ( they already are so add the variable anywhere that makes them not touch): [bd acgf be] [cef bh cdg] [bg cde bf] works, so does: [bdh acgf beh] [cef bh cdg] [bgh cde bfh] etc. my basic ones seem to show a pattern of a perimeter of 21 letters axn's appears to break that mold as can the additions I showed. I have other possible patterns in the basic ones I came with that can all be broken as well. Last fiddled with by science_man_88 on 20121203 at 13:57 
20121204, 14:31  #9  
Just call me Henry
"David"
Sep 2007
Cambridge (GMT/BST)
16DD_{16} Posts 
Quote:
I reckon there are a finite number of solutions with the least possible number of letters. 

20121204, 14:34  #10 
"Forget I exist"
Jul 2009
Dumbassville
20300_{8} Posts 

20121204, 17:10  #11  
Just call me Henry
"David"
Sep 2007
Cambridge (GMT/BST)
3·1,951 Posts 
Quote:
It looks like axn posted a 6 variable solution in #3. All of science_man's seem to be 7 or 8 variables. Are there any more 6s? Can anyone prove 6 is is the minimal number? What is the minimal number for 4x4? 

Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Consecutive numbers not coprime to Euler's totient...  carpetpool  Miscellaneous Math  5  20170309 05:45 
Connectivity Matrix  Xyzzy  Lounge  13  20170221 18:29 
12+256 matrix job  fivemack  Factoring  11  20090818 17:39 
GF(2) Matrix request  oslik  Factoring  22  20081102 12:53 
[Need help] about Matrix Polynomial  buan  Homework Help  3  20070717 15:07 