2017/11/30 by Alm, Jeremy F., Maddux, Roger D.
#03G15 #FOS: Mathematics #Logic (math.LO) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1712.00129
In this note, we give two different proofs that relation algebra 5265 is representable over a finite set. The first is probabilistic, and uses Johnson schemes. The second is an explicit group representation over (ℤ/2ℤ)10. We also give a finite representation of 5965 over ℤ/113ℤ using a technique due to Comer.