Macht associativity

In der abstrakten Algebra ist Macht associativity ein Eigentum einer binären Operation, die eine schwache Form von associativity ist.

Wie man

sagt, ist eine Algebra (oder mehr allgemein ein Magma) mit der Macht assoziativ, wenn die durch ein Element erzeugte Subalgebra assoziativ ist.

Konkret bedeutet das, dass, wenn ein Element x allein mehrere Male multipliziert wird, es egal ist, in der Ordnung die Multiplikationen, so zum Beispiel x (x (xx)) = (x (xx)) x = (xx) (xx) ausgeführt werden.

Das ist stärker als bloßer Ausspruch, dass (xx) x = x (xx) für jeden x in der Algebra, aber schwächer als alternativity oder associativity, der dass (xy) z = x (yz) für jeden x, y, und z in der Algebra verlangt.

Jede assoziative Algebra ist offensichtlich mit der Macht assoziativ, aber ist auch alle anderen alternativen Algebra (wie die octonions, die nichtassoziativ sind), und sogar einige nichtalternative Algebra wie der sedenions. Jede Algebra, deren Elemente idempotent sind, ist auch mit der Macht assoziativ.

Exponentiation zur Macht jeder natürlichen Zahl außer der Null kann durchweg definiert werden, wann auch immer Multiplikation mit der Macht assoziativ ist.

Zum Beispiel gibt es keine Zweideutigkeit betreffs, ob x als (xx) x oder als x (xx) definiert werden sollte, da diese gleich sind.

Exponentiation zur Macht der Null kann auch definiert werden, wenn die Operation ein Identitätselement hat, so wird die Existenz von Identitätselementen besonders nützlich in mit der Macht assoziativen Zusammenhängen.

Ein nettes Ersatz-Gesetz hält für mit der Wirkleistung assoziative Algebra mit der Einheit, die grundsätzlich behauptet, dass die Multiplikation von Polynomen, wie erwartet, arbeitet. Für f ein echtes Polynom in x, und für irgendwelchen in solch einer Algebra definieren f (a), um das Element der Algebra zu sein, die sich aus dem offensichtlichen Ersatz in f ergibt. Dann für irgendwelche zwei solche Polynome f und g haben wir das (fg) (a) = f (a) g (a).

  • R.D. Schafer, Eine Einführung in nichtassoziative Algebra, Dover, 1995, internationale Standardbuchnummer 0-486-68813-5. Junge. V, Seiten 128-148.

Pandschabische Sprache / Pierre de Coubertin
Impressum & Datenschutz