A finite-dimensional associative algebra A over a field F that is simple (has no nontrivial two-sided ideals) and whose center equals F, i.e., Z(A)=F.

Principle

Centrality and simplicity together force A to be, up to isomorphism, a matrix algebra over a division algebra that is central over F; the combination controls both internal ideal structure and scalar commutation.

Demonstration

Any algebra of the form M_n(D), where D is a finite-dimensional division algebra with center F, is a central simple algebra over F; over an algebraically closed field every central simple algebra is isomorphic to M_n(F).

Misapplication

Calling an algebra 'central simple' when its center strictly contains the base field or when it has nonzero two-sided ideals, or confusing central simple with merely central or merely simple.

Consequence

Central simple algebras classify as elements of the Brauer group of F; their dimensions are perfect squares and they admit well-understood module categories via Morita theory.

Reversal

An algebra that is simple but not central (center larger than the base field) or central but not simple (possessing proper two-sided ideals) contrasts with the central simple condition.

Boundary

Requires finite-dimensionality and associativity over a specified base field; excludes infinite-dimensional algebras, nonassociative algebras, and algebras whose center is a proper extension of the base field.

Semantic Tension

Tension arises between 'simple' versus 'central simple' and between matrix algebras over the base field and matrix algebras over nontrivial division algebras; these distinctions are crucial in classification and in Brauer-theoretic contexts.

Synthesis

A central simple algebra is a finite-dimensional associative algebra over F that is both simple and has center exactly F, and therefore is, up to isomorphism, a matrix algebra over a central division algebra.