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

v2 · 2026-09-06 · History

Domain-specific #

1610

Origin domain

mathematics

Subdomain

algebra

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.

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

Crossed Product Algebra is the proposed immediate parent. Group Action, Symmetry, Extension, Norm, Quotient, Field, and Ring are related.

The prospective queue contains one strict edge to domain_specific:crossed_product_algebra. No live DAG mutation is authorized.

Relationships to Other Abstractions

Current abstraction Cyclic Algebra Domain-specific

Parents (1) — more general patterns this builds on

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

  Crossed Product Algebra is the proposed immediate parent.

Hierarchy paths (5) — routes to 5 parentless roots

• Cyclic Algebra → Crossed Product Algebra → Ring → Group → Monoid → Semigroup → Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

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

Family — Fields, Norms & Birational Groups (7 abstractions)

Nearest neighbors

• Étale Algebra — 0.83
• Hecke Character — 0.83
• Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain — 0.83
• Norm Form — 0.83
• Galois Theory — 0.82

Computed from structural-signature embeddings · 2026-09-08

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 ↩

[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 ↩