In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, and more specifically in
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
, a *-algebra (or involutive algebra) is a mathematical structure consisting of two involutive rings and , where is commutative and has the structure of an
associative algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplic ...
over . Involutive algebras generalize the idea of a number system equipped with conjugation, for example the
complex numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
and
complex conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
,
matrices
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
over the complex numbers and
conjugate transpose
In mathematics, the conjugate transpose, also known as the Hermitian transpose, of an m \times n complex matrix \boldsymbol is an n \times m matrix obtained by transposing \boldsymbol and applying complex conjugate on each entry (the complex con ...
, and
linear operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
s over a
Hilbert's space and
Hermitian adjoint
In mathematics, specifically in operator theory, each linear operator A on a Euclidean vector space defines a Hermitian adjoint (or adjoint) operator A^* on that space according to the rule
:\langle Ax,y \rangle = \langle x,A^*y \rangle,
where ...
s.
However, it may happen that an algebra admits no
involution
Involution may refer to:
* Involute, a construction in the differential geometry of curves
* '' Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour inpu ...
.
Definitions
*-ring
In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a *-ring is a
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
with a map that is an
antiautomorphism
In mathematics, an antihomomorphism is a type of function defined on sets with multiplication that reverses the order of multiplication. An antiautomorphism is a bijective antihomomorphism, i.e. an antiisomorphism, from a set to itself. From b ...
and an
involution
Involution may refer to:
* Involute, a construction in the differential geometry of curves
* '' Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour inpu ...
.
More precisely, is required to satisfy the following properties:
*
*
*
*
for all in .
This is also called an involutive ring, involutory ring, and ring with involution. The third axiom is implied by the second and fourth axioms, making it redundant.
Elements such that are called ''
self-adjoint
In mathematics, and more specifically in abstract algebra, an element ''x'' of a *-algebra is self-adjoint if x^*=x. A self-adjoint element is also Hermitian, though the reverse doesn't necessarily hold.
A collection ''C'' of elements of a sta ...
''.
Archetypical examples of a *-ring are fields of
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s and
algebraic number
An algebraic number is a number that is a root of a non-zero polynomial in one variable with integer (or, equivalently, rational) coefficients. For example, the golden ratio, (1 + \sqrt)/2, is an algebraic number, because it is a root of the po ...
s with
complex conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
as the involution. One can define a
sesquilinear form
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows o ...
over any *-ring.
Also, one can define *-versions of algebraic objects, such as
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...
and
subring
In mathematics, a subring of ''R'' is a subset of a ring that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and which shares the same multiplicative identity as ''R''. For those wh ...
, with the requirement to be *-
invariant
Invariant and invariance may refer to:
Computer science
* Invariant (computer science), an expression whose value doesn't change during program execution
** Loop invariant, a property of a program loop that is true before (and after) each iteratio ...
: and so on.
Note that *-rings are unrelated to
star semirings in the theory of computation.
*-algebra
A *-algebra is a *-ring, with involution * that is an
associative algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplic ...
over a
commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
*-ring with involution , such that .
The base *-ring is often the complex numbers (with * acting as complex conjugation).
It follows from the axioms that * on is
conjugate-linear
In mathematics, a function f : V \to W between two complex vector spaces is said to be antilinear or conjugate-linear if
\begin
f(x + y) &= f(x) + f(y) && \qquad \text \\
f(s x) &= \overline f(x) && \qquad \text \\
\end
hold for all vectors x, y \ ...
in , meaning
:
for .
A *-homomorphism is an
algebra homomorphism
In mathematics, an algebra homomorphism is a homomorphism between two associative algebras. More precisely, if and are algebras over a field (or commutative ring) , it is a function F\colon A\to B such that for all in and in ,
* F(kx) = kF(x) ...
that is compatible with the involutions of and , i.e.,
* for all in .
Philosophy of the *-operation
The *-operation on a *-ring is analogous to
complex conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
on the complex numbers. The *-operation on a *-algebra is analogous to taking
adjoints in complex
matrix algebra
In abstract algebra, a matrix ring is a set of matrices with entries in a ring ''R'' that form a ring under matrix addition and matrix multiplication . The set of all matrices with entries in ''R'' is a matrix ring denoted M''n''(''R'')Lang, ''U ...
s.
Notation
The * involution is a
unary operation
In mathematics, an unary operation is an operation with only one operand, i.e. a single input. This is in contrast to binary operations, which use two operands. An example is any function , where is a set. The function is a unary operation on ...
written with a postfixed star glyph centered above or near the
mean line
In typography, the mean line is the imaginary line at the top of the x-height.
upright 2.0, alt=A diagram showing the line terms used in typography
Round glyphs will tend to break ( overshoot) the mean line slightly in many typefaces, since th ...
:
: , or
: (
TeX
Tex may refer to:
People and fictional characters
* Tex (nickname), a list of people and fictional characters with the nickname
* Joe Tex (1933–1982), stage name of American soul singer Joseph Arrington Jr.
Entertainment
* ''Tex'', the Italian ...
:
x^*
),
but not as ""; see the
asterisk
The asterisk ( ), from Late Latin , from Ancient Greek , ''asteriskos'', "little star", is a typographical symbol. It is so called because it resembles a conventional image of a heraldic star.
Computer scientists and mathematicians often voc ...
article for details.
Examples
* Any
commutative ring
In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not sp ...
becomes a *-ring with the trivial (
identical
Two things are identical if they are the same, see Identity (philosophy).
Identical may also refer to:
* ''Identical'' (Hopkins novel), a 2008 young adult novel by Ellen Hopkins
* ''Identical'' (Turow novel), a 2013 legal drama novel by Scott T ...
) involution.
* The most familiar example of a *-ring and a *-algebra over
reals is the field of complex numbers where * is just
complex conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
.
* More generally, a
field extension
In mathematics, particularly in algebra, a field extension is a pair of fields E\subseteq F, such that the operations of ''E'' are those of ''F'' restricted to ''E''. In this case, ''F'' is an extension field of ''E'' and ''E'' is a subfield of ...
made by adjunction of a
square root
In mathematics, a square root of a number is a number such that ; in other words, a number whose ''square'' (the result of multiplying the number by itself, or ⋅ ) is . For example, 4 and −4 are square roots of 16, because .
E ...
(such as the
imaginary unit
The imaginary unit or unit imaginary number () is a solution to the quadratic equation x^2+1=0. Although there is no real number with this property, can be used to extend the real numbers to what are called complex numbers, using addition an ...
) is a *-algebra over the original field, considered as a trivially-*-ring. The *
flips the sign of that square root.
* A
quadratic integer
In number theory, quadratic integers are a generalization of the usual integers to quadratic fields. Quadratic integers are algebraic integers of degree two, that is, solutions of equations of the form
:
with and (usual) integers. When algebrai ...
ring (for some ) is a commutative *-ring with the * defined in the similar way;
quadratic field
In algebraic number theory, a quadratic field is an algebraic number field of degree two over \mathbf, the rational numbers.
Every such quadratic field is some \mathbf(\sqrt) where d is a (uniquely defined) square-free integer different from 0 an ...
s are *-algebras over appropriate quadratic integer rings.
*
Quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quatern ...
s,
split-complex number
In algebra, a split complex number (or hyperbolic number, also perplex number, double number) has two real number components and , and is written z=x+yj, where j^2=1. The ''conjugate'' of is z^*=x-yj. Since j^2=1, the product of a number wi ...
s,
dual number
In algebra, the dual numbers are a hypercomplex number system first introduced in the 19th century. They are expressions of the form , where and are real numbers, and is a symbol taken to satisfy \varepsilon^2 = 0 with \varepsilon\neq 0.
Du ...
s, and possibly other
hypercomplex number
In mathematics, hypercomplex number is a traditional term for an element of a finite-dimensional unital algebra over the field of real numbers.
The study of hypercomplex numbers in the late 19th century forms the basis of modern group represent ...
systems form *-rings (with their built-in conjugation operation) and *-algebras over reals (where * is trivial). Note that neither of the three is a complex algebra.
*
Hurwitz quaternion In mathematics, a Hurwitz quaternion (or Hurwitz integer) is a quaternion whose components are ''either'' all integers ''or'' all half-integers (halves of odd integers; a mixture of integers and half-integers is excluded). The set of all Hurwitz qua ...
s form a non-commutative *-ring with the quaternion conjugation.
* The
matrix algebra
In abstract algebra, a matrix ring is a set of matrices with entries in a ring ''R'' that form a ring under matrix addition and matrix multiplication . The set of all matrices with entries in ''R'' is a matrix ring denoted M''n''(''R'')Lang, ''U ...
of
matrices
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
over R with * given by the
transposition.
* The matrix algebra of matrices over C with * given by the
conjugate transpose
In mathematics, the conjugate transpose, also known as the Hermitian transpose, of an m \times n complex matrix \boldsymbol is an n \times m matrix obtained by transposing \boldsymbol and applying complex conjugate on each entry (the complex con ...
.
* Its generalization, the
Hermitian adjoint
In mathematics, specifically in operator theory, each linear operator A on a Euclidean vector space defines a Hermitian adjoint (or adjoint) operator A^* on that space according to the rule
:\langle Ax,y \rangle = \langle x,A^*y \rangle,
where ...
in the algebra of
bounded linear operator
In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y.
If X and Y are normed vect ...
s on a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
also defines a *-algebra.
* The
polynomial ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) ...
over a commutative trivially-*-ring is a *-algebra over with .
* If is simultaneously a *-ring, an
algebra over a ring
In mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition a ...
(commutative), and , then is a *-algebra over (where * is trivial).
** As a partial case, any *-ring is a *-algebra over
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s.
* Any commutative *-ring is a *-algebra over itself and, more generally, over any its
*-subring.
* For a commutative *-ring , its
quotient
In arithmetic, a quotient (from lat, quotiens 'how many times', pronounced ) is a quantity produced by the division of two numbers. The quotient has widespread use throughout mathematics, and is commonly referred to as the integer part of a ...
by any its
*-ideal is a *-algebra over .
** For example, any commutative trivially-*-ring is a *-algebra over its
dual numbers ring, a *-ring with ''non-trivial'' *, because the quotient by makes the original ring.
** The same about a commutative ring and its polynomial ring : the quotient by restores .
* In
Hecke algebra
In mathematics, the Hecke algebra is the algebra generated by Hecke operators.
Properties
The algebra is a commutative ring.
In the classical elliptic modular form theory, the Hecke operators ''T'n'' with ''n'' coprime to the level acting on ...
, an involution is important to the
Kazhdan–Lusztig polynomial In the mathematical field of representation theory, a Kazhdan–Lusztig polynomial P_(q) is a member of a family of integral polynomials introduced by . They are indexed by pairs of elements ''y'', ''w'' of a Coxeter group ''W'', which can in part ...
.
* The
endomorphism ring
In mathematics, the endomorphisms of an abelian group ''X'' form a ring. This ring is called the endomorphism ring of ''X'', denoted by End(''X''); the set of all homomorphisms of ''X'' into itself. Addition of endomorphisms arises naturally in a p ...
of an
elliptic curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...
becomes a *-algebra over the integers, where the involution is given by taking the
dual isogeny In mathematics, a dual abelian variety can be defined from an abelian variety ''A'', defined over a field ''K''.
Definition
To an abelian variety ''A'' over a field ''k'', one associates a dual abelian variety ''A''v (over the same field), which is ...
. A similar construction works for
abelian varieties
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular function ...
with a
polarization, in which case it is called the
Rosati involution In mathematics, a Rosati involution, named after Carlo Rosati, is an involution of the rational endomorphism ring of an abelian variety induced by a polarization.
Let A be an abelian variety, let \hat = \mathrm^0(A) be the dual abelian variety, an ...
(see Milne's lecture notes on abelian varieties).
Involutive Hopf algebras are important examples of *-algebras (with the additional structure of a compatible
comultiplication In mathematics, coalgebras or cogebras are structures that are dual (in the category-theoretic sense of reversing arrows) to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams ...
); the most familiar example being:
* The
group Hopf algebra
In mathematics, the group Hopf algebra of a given group is a certain construct related to the symmetries of group actions. Deformations of group Hopf algebras are foundational in the theory of quantum groups.
Definition
Let ''G'' be a group and ' ...
: a
group ring
In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the give ...
, with involution given by .
Non-Example
Not every algebra admits an involution:
Regard the 2×2
matrices
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
over the complex numbers. Consider the following subalgebra:
Any nontrivial antiautomorphism necessarily has the form:
for any complex number
.
It follows that any nontrivial antiautomorphism fails to be idempotent:
Concluding that the subalgebra admits no involution.
Additional structures
Many properties of the
transpose
In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal;
that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations).
The tr ...
hold for general *-algebras:
* The
Hermitian {{Short description, none
Numerous things are named after the French mathematician Charles Hermite (1822–1901):
Hermite
* Cubic Hermite spline, a type of third-degree spline
* Gauss–Hermite quadrature, an extension of Gaussian quadrature meth ...
elements form a
Jordan algebra
In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms:
# xy = yx (commutative law)
# (xy)(xx) = x(y(xx)) ().
The product of two elements ''x'' and ''y'' in a Jordan al ...
;
* The skew Hermitian elements form a
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
;
* If 2 is invertible in the *-ring, then the operators and are
orthogonal idempotents,
called ''symmetrizing'' and ''anti-symmetrizing'', so the algebra decomposes as a direct sum of
modules
Broadly speaking, modularity is the degree to which a system's components may be separated and recombined, often with the benefit of flexibility and variety in use. The concept of modularity is used primarily to reduce complexity by breaking a sy ...
(
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
s if the *-ring is a field) of symmetric and anti-symmetric (Hermitian and skew Hermitian) elements. These spaces do not, generally, form associative algebras, because the idempotents are
operators
Operator may refer to:
Mathematics
* A symbol indicating a mathematical operation
* Logical operator or logical connective in mathematical logic
* Operator (mathematics), mapping that acts on elements of a space to produce elements of another sp ...
, not elements of the algebra.
Skew structures
Given a *-ring, there is also the map .
It does not define a *-ring structure (unless the
characteristic is 2, in which case −* is identical to the original *), as , neither is it antimultiplicative, but it satisfies the other axioms (linear, involution) and hence is quite similar to *-algebra where .
Elements fixed by this map (i.e., such that ) are called ''skew Hermitian''.
For the complex numbers with complex conjugation, the real numbers are the Hermitian elements, and the imaginary numbers are the skew Hermitian.
See also
*
Semigroup with involution In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered ...
*
B*-algebra
*
C*-algebra
In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of continuous ...
*
Dagger category
In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with a certain structure called ''dagger'' or ''involution''. The name dagger category was coined ...
*
von Neumann algebra
In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.
Von Neumann algeb ...
*
Baer ring In abstract algebra and functional analysis, Baer rings, Baer *-rings, Rickart rings, Rickart *-rings, and AW*-algebras are various attempts to give an algebraic analogue of von Neumann algebras, using axioms about annihilators of various sets.
...
*
Operator algebra
In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings.
The results obtained in the study of ...
*
Conjugate (algebra)
In mathematics, in particular field theory, the conjugate elements or algebraic conjugates of an algebraic element , over a field extension , are the roots of the minimal polynomial of over . Conjugate elements are commonly called conjuga ...
*
Cayley–Dickson construction
In mathematics, the Cayley–Dickson construction, named after Arthur Cayley and Leonard Eugene Dickson, produces a sequence of algebras over the field of real numbers, each with twice the dimension of the previous one. The algebras produced by ...
*
Composition algebra
In mathematics, a composition algebra over a field is a not necessarily associative algebra over together with a nondegenerate quadratic form that satisfies
:N(xy) = N(x)N(y)
for all and in .
A composition algebra includes an involution c ...
Notes
References
{{DEFAULTSORT:-algebra
Algebras
Ring theory