The symmetric-algebras tag has no wiki summary.
3
votes
0answers
128 views
Symmetric power of an algebra
Given an algebra $A$ over $k$ with characteristic zero and a positive integer $n$, the subspace of $A^{\otimes n}$ consisting of all tensors invariant under the action of all permutations ...
4
votes
1answer
251 views
A nice generating set for the symmetric power of an algebra
I'm looking for a reference for the following fact.
Suppose $A$ is a finitely generated associative commutative unital algebra over an algebraically closed field of characteristic zero. Let $S^n(A)$ ...
4
votes
1answer
421 views
Coderivations of S(V) correspond to linear maps S(V) -> V. Only over characteristic 0?
Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication
$\Delta ...
1
vote
1answer
411 views
Restricted universal enveloping algebra of Abelian p-Lie algebra
Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$.
Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a ...
10
votes
2answers
464 views
Where is there a treatment of “exponential monads”?
I have a category $C$, which is equipped with a symmetric monoidal structure (tensor product $\otimes$, unit object $1$). My category also has finite coproducts (I'll write them using $\oplus$, and ...
1
vote
1answer
480 views
Are cyclotomic Khovanov-Lauda-Rouquier algebras symmetric?
Recall that for k a field, a finite dimensional k-algebra A is called symmetric if it is isomorphic to its dual as a bimodule of itself. Which is to say, there's a trace map t:A -> k such that ...
