Page 1 Next

Displaying 1 – 20 of 120

Showing per page

A dyadic view of rational convex sets

Gábor Czédli, Miklós Maróti, Anna B. Romanowska (2014)

Commentationes Mathematicae Universitatis Carolinae

Let F be a subfield of the field of real numbers. Equipped with the binary arithmetic mean operation, each convex subset C of F n becomes a commutative binary mode, also called idempotent commutative medial (or entropic) groupoid. Let C and C ' be convex subsets of F n . Assume that they are of the same dimension and at least one of them is bounded, or F is the field of all rational numbers. We prove that the corresponding idempotent commutative medial groupoids are isomorphic iff the affine space F n ...

A groupoid characterization of Boolean algebras

Ivan Chajda (2004)

Discussiones Mathematicae - General Algebra and Applications

We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.

A groupoid characterization of orthomodular lattices

Ivan Chajda (2005)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

We prove that an orthomodular lattice can be considered as a groupoid with a distinguished element satisfying simple identities.

A tree as a finite nonempty set with a binary operation

Ladislav Nebeský (2000)

Mathematica Bohemica

A (finite) acyclic connected graph is called a tree. Let W be a finite nonempty set, and let H ( W ) be the set of all trees T with the property that W is the vertex set of T . We will find a one-to-one correspondence between H ( W ) and the set of all binary operations on W which satisfy a certain set of three axioms (stated in this note).

Almost associative operations generating a minimal clone

Tamás Waldhauser (2006)

Discussiones Mathematicae - General Algebra and Applications

Characterizations of 'almost associative' binary operations generating a minimal clone are given for two interpretations of the term 'almost associative'. One of them uses the associative spectrum, the other one uses the index of nonassociativity to measure how far an operation is from being associative.

An algebraic characterization of geodetic graphs

Ladislav Nebeský (1998)

Czechoslovak Mathematical Journal

We say that a binary operation * is associated with a (finite undirected) graph G (without loops and multiple edges) if * is defined on V ( G ) and u v E ( G ) if and only if u v , u * v = v and v * u = u for any u , v V ( G ) . In the paper it is proved that a connected graph G is geodetic if and only if there exists a binary operation associated with G which fulfils a certain set of four axioms. (This characterization is obtained as an immediate consequence of a stronger result proved in the paper).

An associative operation on monogenic left distributive systems

Patrick Dehornoy (1995)

Commentationes Mathematicae Universitatis Carolinae

Term substitution induces an associative operation on the free objects of any equational variety. In the case of left distributivity, the construction can be extended to any monogenic structure.

Antiassociative groupoids

Milton Braitt, David Hobby, Donald Silberger (2017)

Mathematica Bohemica

Given a groupoid G , , and k 3 , we say that G is antiassociative if an only if for all x 1 , x 2 , x 3 G , ( x 1 x 2 ) x 3 and x 1 ( x 2 x 3 ) are never equal. Generalizing this, G , is k -antiassociative if and only if for all x 1 , x 2 , ... , x k G , any two distinct expressions made by putting parentheses in x 1 x 2 x 3 x k are never equal. We prove that for every k 3 , there exist finite groupoids that are k -antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.

Completely dissociative groupoids

Milton Braitt, David Hobby, Donald Silberger (2012)

Mathematica Bohemica

In a groupoid, consider arbitrarily parenthesized expressions on the k variables x 0 , x 1 , 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 σ ( k ) . If u , v F σ ( k ) are distinct, the statement that u and v are equal for all values of x 0 , x 1 , x k - 1 is a generalized associative law. Among other results, we show that many small groupoids are completely dissociative, meaning that no generalized associative law holds...

Definability for equational theories of commutative groupoids

Jaroslav Ježek (2012)

Czechoslovak Mathematical Journal

We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.

Currently displaying 1 – 20 of 120

Page 1 Next