Geodesic
Completely dissociative groupoids
Mathematica Bohemica, Tome 137 (2012) no. 1, pp. 79-97
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

In a groupoid, consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, \dots x_{k-1}$ where each $x_i$ appears once and all variables appear in order of their indices. We call these expressions $k$-ary formal products, and denote the set containing all of them by $F^\sigma (k)$. If $u,v \in F^\sigma (k)$ are distinct, the statement that $u$ and $v$ are equal for all values of $x_0, x_1, \dots x_{k-1}$ is a generalized associative law. \endgraf Among other results, we show that many small groupoids are completely dissociative, meaning that no generalized associative law holds in them. These include the two groupoids on $\{ 0,1 \} $ where the groupoid operation is implication and NAND, respectively.
In a groupoid, consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, \dots x_{k-1}$ where each $x_i$ appears once and all variables appear in order of their indices. We call these expressions $k$-ary formal products, and denote the set containing all of them by $F^\sigma (k)$. If $u,v \in F^\sigma (k)$ are distinct, the statement that $u$ and $v$ are equal for all values of $x_0, x_1, \dots x_{k-1}$ is a generalized associative law. \endgraf Among other results, we show that many small groupoids are completely dissociative, meaning that no generalized associative law holds in them. These include the two groupoids on $\{ 0,1 \} $ where the groupoid operation is implication and NAND, respectively.
DOI : 10.21136/MB.2012.142789
Classification : 05A99, 08A99, 08B99, 08C10, 20N02
Keywords: groupoid; dissociative groupoid; generalized associative groupoid; formal product; reverse Polish notation (rPn) 
@article{10_21136_MB_2012_142789,
     author = {Braitt, Milton and Hobby, David and Silberger, Donald},
     title = {Completely dissociative groupoids},
     journal = {Mathematica Bohemica},
     pages = {79--97},
     year = {2012},
     volume = {137},
     number = {1},
     doi = {10.21136/MB.2012.142789},
     mrnumber = {2978447},
     zbl = {1249.20075},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2012.142789/}
}
TY  - JOUR
AU  - Braitt, Milton
AU  - Hobby, David
AU  - Silberger, Donald
TI  - Completely dissociative groupoids
JO  - Mathematica Bohemica
PY  - 2012
SP  - 79
EP  - 97
VL  - 137
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2012.142789/
DO  - 10.21136/MB.2012.142789
LA  - en
ID  - 10_21136_MB_2012_142789
ER  - 
%0 Journal Article
%A Braitt, Milton
%A Hobby, David
%A Silberger, Donald
%T Completely dissociative groupoids
%J Mathematica Bohemica
%D 2012
%P 79-97
%V 137
%N 1
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2012.142789/
%R 10.21136/MB.2012.142789
%G en
%F 10_21136_MB_2012_142789
Braitt, Milton; Hobby, David; Silberger, Donald. Completely dissociative groupoids. Mathematica Bohemica, Tome 137 (2012) no. 1, pp. 79-97. doi: 10.21136/MB.2012.142789

[1] Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31 (1935), 433-454. | DOI | Zbl

[2] Braitt, M. S., Hobby, D., Silberger, D.: Antiassociative groupoids. Preprint available.

[3] Braitt, M. S., Silberger, D.: Subassociative groupoids. Quasigroups Relat. Syst. 14 (2006), 11-26. | MR | Zbl

[4] Braitt, M. S., Hobby, D., Silberger, D.: The sizings and subassociativity type of a groupoid. In preparation.

[5] Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Springer (1981). | MR | Zbl

[6] Gould, H. W.: Research Bibliography of Two Special Sequences. Combinatorial Research Institute, West Virginia University, Morgantown (1977).

[7] Quine, W. V.: A way to simplify truth functions. Am. Math. Mon. 62 (1955), 627-631. | DOI | MR | Zbl

[8] Quine, W. V.: Selected Logic Papers: Enlarged Edition. Harvard University Press (1995). | MR

[9] Silberger, D. M.: Occurrences of the integer $(2n-2)!/n!(n-1)!$. Pr. Mat. 13 (1969), 91-96. | MR | Zbl

Cité par Sources :