12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 13:12, 20 April 2012
, 13:12, 20 April 2012→Work Area
A '''semigroup''' consists of a nonempty set with an associative LOC on it. On formal occasions, a semigroup is introduced by means a formula like <math>X = (X, *),\!</math> interpreted to mean that a semigroup <math>X\!</math> is specified by giving two pieces of data, a nonempty set that conventionally, if somewhat ambiguously, goes under the same name <math>{}^{\backprime\backprime} X {}^{\prime\prime},\!</math> plus an associative binary operation denoted by <math>{}^{\backprime\backprime} * {}^{\prime\prime}.\!</math> In contexts where there is only one semigroup being discussed, or where the additional structure is otherwise understood, it is common practice to call the semigroup by the name of the underlying set. In contexts where more than one semigroup is formed on the same set, one may use notations like <math>X_i = (X, *_i)\!</math> to distinguish them.
A '''semigroup''' consists of a nonempty set with an associative LOC on it. On formal occasions, a semigroup is introduced by means a formula like <math>X = (X, *),\!</math> interpreted to mean that a semigroup <math>X\!</math> is specified by giving two pieces of data, a nonempty set that conventionally, if somewhat ambiguously, goes under the same name <math>{}^{\backprime\backprime} X {}^{\prime\prime},\!</math> plus an associative binary operation denoted by <math>{}^{\backprime\backprime} * {}^{\prime\prime}.\!</math> In contexts where there is only one semigroup being discussed, or where the additional structure is otherwise understood, it is common practice to call the semigroup by the name of the underlying set. In contexts where more than one semigroup is formed on the same set, one may use notations like <math>X_i = (X, *_i)\!</math> to distinguish them.
===Old Versions===
: The "nth multiple" of x in a semigroup X = <X, +>, for integer n > 0, is notated as "nx" and defined as follows. Proceeding recursively, for n = 1, let 1x = x, and for n > 1, let nx = (n 1)x + x.
: The "nth multiple" of x in a monoid X = <X, +, 0>, for integer n > 0, is defined the same way for n > 0, letting 0x = 0 when n = 0.
: The "nth multiple" of x in a group X = <X, +, 0>, for any integer n, is defined the same way for n > 0, letting nx = ( n)( x) for n < 0.
: A group X = <X, +, 0> is "cyclic" if and only if there is an element g C X such that every x C X can be written as x = ng for some n C Z. In this case, an element such as g is called a "generator" of the group.