为何入门表示论课程选用ℂ而非ℚ的代数闭包？

Great question! This choice boils down to a mix of pedagogical convenience and practical utility for future extensions, though the core algebraic results of finite group representation theory don't strictly require $\mathbb{C}$'s analytic structure. Let's break this down:

Pedagogical Reasons (The Big Ones for Intro Courses) #

• Student familiarity: Most undergraduate students already have hands-on experience with $\mathbb{C}$ from linear algebra, calculus, and differential equations. They know how to compute with complex numbers, work with complex matrices, and intuit concepts like magnitude and conjugation. $\overline{\mathbb{Q}}$ (the algebraic closure of $\mathbb{Q}$) is a far more abstract object—elements are algebraic numbers, which lack the concrete, visualizable structure of complex numbers. For example, calculating the character table of $S_3$ using complex matrices feels straightforward; doing the same with algebraic number matrices would add unnecessary cognitive load.
• Simplified computation: Tools like Python, Mathematica, or even basic linear algebra software natively support complex arithmetic. Working with $\overline{\mathbb{Q}}$ would require specialized algebraic number libraries, which are less accessible and slower for students to pick up when they're still learning the fundamentals of representations.
• Avoiding extra abstraction: Intro courses already cover heavy abstract concepts—groups, algebras, modules, characters. Adding the theory of algebraic number fields (extensions, embeddings, etc.) just to justify $\overline{\mathbb{Q}}$ would distract from the core goals of the course. $\mathbb{C}$'s algebraic closure is a fact most students accept intuitively, without needing deep field theory background.

Do Any Results Depend on $\mathbb{C}$'s Analytic Structure? #

The core algebraic theorems of finite group representation theory (Maschke's theorem, orthogonality relations for characters, classification of irreducible representations) hold over any algebraically closed field of characteristic 0, including $\overline{\mathbb{Q}}$. These are purely algebraic results, so they don't rely on $\mathbb{C}$'s analytic properties (like completeness, complex exponentiation, or analytic functions).

That said, extensions and applications of finite group representation theory often do leverage $\mathbb{C}$'s analytic structure:

• Connection to harmonic analysis: Finite group characters can be seen as a discrete analog of Fourier series. Using $\mathbb{C}$ lets students draw direct parallels to continuous Fourier analysis (e.g., using complex exponentials, which don't exist in $\overline{\mathbb{Q}}$), making the intuition behind characters more accessible.
• Transition to compact group representation: Finite groups are a special case of compact topological groups. Compact group representation theory relies on Haar measure and integration, which require a complete field—$\mathbb{C}$ is complete, while $\overline{\mathbb{Q}}$ is not. Using $\mathbb{C}$ in intro courses creates a smooth transition to this more general theory.
• Number theory applications: In areas like class field theory, finite group representations are paired with $L$-functions, which are complex-analytic objects. The analytic properties of $\mathbb{C}$ are essential here for studying the behavior of these functions and their connections to group representations.
• Concrete representation constructions: Some advanced constructions (e.g., for arithmetic groups like $\text{SL}(2,\mathbb{Z})$) use complex-analytic tools to build representations, even though the groups themselves are finite or finite-index. These go beyond intro material, but they illustrate why $\mathbb{C}$ is the standard choice for broader work.

Final Takeaway #

Intro courses use $\mathbb{C}$ primarily for teaching ease—its familiarity and concrete structure let students focus on representation theory fundamentals without getting bogged down in algebraic number field abstraction. While the core algebraic results work over $\overline{\mathbb{Q}}$, $\mathbb{C}$'s analytic structure becomes critical when moving to more advanced topics, making it a practical choice that prepares students for future work.

内容的提问来源于stack exchange，提问作者Chris H