Cyclic algebra

Last updated

In algebra, a cyclic division algebra is one of the basic examples of a division algebra over a field and plays a key role in the theory of central simple algebras.

Contents

Definition

Let A be a finite-dimensional central simple algebra over a field F. Then A is said to be cyclic if it contains a strictly maximal subfield E such that E/F is a cyclic field extension (i.e., the Galois group is a cyclic group).

See also

Related Research Articles

<span class="mw-page-title-main">Field (mathematics)</span> Algebraic structure with addition, multiplication, and division

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics.

<span class="mw-page-title-main">Group (mathematics)</span> Set with associative invertible operation

In mathematics, a group is a set with an operation that satisfies the following constraints: the operation is associative and has an identity element, and every element of the set has an inverse element.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

<span class="mw-page-title-main">Galois theory</span> Mathematical connection between field theory and group theory

In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to group theory, which makes them simpler and easier to understand.

In mathematics, the Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras over K, with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer.

In ring theory and related areas of mathematics a central simple algebra (CSA) over a field K is a finite-dimensional associative K-algebraA which is simple, and for which the center is exactly K.

In abstract algebra, a branch of mathematics, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. In particular, a commutative ring is a simple ring if and only if it is a field.

<span class="mw-page-title-main">Richard Brauer</span> German-American mathematician

Richard Dagobert Brauer was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular representation theory.

Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field K of positive characteristic p, necessarily a prime number. As well as having applications to group theory, modular representations arise naturally in other branches of mathematics, such as algebraic geometry, coding theory, combinatorics and number theory.

In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated to a field extension L/K acts in a natural way on some abelian groups, for example those constructed directly from L, but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor.

In mathematics, a Severi–Brauer variety over a field K is an algebraic variety V which becomes isomorphic to a projective space over an algebraic closure of K. The varieties are associated to central simple algebras in such a way that the algebra splits over K if and only if the variety has a rational point over K. Francesco Severi studied these varieties, and they are also named after Richard Brauer because of their close relation to the Brauer group.

In mathematics, a quaternion algebra over a field F is a central simple algebra A over F that has dimension 4 over F. Every quaternion algebra becomes a matrix algebra by extending scalars, i.e. for a suitable field extension K of F, is isomorphic to the 2 × 2 matrix algebra over K.

In mathematics, an Azumaya algebra is a generalization of central simple algebras to -algebras where need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions.

In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory.

In algebraic number theory, the Albert–Brauer–Hasse–Noether theorem states that a central simple algebra over an algebraic number field K which splits over every completion Kv is a matrix algebra over K. The theorem is an example of a local-global principle in algebraic number theory and leads to a complete description of finite-dimensional division algebras over algebraic number fields in terms of their local invariants. It was proved independently by Richard Brauer, Helmut Hasse, and Emmy Noether and by Abraham Adrian Albert.

In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring.

In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible.

In mathematics, the Hasse invariant of an algebra is an invariant attached to a Brauer class of algebras over a field. The concept is named after Helmut Hasse. The invariant plays a role in local class field theory.

In mathematics, a factor system is a fundamental tool of Otto Schreier’s classical theory for group extension problem. It consists of a set of automorphisms and a binary function on a group satisfying certain condition. In fact, a factor system constitutes a realisation of the cocycles in the second cohomology group in group cohomology.

In mathematics, the Brauer–Wall group or super Brauer group or graded Brauer group for a field F is a group BW(F) classifying finite-dimensional graded central division algebras over the field. It was first defined by Terry Wall (1964) as a generalization of the Brauer group.

References