Skip to main content
edited tags
Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176
added 23 characters in body
Source Link

$\DeclareMathOperator\Tr{Tr}$Say that we have an algebra $R$ over $\mathbb{C}$. If, for two finitely generated (edit: and semisimple) $R$-modules $M, N$ we know that $\Tr_M(r)=\Tr_N(r)$ for all $r\in R$, where we consider $r$ as the linear endomorphism of the corresponding module, then we know that $M\cong N$ by the Brauer–Nesbitt theorem.

My question is, assuming that we have specific values for traces (some homomorphism $g: R \rightarrow \mathbb{C}$ with $g(rr')=g(r'r)$ for every $r, r'\in R$), do we know that there exists some module $M$ with $Tr_M(r)=g(r)$ for every $r$? If not, can we somehow efficiently describe the functions that can appear as traces?

$\DeclareMathOperator\Tr{Tr}$Say that we have an algebra $R$ over $\mathbb{C}$. If, for two finitely generated $R$-modules $M, N$ we know that $\Tr_M(r)=\Tr_N(r)$ for all $r\in R$, where we consider $r$ as the linear endomorphism of the corresponding module, then we know that $M\cong N$ by the Brauer–Nesbitt theorem.

My question is, assuming that we have specific values for traces (some homomorphism $g: R \rightarrow \mathbb{C}$ with $g(rr')=g(r'r)$ for every $r, r'\in R$), do we know that there exists some module $M$ with $Tr_M(r)=g(r)$ for every $r$? If not, can we somehow efficiently describe the functions that can appear as traces?

$\DeclareMathOperator\Tr{Tr}$Say that we have an algebra $R$ over $\mathbb{C}$. If, for two finitely generated (edit: and semisimple) $R$-modules $M, N$ we know that $\Tr_M(r)=\Tr_N(r)$ for all $r\in R$, where we consider $r$ as the linear endomorphism of the corresponding module, then we know that $M\cong N$ by the Brauer–Nesbitt theorem.

My question is, assuming that we have specific values for traces (some homomorphism $g: R \rightarrow \mathbb{C}$ with $g(rr')=g(r'r)$ for every $r, r'\in R$), do we know that there exists some module $M$ with $Tr_M(r)=g(r)$ for every $r$? If not, can we somehow efficiently describe the functions that can appear as traces?

Minor typo ('the' -> 'there'), and other light editing
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Is thethere a converse to the Brauer-NesbittBrauer–Nesbitt theorem?

Say$\DeclareMathOperator\Tr{Tr}$Say that we have an algebra $R$ over $\mathbb{C}$. If, for two finitely generated $R-$$R$-modules $M, N$ we know that $Tr_M(r)=Tr_N(r)$$\Tr_M(r)=\Tr_N(r)$ for all $r\in R$, where we consider $r$ as the linear endomorphism of the corresponding module, then we know that $M\cong N$ by the Brauer-NesbittBrauer–Nesbitt theorem.

My question is, assuming that we have specific values for traces (some homomorphism $g: R \rightarrow \mathbb{C}$ with $g(rr')=g(r'r)$ for every $r, r'\in R$), do we know that there exists some module $M$ with $Tr_M(r)=g(r)$ for every $r$? If not, can we somehow efficiently describe the functions that can appear as traces?

Is the a converse to the Brauer-Nesbitt theorem?

Say that we have an algebra $R$ over $\mathbb{C}$. If for two finitely generated $R-$modules $M, N$ we know that $Tr_M(r)=Tr_N(r)$ for all $r\in R$, where we consider $r$ as the linear endomorphism of the corresponding module, then we know that $M\cong N$ by the Brauer-Nesbitt theorem.

My question is, assuming that we have specific values for traces (some homomorphism $g: R \rightarrow \mathbb{C}$ with $g(rr')=g(r'r)$ for every $r, r'\in R$), do we know that there exists some module $M$ with $Tr_M(r)=g(r)$ for every $r$? If not, can we somehow efficiently describe the functions that can appear as traces?

Is there a converse to the Brauer–Nesbitt theorem?

$\DeclareMathOperator\Tr{Tr}$Say that we have an algebra $R$ over $\mathbb{C}$. If, for two finitely generated $R$-modules $M, N$ we know that $\Tr_M(r)=\Tr_N(r)$ for all $r\in R$, where we consider $r$ as the linear endomorphism of the corresponding module, then we know that $M\cong N$ by the Brauer–Nesbitt theorem.

My question is, assuming that we have specific values for traces (some homomorphism $g: R \rightarrow \mathbb{C}$ with $g(rr')=g(r'r)$ for every $r, r'\in R$), do we know that there exists some module $M$ with $Tr_M(r)=g(r)$ for every $r$? If not, can we somehow efficiently describe the functions that can appear as traces?

Source Link
Loading