Cyclic Algebra

A central simple algebra built from a cyclic Galois extension K/F, a generator sigma, and a scalar a, with a twisting element u satisfying u^n=a and uk=sigma(k)u.

Version

v3 · 2026-09-19 · History

Domain-specific #

1610

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Algebra → Mathematics

Aliases

Cyclic crossed-product algebra, Cyclic central simple algebra

Core Idea

Let \(K/F\) be a cyclic Galois extension of degree \(n\), choose a generator \(\sigma\) of its Galois group, and choose \(a\in F^\times\). The cyclic algebra \((K/F,\sigma,a)\) is generated over \(F\) by \(K\) and a twisting element \(u\), subject to

\[ u^n=a,\qquad uk=\sigma(k)u\quad(k\in K). \]

As a left \(K\)-vector space it is \(K\oplus Ku\oplus\cdots\oplus Ku^{n-1}\); it is a central simple \(F\)-algebra of degree \(n\) split by \(K\).^[1]

The recognition invariant is cyclic Galois splitting field + chosen generator + twisting scalar + semilinear commutation + central-simple output.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree no five-year-old picture survives: it collapses into an ordinary commuting number system or a mere 'goes round in a cycle' rotation, losing the twisting rule uk = σ(k)u over a cyclic Galois extension.

Twisted Number System

A cyclic algebra is a number-like system mathematicians build by starting with a number system that has a special built-in "shift" symmetry you can repeat n times to get back where you started. They add one new ingredient, called u. The rules are unusual: when u moves past a number, the number gets shifted by the symmetry, so the order you multiply things in matters. Also, multiplying u by itself n times gives a plain number a that you chose. These rules create a new system with nice, well-behaved properties that mathematicians study.

Galois-Twisted Algebra

A cyclic algebra is built from a field extension K over F, which is a bigger number system K containing a smaller one F, whose symmetries fixing F form a cycle: one symmetry σ, repeated n times, brings you back to the start. You add a new element u and impose two rules: u to the n-th power equals a chosen nonzero number a from F, and u times k equals σ(k) times u for every k in K. That second rule means u and K do not commute: moving u past an element twists it by σ. Every element can be written uniquely as a combination of 1, u, u², ..., u^{n-1} with coefficients in K. The result is a central simple algebra over F, a well-behaved kind of noncommutative number system, of degree n.

 

Let K/F be a cyclic Galois extension of degree n, meaning its Galois group is cyclic of order n, and fix a generator σ of that group and a nonzero scalar a in F. The cyclic algebra (K/F, σ, a) is the F-algebra generated by K together with a new element u satisfying two relations: uⁿ = a, and uk = σ(k)u for every k in K. The second relation is a semilinear commutation rule: u does not commute with K but conjugates it by the Galois generator. As a left K-vector space the algebra decomposes as K ⊕ Ku ⊕ … ⊕ Ku^{n−1}, so it has dimension n² over F. It is a central simple F-algebra of degree n, and K is a splitting field for it. Recognizing one requires all the ingredients together: a cyclic Galois splitting field, a chosen generator, a twisting scalar, the semilinear commutation rule, and a central simple result.

Structural Signature

• A base field \(F\).
• A cyclic Galois extension \(K/F\) of finite degree \(n\).
• A chosen generator \(\sigma\in\mathrm{Gal}(K/F)\).
• A nonzero parameter \(a\in F^\times\).
• An adjoined element \(u\) with \(u^n=a\).
• Twisted commutation \(uk=\sigma(k)u\).
• Vector-space decomposition into \(n\) powers of \(u\) over \(K\).
• Dimension \(n^2\) over \(F\).
• Center exactly \(F\) under the standard construction.
• Simplicity and splitting after scalar extension to \(K\).
• A Brauer class determined by the cyclic data.
• Split criterion governed by whether \(a\) is a norm from \(K^\times\).
• Division-versus-matrix behavior requiring a separate test.

What It Is Not

It is not any algebra with a cyclic basis, a cyclically ordered group, or a ring generated by one element. “Cyclic” refers to the Galois group of the maximal/splitting field data.

It is not automatically a division algebra. Every cyclic construction is central simple, but it may split as a matrix algebra; in particular, the Brauer class is trivial exactly when the parameter is a norm in the standard norm criterion.^[2]

Scope of Application

Cyclic algebras provide explicit representatives in Brauer groups, describe many central simple and division algebras, encode norm-residue symbols, and connect Galois cohomology to concrete generators and relations. Quaternion algebras in characteristic not two arise as degree-two cyclic algebras when the quadratic-extension presentation applies.^[3]

Applications occur in local and global class field theory, arithmetic geometry, splitting-field problems, maximal orders, and explicit obstruction calculations. Assertions that all central simple algebras of a given degree are cyclic require hypotheses and are not part of the definition.

Clarity

The datum includes the extension, automorphism generator, and scalar. Changing \(\sigma\) or \(a\) can change the presentation or Brauer class. Isomorphic cyclic algebras may have different presentations, so presentation equality and algebra isomorphism must be distinguished.

Some sources use “cyclic division algebra” for a division algebra containing a cyclic maximal subfield. The broader construction “cyclic algebra” includes split matrix cases. The division condition must therefore be declared rather than inferred from the name.

Manages Complexity

The presentation reduces a potentially opaque \(n^2\)-dimensional noncommutative algebra to field arithmetic, one Galois automorphism, and one scalar. Multiplication follows by moving coefficients past \(u\) with the twisting rule and reducing powers by \(u^n=a\).

It also makes splitting and equivalence questions accessible to norm maps and cohomology. A structural algebra problem becomes a controlled question about cyclic extensions and multiplicative classes.

Abstract Reasoning

1. Verify that \(K/F\) is finite cyclic Galois of degree \(n\).
2. Choose and record a generator \(\sigma\).
3. Choose \(a\in F^\times\).
4. Form the direct-sum carrier with basis \(1,u,\ldots,u^{n-1}\) over \(K\).
5. Define multiplication using semilinear commutation and \(u^n=a\).
6. Verify associativity, center, dimension, and simplicity.
7. Extend scalars to \(K\) to check splitting.
8. Apply the norm criterion to test a trivial Brauer class.
9. Apply stronger criteria before claiming the algebra is division.

Knowledge Transfer

The portable structure is a symmetry-twisted extension whose multiplication records a group action and a scalar obstruction. The proposed immediate parent is Crossed Product Algebra.

Examples

Quaternion case. For a quadratic extension \(K/F\) with nontrivial automorphism \(\sigma\), \((K/F,\sigma,a)\) gives the familiar degree-two crossed-product form underlying quaternion algebras.

Split case. If \(a=N_{K/F}(b)\) for some \(b\in K^\times\), the cyclic algebra represents the trivial Brauer class and is isomorphic to a matrix algebra over \(F\).^[4]

Non-example. A commutative algebra generated by an element satisfying \(x^n=1\) is not cyclic in this sense without the Galois and twisting data.

Structural Tensions

• Concrete generators and relations versus presentation-independent isomorphism class.
• Central simplicity versus division.
• Galois symmetry versus noncommutative multiplication.
• Scalar parameter versus its class modulo norms.
• Explicit splitting field versus intrinsic maximal-subfield characterization.
• Local cyclicity results versus unsupported global generalization.
• Crossed-product genus versus cyclic specialization.

Structural–Framed Character

Twisted extension, symmetry action, obstruction parameter, and quotient by an equivalence relation are structural. Fields, Galois groups, norm maps, central simple algebras, splitting, and Brauer classes are algebraic frame.

Structural Core vs. Domain Accent

The portable core is adjoining a carrier whose multiplication implements a cyclic symmetry and records a closure scalar. The constitutive domain accent is the exact field extension, Galois automorphism, semilinear relation, central-simple property, and norm/Brauer interpretation.

Instantiates / Related Primes

This entry is a kind of Crossed Product Algebra.

Crossed Product Algebra is the broader abstraction this entry instantiates. Group Action, Symmetry, Extension, Norm, Quotient, Field, and Ring are related.

Relationships to Other Abstractions

Current abstraction Cyclic Algebra Domain-specific

Parents (1) — outgoing typed relations

• Cyclic Algebra is a kind of Crossed Product Algebra Domain-specific

  Crossed Product Algebra is the broader abstraction this entry instantiates.

Hierarchy paths (5) — routes to 5 parentless roots

• Cyclic Algebra → is a kind of Crossed Product Algebra → is a kind of Ring → includes Group → is a kind of Monoid → is a kind of Semigroup → is a kind of Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

Cyclic Algebra sits in a sparse region of the domain-specific corpus (72^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Field Extensions & Galois-Theoretic Structures (19 abstractions)

Nearest neighbors

• Quadratic extension — 0.83
• Quasi-Finite Field — 0.83
• Étale Algebra — 0.83
• Hecke Character — 0.83
• Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain — 0.83

Computed from structural-signature embeddings · 2026-10-25

Not to Be Confused With

• Cyclically ordered group.
• Cyclic module or cyclic group.
• Any monogenic algebra.
• General crossed product with noncyclic group.
• Central simple algebra with no known cyclic maximal subfield.
• Cyclic algebra assumed automatically division.
• Group algebra of a cyclic group.

References

[1] Philippe Gille and Tamás Szamuely, Central Simple Algebras and Galois Cohomology, Cambridge University Press, 2006, §2.5. registry ↩ Show verification details

[2] Richard S. Pierce, Associative Algebras, Springer, 1982. registry ↩a ↩b

[3] Irving Reiner, Maximal Orders, Academic Press, 1975. registry ↩

[4] A. Adrian Albert, Structure of Algebras, American Mathematical Society Colloquium Publications 24, 1939. registry ↩ Show verification details