Skip to main content
deleted 104 characters in body
Source Link
Faisal
  • 10.3k
  • 2
  • 47
  • 63

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that (after reordering the columns, if necessary) $A^\ast A = \text{diag}\{|C_G(g)|\} $$A A^\ast = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A^\ast A = \prod |C_G(g)|$$|\Delta| = \det A A^\ast = \prod |C_G(g)|$ is an integer. On the other hand, $\Delta = (\det A)^2$$\Delta$ must be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\Delta$$\Delta = (\det A)^2$. Thus $\Delta=\pm |\Delta|$ is an integer. And Noam Elkies's comment shows that it need not be a square.

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that (after reordering the columns, if necessary) $A^\ast A = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A^\ast A = \prod |C_G(g)|$ is an integer. On the other hand, $\Delta = (\det A)^2$ must be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\Delta$. Thus $\Delta=\pm |\Delta|$ is an integer. And Noam Elkies's comment shows that it need not be a square.

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that $A A^\ast = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A A^\ast = \prod |C_G(g)|$ is an integer. On the other hand, $\Delta$ must be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\Delta = (\det A)^2$. Thus $\Delta=\pm |\Delta|$ is an integer.

Post Undeleted by Faisal
deleted 13 characters in body; edited body; deleted 2 characters in body; deleted 8 characters in body
Source Link
Faisal
  • 10.3k
  • 2
  • 47
  • 63

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that (after reordering the columns, if necessary) $A^\ast A = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A^\ast A = \prod_g |C_G(g)|$$|\Delta| = \det A^\ast A = \prod |C_G(g)|$ is an integer. On the other hand, $\det A$ (and consequnetly $\Delta$)$\Delta = (\det A)^2$ must in fact be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\det A$$\Delta$. Thus $\Delta=|\Delta|$$\Delta=\pm |\Delta|$ is an integer. And Noam Elkies's comment shows that it need not be a square.

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that (after reordering the columns, if necessary) $A^\ast A = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A^\ast A = \prod_g |C_G(g)|$ is an integer. On the other hand, $\det A$ (and consequnetly $\Delta$) must in fact be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\det A$. Thus $\Delta=|\Delta|$ is an integer. And Noam Elkies's comment shows that it need not be a square.

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that (after reordering the columns, if necessary) $A^\ast A = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A^\ast A = \prod |C_G(g)|$ is an integer. On the other hand, $\Delta = (\det A)^2$ must be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\Delta$. Thus $\Delta=\pm |\Delta|$ is an integer. And Noam Elkies's comment shows that it need not be a square.

Post Deleted by Faisal
Source Link
Faisal
  • 10.3k
  • 2
  • 47
  • 63

If $A$ is the character table and $A^\ast$ is its conjugate transpose, then the orthogonality relations tell us that (after reordering the columns, if necessary) $A^\ast A = \text{diag}\{|C_G(g)|\} $, where the enties run over a fixed choice of elements of $G$, one from each conjugacy class. Thus $|\Delta| = \det A^\ast A = \prod_g |C_G(g)|$ is an integer. On the other hand, $\det A$ (and consequnetly $\Delta$) must in fact be rational. This follows from the fact that the action of $\text{Gal}(\overline{\mathbb Q}/\mathbb Q)$ permutes the columns of $A$, hence fixes $\det A$. Thus $\Delta=|\Delta|$ is an integer. And Noam Elkies's comment shows that it need not be a square.