加载中…
Consider a commutative unital ring and a unital -algebra . Let be a positive integer. Chenevier proved that when is invertible in , the map associating to a determinant its trace is a bijection between -valued -dimensional determinants of and -valued -dimensional pseudocharacters of . In this paper, we show that assuming is invertible in is sufficient. This assumption is already made in the definition of a -dimensional pseudocharacter. Our proof involves establishing a product formula for pseudocharacters, which might be of independent interest.

生成讲解博客的中文版本

生成AI智能校验的中文版本