Tetration Forum

Full Version: Poweroids
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
-- (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

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
The more I think about it, I think it is possible to show that:
  • is a poweroid if the inverse functions are understood a bit more.
  • is a poweroid, regardless of the extension. The only requirement I can think of is monotonicity.
  • is a poweroid, etc.

I think there are also poweroids with these operations (lower tetration, standard tetration, etc.) over complex domains, such as the one for exponentiation with the unit circle... but I'm not sure how exactly it would work for an arbitrary tetration extension.
(12/18/2009, 08:13 AM)andydude Wrote: [ -> ]
  • forms a poweroid.
...
Andrew Robbins

SCRATCH THAT! it is false.

, but which is not a member of the positive reals. However, with the slight modification
  • forms a poweroid.
I believe the statement is true.

The reason why 0 and 1 must be excluded is so that is uniquely defined. If we include 1, 0 in the base domain, exponent domain respectively, then roots are not uniquely defined, at which point it stops being a poweroid.