A division Algorithm for the Free Left Distributive Algebra

Details A division Algorithm for the Free Left Distributive Algebra A division Algorithm for the Free Left Distributive Algebra

1992-04-13

arxiv.org/abs/math/9204203v1

Mathematics

Logic

Scientific paper

The normal form theorem, proved in R. Laver, On the left distributive law
and the freeness of an algebra of elementary embeddings, Advances in
Mathematics 91 (1992), 209-231, for the free algebra $\Cal A$ on one
generator $x$ satisfying the left distributive law $a(bc) = (ab)(ac)$ is
extended by showing that members of $\Cal A$ can be put into a "division form."

Affiliated with

Also associated with

No associations

Rating

A division Algorithm for the Free Left Distributive Algebra does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A division Algorithm for the Free Left Distributive Algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A division Algorithm for the Free Left Distributive Algebra will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-288479