External (mathematics)

External (mathematics)

The term external is useful for describing certain algebraic structures. The term comes from the concept of an external binary operation which is a binary operation that draws from some "external set". To be more specific, a left external binary operation on "S" over "R" is a function f : R imes S ightarrow S and a right external binary operation on "S" over "R" is a function f : S imes R ightarrow S where "S" is the set the operation is defined on, and "R" is is the external set (the set the operation is defined "over").

Generalizations

The "external" concept is a generalization rather than a specialization, and as such, it is different from many terms in mathematics. A similar but opposite concept is that of an "internal binary function" from "R" to "S", defined as a function f : R imes R ightarrow S. Internal binary functions are like binary functions, but are a form of specialization, so they only accept a subset of the domains of binary functions. Here we list these terms with the function signatures they imply, along with some examples:

* f : Q imes R ightarrow S (binary function)
** Example: exponentiation (z^q : Bbb{Z} imes Bbb{Q} ightarrow Bbb{C} as in {(-1)}^{1/2} = i),
** Example: set membership ((in) : S imes mathbf{Set} ightarrow Bbb{B} where mathbf{Set} is the category of sets)
** Examples: matrix multiplication, the tensor product, and the Cartesian product
* f : R imes R ightarrow S (internal binary function)
** Example: internal binary relations ((le) : R imes R ightarrow Bbb{B})
** Examples: the dot product, the inner product, and metrics.

* f : R imes S ightarrow S (external binary operation)
** Examples: dynamical system flows, group actions, projection maps, and scalar multiplication.

* f : S imes S ightarrow S (binary operation).
** Examples: addition, multiplication, permutations, and the cross product.

External monoids

Since monoids are defined in terms of binary operations, we can define an "external monoid" in terms of "external binary operations". For the sake of simplicity, unless otherwise specified, a "left" external binary operation is implied. Using the term "external", we can make the generalizations:

* An external magma (S, imes) over "R" is a set "S" with an external binary operation. This satisfies r imes s in S for all s in S, r in R (external closure).
* An external semigroup (S, imes) over (R, cdot) is an external magma that satisfies (r_1 cdot r_2) imes s = r_1 imes (r_2 imes s) for all s in S, r_1, r_2 in R (externally associative).
* An external monoid (S, imes) over (R, cdot) is an external semigroup in which there exists 1 in R such that 1 imes s = s for all s in S (has external identity element).

Modules as external rings

Much of the machinery of modules and vector spaces are fairly straightforward, or discussed above. The only thing not covered yet is their distribution axioms. The external ring multiplication otimes is externally distributive in (S, oplus, otimes) over the ring (R, +, cdot) iff:
* r otimes (s_1 oplus s_2) = (r otimes s_1) oplus (r otimes s_2) for all s_1,s_2 in S, r in R and:
* (r_1 + r_2) otimes s = (r_1 otimes s) oplus (r_2 otimes s) for all s in S, r_1,r_2 in R

Using these terminology we can make the following local generalizations:
* An external semiring (S, oplus, otimes) over the semiring (R, +, cdot) is a commutative monoid (S, oplus) and an external monoid (S, otimes) where otimes is externally distributive in (S, oplus, otimes) over the semiring (R, +, cdot).
* An external ring (S, oplus, otimes) over the ring (R, +, cdot) is an Abelian group (S, oplus) and an external monoid (S, otimes) where otimes is externally distributive in (S, oplus, otimes) over the ring (R, +, cdot).

Other examples

Now that we have all the terminology we need, we can make simple connections between various structures:
* Complex exponentiation forms an external monoid (Bbb{C}, uparrow) over the Abelian group (Bbb{C}, cdot).
* Prime factorization forests form an external semiring (Bbb{N}, cdot, uparrow) over the semiring (Bbb{N}, +, cdot).
* A dynamical system (T, S, Phi) is an external monoid (S, Phi) over the monoid (T, {+}).
* A semimodule is an external semiring over a semiring.
* A module is an external ring over a ring.
* A vector space is an external ring over a field.

Usefulness

It could be argued that we already have terms for the concepts described here, like dynamical systems, group actions, modules, and vector spaces. However, there is still no other terminology available for an external monoid for which this terminology gives us a concise expression. Above all else, this is a reason this term should be of use in the mathematical community.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • External (disambiguation) — An external cost or benefit is an impact on any party not directly involved in an economic decision.External may also refer to:* External (mathematics), a concept in abstract algebra * Externals, a fictional group of X Men antagonists …   Wikipedia

  • Mathematics and art — have a long historical relationship. The ancient Egyptians and ancient Greeks knew about the golden ratio, regarded as an aesthetically pleasing ratio, and incorporated it into the design of monuments including the Great Pyramid,[1] the Parthenon …   Wikipedia

  • Mathematics (producer) — Mathematics At the Eurockéennes of 2007. Background information Also known as Allah Mathematics Origin …   Wikipedia

  • Mathematics & Mechanics of Solids —   …   Wikipedia

  • Mathematics (UIL) — Mathematics (sometimes referred to as General Math, to distinguish it from other mathematics related events) is one of several academic events sanctioned by the University Interscholastic League. It is also a competition held by the Texas Math… …   Wikipedia

  • Mathematics and architecture — have always been close, not only because architecture depends on developments in mathematics, but also their shared search for order and beauty, the former in nature and the latter in construction. Mathematics is indispensable to the… …   Wikipedia

  • Mathematics, Civics and Sciences Charter School — Address 447 N Broad Street Philadelphia, PA, 19123  Unite …   Wikipedia

  • Mathematics in Education and Industry — (MEI) is an independent A Level, AS Level, and GCSE Mathematics education and assessment body in the United Kingdom which was founded in the early 1960s. Although independent, MEI works in partnership with many organisations, including the… …   Wikipedia

  • Mathematics and Computer Education Journal — Mathematics and Computer Education   Discipline Mathematics education, computer science education Language English …   Wikipedia

  • Mathematics of Control, Signals, and Systems —   Disci …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”