Algebra Over A Field

In Mathematics , an algebra over a Field K, or a '''K-algebra''', is a Vector Space A over K equipped with a compatible notion of multiplication of elements of A.
A straightforward generalisation allows K to be any Commutative Ring .

(Some authors use the term "algebra" synonymously with " Associative Algebra ", but this article does not. Note also the other uses of the word listed in the Algebra article.)

DEFINITIONS

Let ''K'' be a field, and let ''A'' be a Vector Space over ''K''. Let "multiplication", denoted by juxtaposition, be a Binary Operation over ''A''. ( The operation goes by other names in some specialized algebras.) If x and '''y''' are any two elements ("vectors")of ''A'', '''xy''' is the ''product'' of x and '''y'''. Multiplication is Bilinear , which means that the following identities hold for any three elements x, '''y''', and '''z''' of ''A'', and all elements ("scalars") ''a'' and ''b'' of ''K'':

(x + y)z = xz + yz;

x(y + z) = xy + xz;

(''a''x)y = ''a''(xy); and

x(''b''y) = ''b''(xy);

Associate

''K'' can be a Commutative Ring , in which case ''A'' and ''K'' form a Module , with bilinear multiplication again satisfying the above identities. In this case, ''A'' is a ''K''-algebra, and ''K'' is the ''base ring'' of ''A''.

Two algebras ''A'' and ''B'' over ''K'' are isomorphic if there exists a Bijective ''K''- Linear Map ''f'' : ''A'' → ''B'' such that ''f''('''xy''') = ''f''('''x''') ''f''('''y''') for all '''x''','''y''' in ''A''. For all practical purposes, isomorphic algebras differ only by notation.

PROPERTIES

For algebras over a field, the bilinear multiplication from A × A to A is completely determined by the multiplication of Basis elements of A.
Conversely, once a basis for A has been chosen, the products of basis elements can be set arbitrarily, and then extended in a unique way to a bilinear operator on A, i.e. so that the resulting multiplication will satisfy the algebra laws.

Thus, given the field K, any algebra can be specified Up To Isomorphism by giving its Dimension (say n), and specifying n³ ''structure coefficients'' c_i,j,k, which are Scalar s.
These structure coefficients determine the multiplication in A via the following rule:
:

\mathbf{e}_{i} \mathbf{e}_{j} = \sum_{k=1}^n c_{i,j,k} \mathbf{e}_{k}

where e₁,...,e_n form a basis of A.
The only requirement on the structure coefficients is that, if the dimension n is Infinite , then this sum must always Converge (in whatever sense is appropriate for the situation).

Note however that several different sets of structure coefficients can give rise to isomorphic algebras.

When the algebra can be endowed with a Metric , then the structure coefficients are written with upper and lower indices, so as to distinguish their transformation properties under coordinate transformations. Specifically, lower indices are Covariant indices, and transform via Pullback s, while upper indices are Contravariant , transforming under Pushforward s. Thus, in Mathematical Physics , the structure coefficients are often written c_i,j^k, and their defining rule is written using the Einstein Notation as
: e_ie_j = c_i,j^ke_k.
If you apply this to vectors written in Index Notation , then this becomes
: (xy)^k = c_i,j^kxⁱy^j.

If K is only a commutative ring and not a field, then the same process works if A is a Free Module over K. If it isn't, then the multiplication is still completely determined by its action on a Generating Set of A; however, the structure constants can't be specified arbitrarily in this case, and knowing only the structure constants does not specify the algebra up to isomorphism.
→

KINDS OF ALGEBRAS AND EXAMPLES

A commutative algebra is one whose multiplication is Commutative ; an Associative Algebra is one whose multiplication is Associative . These include the most familiar kinds of algebras.

Associative algebras:

--- the algebra of all ''n''-by-''n'' Matrices over the field (or commutative ring) ''K''. Here the multiplication is ordinary Matrix Multiplication .

--- Group Algebra s, where a Group serves as a basis of the vector space and algebra multiplication extends group multiplication

--- the commutative algebra ''K'' {Link without Title} of all Polynomial s over ''K''

--- algebras of Function s, such as the R-algebra of all real-valued Continuous functions defined on the Interval {Link without Title} , or the '''C'''-algebra of all Holomorphic Function s defined on some fixed open set in the Complex Plane . These are also commutative.

--- Incidence Algebra s are built on certain Partially Ordered Set s.

--- algebras of Linear Operator s, for example on a Hilbert Space . Here the algebra multiplication is given by the Composition of operators. These algebras also carry a Topology ; many of them are defined on an underlying Banach Space which turns them into Banach Algebra s. If an involution is given as well, we obtain B-star-algebra s and C
algebra s. These are studied in Functional Analysis .

The best-known kinds of non-associative algebras are those which are nearly associative, that is, in which some simple equation constrains the differences between different ways of associating multiplication of elements. These include:

Lie Algebra s, for which we require ''xx'' = 0 and the Jacobi Identity (''xy'')''z'' + (''yz'')''x'' + (''zx'')''y'' = 0. For these algebras the product is called the ''Lie bracket'' and is conventionally written {Link without Title} instead of ''xy''. Examples include:

--- Euclidean Space R³ with multiplication given by the Vector Cross Product (with K the field R of Real Number s);

--- algebras of Vector Field s on a Differentiable Manifold (if K is R or the Complex Number s C) or an Algebraic Variety (for general K);

--- every associative algebra gives rise to a Lie algebra by using the Commutator as Lie bracket. In fact every Lie algebra can either be constructed this way, or is a subalgebra of a Lie algebra so constructed.

Jordan Algebra s, for which we require (''xy'')''x''² = ''x''(''yx''²) and also ''xy'' = ''yx''.

--- every associative algebra over a field of Characteristic other than 2 gives rise to a Jordan algebra by defining a new multiplication ''x---y'' = (1/2)(''xy'' + ''yx''). In contrast to the Lie algebra case, not every Jordan algebra can be constructed this way. Those that can are called ''special''.

Alternative Algebra s, for which we require that (''xx'')''y'' = ''x''(''xy'') and (''yx'')''x'' = ''y''(''xx''). The most important examples are the Octonions (an algebra over the reals), and generalizations of the octonions over other fields. (Obviously all associative algebras are alternative.) Up to isomorphism the only finite-dimensional real alternative algebras are the reals, complexes, quaternions and octonions.

Power-associative Algebra s, for which we require that ''x^mxⁿ'' = ''x^m+n'', where ''m''≥1 and ''n''≥1. (Here we formally define ''xⁿ'' recursively as ''x''(''x''^''n''-1).) Examples include all associative algebras, all alternative algebras, and the Sedenion s.

More classes of algebras:

Division Algebra s, in which multiplicative inverses exist or division can be carried out. The finite-dimensional division algebras over the field of Real Number s can be classified nicely.

Quadratic Algebra s, for which we require that ''xx'' = ''re'' + ''sx'', for some elements ''r'' and ''s'' in the ground field, and ''e'' a unit for the algebra. Examples include all finite-dimensional alternative algebras, and the algebra of real 2-by-2 matrices. Up to isomorphism the only alternative, quadratic real algebras without divisors of zero are the reals, complexes, quaternions, and octonions.

The Cayley-Dickson Algebra s (where K is R), which begin with:

--- C (a commutative and associative algebra);

--- the Quaternion s H (an associative algebra);

--- the Octonion s (an Alternative Algebra );

--- the Sedenion s (a Power-associative Algebra , like all of the Cayley-Dickson algebras).

The Poisson Algebra s are considered in Geometric Quantization . They carry two multiplications, turning them into commutative algebras and Lie algebras in different ways.

INDEX-FREE NOTATION

The definition of a k-algebra is also frequently given in index-free notation. In this case, a k-algebra is a field ''K'' and a ring ''A'' together with a Ring Morphism

:

\eta:K	o A

Since η is a ring morphism, then one must have either that ''A'' is the trivial ring, or that η is Injective . This definition is equivalent to that above, with scalar multiplication

:

K	imes A 	o A

given by

:

ka \mapsto \eta(k) a

.

K-ALGEBRA MORPHISM

Given ''K''-algebras ''A'' and ''B'', a ''K''-algebra morphism is a map

f:A	o B

such that ''f'' is a ring morphism that commutes with the scalar multiplication defined by η; that is, the following diagram commutes:

:

\begin{matrix} 
&& K &&   \
& \eta_A \swarrow & \, & \eta_B \searrow & \
A &&  \begin{matrix} f \ \longrightarrow \end{matrix}  && B 
\end{matrix}

which one may write as

:

f(ka)=kf(a)

for all

k\in K

and

a \in A

. The space of all ''K''-algebra morphisms is frequently written as

:

\mathbf{Alg}_K (A,B)

A ''K''-algebra isomorphism is a Bijective ''K''-algebra morphism.

SEE ALSO

Clifford Algebra

Differential Algebra

Geometric Algebra

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

	CATEGORIES ABOUT ALGEBRA OVER A FIELD

	nonassociative algebra

Information About

Algebra Over A Field