-- (n.b. mimeTeX sucks, use mathTeX instead, it also works with myBB)

OK, so I'm done with finals, so I thought I would get back into the quasigroup thing (as Henryk started here). It took me a while to figure out how to deal with exponentiation as a quasigroup, specifically because

, so is not uniquely defined as a. Since must be uniquely defined for it to be a quasigroup, it follows that does not form a quasigroup under exponentiation.

and , but , so does not form a quasigroup under exponentiation.

So I started thinking about why it didn't form a quasigroup, and what could be done about it. Then I realized that it was because the two domains were being forcefully equated. Conceptually, the base and the exponent may come from domains that do not even intersect! Consider, for example bases in the interval and positive integer exponents. This does not form a quasigroup, but you can see that is at least closed over these domains. So if separating the domains is required to explain how exponentiation relates to quasigroups, then this function-with-2-domains is no longer a binary operation! However, I have heard people refer to this kind of binary function as a scalar multiplication and an external binary operation, so we can call these things external quasigroups.

A related structure to quasigroups is that of a loop, but in no way, shape or form does exponentiation form a loop, since there does not exist an identity element such that for all y, granted, there does exist a function such that , but this follows directly from the quasigroup structure. However, exponentiation does have a right-identity element that acts as for all x. So this gives me some justification to make the following definition.

In other words, let be subsets of . If is a poweroid, then the operations satisfy:

For starters, poweroids do exist, namely the trivial poweroid where

and .

Some of the things that I have found recently are that

I'm starting to think that this looks a lot like iteration (semi)groups, but I don't have a clear idea of how they're related at the moment.

Andrew Robbins

OK, so I'm done with finals, so I thought I would get back into the quasigroup thing (as Henryk started here). It took me a while to figure out how to deal with exponentiation as a quasigroup, specifically because

does not form a quasigroup.

Proof., so is not uniquely defined as a. Since must be uniquely defined for it to be a quasigroup, it follows that does not form a quasigroup under exponentiation.

does not form a quasigroup.

Proof.and , but , so does not form a quasigroup under exponentiation.

So I started thinking about why it didn't form a quasigroup, and what could be done about it. Then I realized that it was because the two domains were being forcefully equated. Conceptually, the base and the exponent may come from domains that do not even intersect! Consider, for example bases in the interval and positive integer exponents. This does not form a quasigroup, but you can see that is at least closed over these domains. So if separating the domains is required to explain how exponentiation relates to quasigroups, then this function-with-2-domains is no longer a binary operation! However, I have heard people refer to this kind of binary function as a scalar multiplication and an external binary operation, so we can call these things external quasigroups.

A related structure to quasigroups is that of a loop, but in no way, shape or form does exponentiation form a loop, since there does not exist an identity element such that for all y, granted, there does exist a function such that , but this follows directly from the quasigroup structure. However, exponentiation does have a right-identity element that acts as for all x. So this gives me some justification to make the following definition.

A poweroid is an external quasigroup with right-identity.

In other words, let be subsets of . If is a poweroid, then the operations satisfy:

For starters, poweroids do exist, namely the trivial poweroid where

and .

Some of the things that I have found recently are that

- forms a poweroid.

- forms a poweroid.

- forms a poweroid.

- For any complex number u such that , let be the complex unit circle, and let , then forms a poweroid.

I'm starting to think that this looks a lot like iteration (semi)groups, but I don't have a clear idea of how they're related at the moment.

Andrew Robbins