Finite representations for two small relation algebras |
| |
| Authors: | Jeremy F. Alm Roger D. Maddux |
| |
| Affiliation: | 1.Department of Mathematics,Lamar University,Beaumont,USA;2.Department of Mathematics,Iowa State University,Ames,USA |
| |
| Abstract: | In this note, we prove that two different finite relation algebras are representable over finite sets. We give an explicit group representation of (52_{65}) over ( (mathbb {Z}/2mathbb {Z})^{10}). We also give a representation of (59_{65}) over (mathbb {Z}/113mathbb {Z}) using a technique due to Comer. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
