Skip to main content

Questions tagged [associative-algebras]

For questions on algebras with an associative product.

Filter by
Sorted by
Tagged with
1 vote
0 answers
50 views

Multiplicative bases, path algebras, and Ext algebras

I am interested in understanding when a multiplicative basis exists for finite dimensional algebras over an algebraically closed field, and, in particular, Ext-algebras that are finite dimensional. It ...
James Steele's user avatar
0 votes
1 answer
45 views

Orthogonality in Hilbert algebras and congruence

Consider a finite-dimensional Hilbert space $V$ (say, over $\mathbb{C}$) and a finite-dimensional Hilbert algebra $A$ (i.e., Hilbert space with a compatible associative unitary algebra structure). ...
gm01's user avatar
  • 327
5 votes
2 answers
201 views

Enveloping algebra of affine Lie algebra is (not) noetherian

I work over an algebraically closed field of characteristic $0$. Let $\mathfrak{g}$ be a semisimple Lie algebra, $\hat{\mathfrak{g}}=\mathfrak{g}[t,t^{-1}]\oplus\mathbb{C}K\oplus\mathbb{C}D$ the ...
Estwald's user avatar
  • 1,321
7 votes
2 answers
743 views

Tensor product of irreducible representations of an algebra

Let $A$ be an associative algebra over $\mathbb{C}$ with irreducible finite-dimensional representations on $V$ and $W$. Then is the tensor product of representations on $V \otimes W$ semi-simple? The ...
Nanoputian's user avatar
4 votes
1 answer
257 views

Are polynomial algebras over fields (that are not algebraically closed) tame?

Let $A$ be an algebra over a field $K$. Loosely speaking, an algebra is said to be tame if for each $d \in \mathbb{Z}_{>0}$ all but finitely-many of the indecomposable $A$-modules of $K$-dimension $...
Iteraf's user avatar
  • 482
1 vote
0 answers
110 views

List of automorphism groups of low-dimensional complex commutative algebras?

Let $\mathcal{A}$ be a finite-dimensional commutative associative unital $\mathbb{C}$-algebra. I am looking for a list (of further examples of) $\operatorname{Aut}_\mathbb{C}(\mathcal{A})$, the group ...
M.G.'s user avatar
  • 6,730
4 votes
0 answers
164 views

Infinite-dimensional, non-unital Frobenius algebras

A Frobenius algebra is a tuple $(A,\mu,\delta,\eta,\varepsilon)$, where $A$ is a vector space over some field, $(A,\mu,\eta)$ a unital associative algebra, and $(A,\delta,\varepsilon)$ a counital ...
Qwert Otto's user avatar
4 votes
1 answer
347 views

Faithfully injective projective modules

An $R$-module I is called faithfully injective if it is injective and the functor $Hom_R(-, I)$ has the image of a complex being exact if and only if the original complex is exact. I wonder if it is ...
Projective injective's user avatar
1 vote
0 answers
99 views

Does the center of any finitely generated associative algebra over a field have finite type?

Consider the monoid algebra $R:=K\langle x_1,\dots,x_n\rangle$ generated by $n$ letters $x_1,\dots,x_n$ for $n>1$ over field $K$. Equivalently, $R$ is the tensor algebra $T(V)$ on the $n$-...
GiS's user avatar
  • 321
1 vote
0 answers
122 views

Points and algebraic geometry on the quantum plane

The "quantum plane" is the "space" of the algebra $A=\Bbbk\langle X,Y\rangle/(YX-qXY)$, for a scalar $q$ (e.g. $\Bbbk=\mathbb C(q)$). I would like to know how much algebraic ...
grok's user avatar
  • 2,489
1 vote
1 answer
111 views

How to compute the associated reduced ring for this finitely generated algebra?

Let $k$ be a field, $m$ be a positive integer and $R$ be the subring $k[x,xy,xy^2,…,xy^m]$ of the polynomial ring $k[x,y]$. Let $B$ be the quotient ring $R/xR$. Then $B$ is the finitely generated $k$-...
Boris's user avatar
  • 549
1 vote
0 answers
79 views

Structure and representation of a non-homogeneous quadratic algebra

Let $m$ be a positive integer and $s$ be a fixed $m\times m$ matrix. Let $U$ be the unital associative algebra (over $\mathbb{C}$) generated by $\{u^i_{j}\}_{1\leq i,j\leq m}$ quotient over the ...
Lagrenge's user avatar
  • 445
5 votes
0 answers
175 views

Bar constructions and pushouts

Suppose that $\mathsf S$ is a span of associative algebras (or, more generally, if you'd like, any type of object admitting a bar-cobar formalism) and let $A$ be its pushout. Is there any hope of ...
Pedro's user avatar
  • 1,554
2 votes
0 answers
90 views

Is there a standard reference for: taking projective covers of simple modules commutes with finite Galois field extensions?

Let $\Lambda$ be an Artin algebra over a finite field $k$. Is there a standard reference for the fact that taking projective covers of simple $\Lambda$-modules commutes with finite Galois field ...
Stein Chen's user avatar
1 vote
1 answer
131 views

Non-rigid modules and Auslander-Reiten quiver

I have a question about proving that a module is non-rigid using Auslander-Reiten quiver. Suppose that we have some algebra $A$ and the components of its Auslander-Reiten quivers are tubes like the ...
Jianrong Li's user avatar
  • 6,141
1 vote
0 answers
83 views

A sufficient condition for automorphism of an exact sequence

I asked A sufficient condition for Automorphism of an exact sequence earlier on Math.StackExchange but did not get any response so am posting it here. I am given the following commutative diagram with ...
Subham Jaiswal's user avatar
2 votes
1 answer
141 views

A problem about extensions of division rings

For a division ring $D$ with center field $F:=Z(D)$ such that $\dim_F D = n^2$, there is a classical result saying that $D\otimes_{F}\bar{F}\cong M_n(\bar{F})$ as $\bar{F}$-algebras, where $\bar{F}$ ...
GiS's user avatar
  • 321
8 votes
1 answer
481 views

Trying to understand "a refinement of the Peter–Weyl theorem" by Lusztig

"A refinement of the Peter–Weyl theorem" is the title of Chapter 29 in Lusztig's "Introduction to quantum groups" (Birkhäuser 2010, reprint of the 1994 edition). This chapter is ...
მამუკა ჯიბლაძე's user avatar
4 votes
1 answer
438 views

Zhu's algebra for the Virasoro VOA

I am trying to understand the proof in the appendix of the following paper: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.110.8757&rep=rep1&type=pdf The paper discusses Zhu's ...
clvolkov's user avatar
  • 323
3 votes
1 answer
238 views

Number of rings with additive group $(\mathbb{Z}_{16})^2$. A341547(16) in OEIS

I would like to know if somewhere the number of non-isomorphic rings with additive group $(\mathbb{Z}_{16})^2$ is mentioned. If not, is someone able to calculate it? And (easier) the commutative case? ...
José María Grau Ribas's user avatar
1 vote
0 answers
96 views

Are there non-semisimple complex "non-unital special Frobenius algebras"?

I'm interested in "non-unital special Frobenius algebras", consisting of two linear maps (morphisms in the symmetric monoidal category of finite-dimensional complex vector spaces) $$\mu: V\...
Andi Bauer's user avatar
  • 2,911
1 vote
0 answers
60 views

A list of low-dimensional associative $\mathbb{C}$-algebras with non-trivial centers

I am looking for a list of (examples of) low(est)-dimensional non-commutative associative unital $\mathbb{C}$-algebras $A$ with non-trivial centers $Z(A)$ (hence non-semisimple). For our purposes $Z(A)...
M.G.'s user avatar
  • 6,730
4 votes
0 answers
194 views

divided powers of a deformation class

Let $A$ be a (unital, associative) $k$-algebra where $k$ is a field. Given a flat deformation of $A$ one gets the deformation class $h$ in the second Hochschild cohomology $HH^2(A)$. Suppose $k$ has ...
Roman's user avatar
  • 1,516
3 votes
0 answers
52 views

Continuous differentiations of functional algebras

Let $A$ be some algebra (infinite-dimensional) of analytic functions on $\mathbb{C}^n$, and $D$ be some derivation of $A$, i.e. $D(fg)=Df \cdot g + f \cdot Dg)$ (so A may be considered as a ...
Vladimir47 's user avatar
5 votes
1 answer
266 views

Is there a short proof for the permutation invariance of this combinatorial map?

Consider a positive integer $n$ and integers $(c_i)_{1\le i \le 4}$, with $1 \le c_i \le n$. Conside the map: $$f_n: (c_1,c_2,c_3,c_4) \mapsto \delta_{c_1,c_2}\delta_{c_3,c_4} - \# \{ |2n+1-2|x||, \ x ...
Sebastien Palcoux's user avatar
2 votes
0 answers
54 views

Free resolutions of universal enveloping algebras for simple, finite dimensional Lie algebras

I'm currently studying Anick's resolution on the context of universal enveloping algebras for certain Lie algebras, namely some of the smallest cases: $A_1,A_2,A_3,B_2,G_2$, and so on. What are some ...
Hilario Fernandes's user avatar
4 votes
1 answer
101 views

Literature on the polynomials and equations, in structures with zero-divisors

I need literature about zeroes of polynomials and equation resolution in associative algebraic structures with zero-divisors, but I am having difficulties to find it. For example, there is literature ...
Dragon lala lalo's user avatar
3 votes
1 answer
990 views

The inner product of a Clifford Algebra

Any Clifford algebra $\operatorname{Cl}(k, p)$ carries an induced inner product, which is the "trace" on its 0-blade: $\langle AB\rangle_0$ for given elements $A, B$ of the algebra. This inner ...
Mirco A. Mannucci's user avatar
1 vote
1 answer
122 views

References about transfinite socle series

I would like to know if there is any literature that discusses "transfinite socle series" of a ring module. Below is my attempt at defining the series. Let $R$ be an associative unital ring and $...
Batominovski's user avatar
1 vote
2 answers
447 views

Classification of finite-dimensional (nilpotent) associative algebras

What is known about the classification of finite-dimensional (nilpotent) associative algebras? I am assuming that algebras are over a field of characteristic zero. If it is simple, then it has to be ...
Eugene Starling's user avatar
7 votes
3 answers
851 views

What's an illustrative example of a tame algebra?

A finite-dimensional associative $\mathbf{k}$-algebra $\mathbf{k}Q/I$ is of tame representation type if for each dimension vector $d\geq 0$, with the exception of maybe finitely many dimension vectors ...
Mike Pierce's user avatar
  • 1,149
5 votes
1 answer
339 views

"Non-associative" standard polynomials

I saw somewhere (I appreciate if anyone has any references to proof of this fact) that if $A$ is a finite dimensional associative algebra such that $\textrm{dim}(A)<n$, then $A$ satisfies the ...
cl4y70n____'s user avatar
1 vote
0 answers
23 views

Exponents in unit groups of modular group algebras

Let $p$ be a prime number, $G=:G_1$ a (non-Abelian) finite p-Group and $K$ a finite field with $\operatorname{char}(K)=p$. It is well-known that the group $G_2:=1+\operatorname{rad}(KG)$ is a p-group ...
Sven Wirsing's user avatar
1 vote
0 answers
65 views

Number of conjugacy classes of unit groups of modular group algebras

Let $n$ be a natural number, $p$ a prime number, $G$ a finite $p$-group and $K$ a finite field with $p^n$ elements. We focus on the group $1+J(KG)$, where $J(KG)$ is the Jacobson radical of $KG$, ...
Sven Wirsing's user avatar
2 votes
1 answer
139 views

A weak Schur's lemma for non-semisimple finite dimensional algebras

Let $B \subseteq C$ be an inclusion of finite dimensional (associative) algebras over a field $k$. Assume that $C$ is a free $B$-module. Let $\bigoplus_i U_i$ be a decomposition of $B$ into ...
Sebastien Palcoux's user avatar
1 vote
0 answers
373 views

Infinite-dimensional representation theory of $K[x]$

Let $K$ be an algebraically closed field. The finite-dimensional representation theory of the polynomial algebra $K[x]$ is tame and completely understood, which I shall first summarise. It's ...
Iteraf's user avatar
  • 482
1 vote
0 answers
46 views

Rigid $Hom$-orthogonal modules in wild hereditary algebras

Let $Q$ be a simply-laced wild quiver with at least one multiple edge, $k$ be an algebraically closed field, $1$ be the source of and $2$ be the sink of one set of such edges. Can we find rigid ...
Ying Zhou's user avatar
  • 417
3 votes
0 answers
49 views

$c$-matrix reduction in hereditary algebras

Let $k$ be an algebraically closed field, $Q$ be a finite connected quiver and $Q'$ a subquiver of $Q$. Let $C$ be the $c$-matrix of a chamber of the scattering diagram/semi-invariant picture of $kQ$. ...
Ying Zhou's user avatar
  • 417
3 votes
1 answer
206 views

Operation of a p'-group on a set of p-power order and fix points

The question is related to Taft's Theorem about G-invariant radical complements. Let $A$ be an associative unitary finite-dimensional $K$-Algebra posessing a separable factor Algebra by ist nilradical....
Sven Wirsing's user avatar
2 votes
0 answers
64 views

Maximal separable subalgebras of semisimple algebras

Is anything known about maximal separable subalgebras of semisimple algebras in finite-dimension? Are those subalgebras of unique dimension or isomorphic or conjugate?
Sven Wirsing's user avatar
5 votes
0 answers
269 views

Higher Braces algebra and operads

1) In [HIGHER OPERATIONS ON HOCHSCHILD COMPLEX], Gerstenhaber and Voronov showed that the Hochschild complex $C_1(\mathcal A)$ of any associative algebra (or e_1 algebra) $\mathcal A$ is naturally ...
thingsthatmighthavebeen's user avatar
5 votes
1 answer
177 views

Given a representation-infinite algebra, when is every AR component infinite?

Let $A$ be a finite dimensional algebra over an algebraically closed field $K$. The Auslander-Reiten quiver $\Gamma_A$ of $A$ is a means of presenting the category of finitely generated right $A$-...
Iteraf's user avatar
  • 482
4 votes
1 answer
490 views

Elementary proof that a central simple algebra over a field having a maximal subfield is a cyclic algebra

I'm currently reading the book "Central Simple Algebras and Galois Cohomology" written by Philippe Gille and Tamas Szamuely. In the book, I don't understand a computational proof of the theorem that ...
gualterio's user avatar
  • 1,043
1 vote
1 answer
81 views

Jordan-Hölder series of $k$-subalgebras?

I am reading Shurygin's survey "Smooth Manifolds over Local Algebras and Weil Bundles" (Journal of Math. Sciences, Vol. 108, No. 2, 2002) and it mentions the following basic fact which I don't quite ...
M.G.'s user avatar
  • 6,730
6 votes
0 answers
79 views

Non-rigid indecomposable summands of simple-minded collections in bounded derived category of hereditary algebras

Let $\Lambda$ be a hereditary algebra over an algebraically closed field $k$. Let $S$ be one of the indecomposable summands of one simple-minded collection in $D^b(\Lambda)$. Is it true that $S$ is ...
Ying Zhou's user avatar
  • 417
3 votes
1 answer
237 views

A differential graded Lie algebra with the Hochschild differential

Let $(V,\cdot)$ be an associative algebra and $W$ be a vector space endowed with a bimodule structure $\triangleright:V\otimes W\to W$ and $\triangleleft:W\otimes V\to W$ such that the following ...
thingsthatmighthavebeen's user avatar
2 votes
1 answer
166 views

Injection of the Universal enveloping algebra

Let L1 and L2 be two Lie algebras.If U(L1)is isomorphic to U(L2)as associative algebra,then L1 is isomorphic to L2 ?
double-function's user avatar
2 votes
0 answers
37 views

Morphisms from quasi-simple regular rigid $\Lambda$-module $M$ to $\tau^m M$ when $\Lambda$ is wild hereditary

Let $\Lambda$ be a finite dimensional basic wild hereditary algebra and $M$ be an indecomposable regular quasi-simple right-$\Lambda$ that is rigid in a regular component $\mathcal{R_i}$ of the ...
Ying Zhou's user avatar
  • 417
5 votes
0 answers
208 views

Which groups can occur as the group of units of finite-dimensional noncommutative algebras?

This is a continuation of a previous question: Connectedness of groups of units in finite-dimensional commutative algebras. Let $k$ be an algebraically closed field of characteristic $0$. Which ...
M.G.'s user avatar
  • 6,730
6 votes
0 answers
287 views

Representation-finiteness vs. $\tau$-tilting-finiteness

Setting: Throughout, $\Lambda$ is a finite dimensional associative algebra, $\operatorname{mod} \Lambda$ is the category of all finitely generated left $\Lambda$-modules, and all subcategories are ...
Kaveh's user avatar
  • 483