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\).

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.

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.

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.

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