2
$\begingroup$

Is there any easy way to see the global dimension of a free algebra $ A=k\langle x_{1},\dots,x_{n} \rangle $ is 1?

5 Answers 5

3

In "Modules over coproducts of Rings", Bergman proved that the global dimension of a free product is the supremum over the global dimensions of the factors (unless all factors have global dimension 0).

  • 0
    There's a proof in "Some algebras associated to automorphisms of elliptic curves" by Artin, Tate, and Van den Bergh.2012-08-11
2

Cognitive error and faulty instincts led to a bad solution, so I have a new one ready.

The free algebra you describe is a free ideal ring, and so all of its right and left ideals are projective. Thus it is left and right hereditary, and hence has global dimension less than or equal to 1. (And in fact equal to 1, since it's not semisimple.)

  • 0
    @Michel Feel free to thank answers you like with "accept" or at least a vote. People can see your accepted-answer to asked-question ratio, in case you didn't know.2012-08-12
1

You can also do it directly: there is a canonical free resolution for modules over a tensor algebra:

$M \otimes_k k\langle x_1, \dots, x_n\rangle ^{\oplus n} \to M \otimes_k k \langle x_1, \dots, x_n \rangle \to M $

This is "koszul duality" for free algebras.

0

Putting noncommutativity aside for a moment: in the commutative case it's well known that the global dimension of this ring is $n$. You can get references for the ideas in the Wikipedia article on the topic.

Please see my other attempt.

  • 0
    @Michel OK I have to eat my words! While I don't see that linearfish's solution is a complete one, I do see other references on the net saying this is true. I can see now that leaving out commutativity relations might allow this to occur. I'm looking into the problem again.2012-08-11
0

The Hochschild Cohomological dimension forms an upper bound for the Global dimension of a (unital associative) ring (such as the free $k$-algebra).
Since any polynomial ring is isomorphic to a tensor algebra and the latter must be of Hochschild cohomological dimension $1$ (See Algebra Extensions and Nonsingularity), the result follows (even in the infinitely generated case :) .)