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.
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
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\).
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¶
- Verify that \(K/F\) is finite cyclic Galois of degree \(n\).
- Choose and record a generator \(\sigma\).
- Choose \(a\in F^\times\).
- Form the direct-sum carrier with basis \(1,u,\ldots,u^{n-1}\) over \(K\).
- Define multiplication using semilinear commutation and \(u^n=a\).
- Verify associativity, center, dimension, and simplicity.
- Extend scalars to \(K\) to check splitting.
- Apply the norm criterion to test a trivial Brauer class.
- 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) — 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
- Cyclic Algebra → Crossed Product Algebra → Ring → Group → Monoid → Identity Element
- Cyclic Algebra → Crossed Product Algebra → Ring → Group → Monoid → Semigroup → Closure
- Cyclic Algebra → Crossed Product Algebra → Ring → Group → Monoid → Semigroup → Associativity → Invariance
- Cyclic Algebra → Crossed Product Algebra → Ring → Group → Monoid → Semigroup → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Cyclic Algebra sits in a sparse region of the domain-specific corpus (77th 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