[Verse 1]
Deep in vector space where matrices collide
There's a special kind of home where arrows cannot hide
No proper subset holds them, no subspace breaks them down
Irreducible representations wear the atomic crown
[Chorus]
Schur's wisdom speaks in whispers clear
Zero maps or iso-sphere
Over complex fields the morphisms glow
Scalar multiples, that's all they know
Maschke's theorem breaks the code apart
Direct sums dancing, irreducible art
[Verse 2]
Finite groups with characteristic prime
Won't divide the order, that's the perfect time
Every representation splits like puzzle pieces fall
Into irreducible components, building blocks of all
[Chorus]
Schur's wisdom speaks in whispers clear
Zero maps or iso-sphere
Over complex fields the morphisms glow
Scalar multiples, that's all they know
Maschke's theorem breaks the code apart
Direct sums dancing, irreducible art
[Bridge]
When the characteristic doesn't touch
The group's own size, we know so much
Decomposition guaranteed complete
Linear algebra and group theory meet
[Verse 3]
Morphisms between irreducibles decide
Either vanish into zero or provide
Isomorphism bridging space to space
Or from irrep to itself, just scalar's trace
[Final Chorus]
Schur's lemma guards the gates between
Zero or bijection, nothing in-between
Complex scalars multiply identity
Maschke's promise sets us truly free
Every representation finds its way
To irreducible display
[Outro]
Atoms of the representation game
Building blocks that bear no shame
Direct sums reveal the hidden structure's name