Tagged Questions

For questions on algebras with an associative product.

77 views

If $A$ is an integer ring such that each $P \in A_L[X]$ has a finite number of zeros in $A$, is $A$ commutative?

Let $A$ be a ring in which the product of any two nonzero elements is nonzero (we shall say that $A$ is an integral domain, even if $A$ is non commutative). It is well-known that if $A$ is commutative,...
211 views

Connectedness of units in finite-dimensional commutative complex algebras

In the following, an algebra will always mean a finite-dimensional associative commutative unital algebra (over some field $k$). Let $A$ be a $\mathbb{C}$-algebra. I am trying to understand how its ...
68 views

degree of associative algebra

Let $A$ be a finite dimensional associative algebra with unity over a field $F$. The degree of the algebra is the degree of its generic minimum polynomial (see Nathan Jacobson, Generic norm of an ...
246 views

Conjugation in associative algebras over finite fields

Let $A$ be a finite dimensional associative algebra (with unity) over a finite field $F$. Let $L$ be a field extension of $F$. Suppose that after extending scalars to $L$, two elements $a,b$ of $A$ ...
148 views

presentations of subalgebras

Assume that I have a finitely presented algebra $A$ over the complex numbers (by which I mean that $A$ is generated over $\mathbb{C}$ by finitely many elements $x_1,...,x_n$ subject to finitely many ...
314 views

Relation between Associative algebra and group algebra

Let $A$ be an associative algebra over a filed $k$. Q) What are the condition we can impose on $A$ such that there exists a $G$ such that $A=k[G]$, the group algebra generated by $G$? I am ...
95 views

Differences between primitive central idempotents and primitive orthogonal idempotents

If we have a complete set of primitive orthogonal idempotents of an algebra $A$, then we can obtain simple modules, indecomposable projective modules, indecomposable injective modules of $A$. If we ...
236 views

Non-commutative normalization

Let $A$ be a (non-commutative) associative algebra with 1. Assume that $A$ contains a cental subalgebra $Z$ such that a) $Z$ is a noetherian domain b) $A$ is a finitely generated module over $Z$. ...
181 views

Free subgroups in algebras of polynomial growth

What is known about free non-abelian subgroups in finitely generated associative algebras of polynomial growth (e.g., over finite fields, to avoid finite-dimensional free subgroups)? For example, are ...
491 views

183 views

Isomorphism of matrix ring over ore domain

Let $R_1,R_2$ be (left and right) ore domains. Does $Mat_n(R_1)\cong Mat_m(R_2)$ implie m=n and $q.f.(R_1)\cong q.f.(R_2)$? An counter example, a proof or a reference is welcomed. Thanks
48 views

extend derivations of ore domain to its quotient field

I wonder whether someone knows a good reference(textbook or paper) for the following result: Any derivation of ore domain may be extended unqiuely to a derivation of its quotient field. Thanks.
102 views

Equivalence of star products on two differents Poisson algebras?

Let $A$, $B$ be two commutative and associative $\mathbb k$-algebras and let $A_\hbar:=A[[\hbar]]$, $B_\hbar:=B[[\hbar]]$ be the corresponding ring of formal series. Of sense [Deformation theory and ...
255 views

Software for noncommutative Groebner bases over rational function fields

I am wondering whether there is any software package that can compute Groebner bases for noncommutative algebras defined over the field of rational functions $\mathbb{Q}(q)$. I have tried the GAP ...
193 views

Hochschild homology of a tensor algebra modulo a two-sided ideal

Let $V$ is a module over a field $k$, and $A=T(V)$ the tensor algebra generated by $V$. The Hochschild homology $HH_*(A)$ has been determined by Loday and Quillen in their paper "Cyclic homology and ...
482 views

If tensor product of representations is a representation, must we have a bialgebra?

Hopf algebras and bialgebras are sometimes introduced by saying that you've got an associative algebra $A$ and want to introduce the structure of an $A$-module on $V \otimes W$ where $V,W$ are $A$-...
164 views

simple tensor product of modules over algebras

Let $M$, $N$ be simple modules over associative algebras $A$ and $B$ (over $\mathbb{C}$), respectively. When is $M\otimes N$ simple as a $A\otimes B$-module? It is right if $A$ or $B$ has a ...
267 views

Representing quaternions as matrices [closed]

Assume F is a field of characteristic different than 2. Let a, b be invertible elements in F, and let A(a,b) be the generalised quaternions. Using the Artin–Wedderburn theorem, there is a ...
237 views

Isomorphic maximal commutative semi-simple sub algebras of complex matrices

When giving $A_1,A_2$ two isomorphic maximal commutative semi-simple sub algebras of $M_n(\mathbb{C})$, are these algebras conjugate in $M_n(\mathbb{C})$? Namely, does there exists a regular matrix $P$...
309 views

Anick resolution [closed]

I would like to know some applications of Anick's resolution in non-commutative algebras.
407 views

Reference for Clifford theory of algebras

Clifford theory relates the representation theory of a group to that of a normal subgroup. A good reference for this is Curtis and Reiner's "Methods in Representation theory II", Theorem 11.1. ...
112 views

Description of modules over self-injective algebras of finite representation type

Is there any description of indecomposable modules and irreducible morphisms over self-injective algebras of finite representation type? I am interested mainly in such a description for nonstandard ...
200 views

Algebra out of a set of modules of a Lie algebra? Fusion

The problem I faced is how to organize a set of finite-dimensional irreducible representations $U_\alpha$ of some simple Lie algebra $g$ into an Lie algebra $A$ that contains $g$ as a Lie subalgebra ...
469 views

surjectivity of irreducible representation

I don't know how to show the following: Let $A$ be an associative algebra (not necessary finite-dimensional) and $p\colon A\to End(V)$ be it irreducible finite-dimensional representation. Then $p$ in ...
115 views

Preservation of direct sums and finite generation

I asked this question on Mathematics - Stack Exchange (MSE). Having figured out out how to handle the problem in an extremely particular case, I also posted it as an answer (in the technical sense of ...
344 views

Algebras with a degenerate trace form

Let the bilinear trace form of a finite-dimensional associative algebra be defined as: $(u,v) \mapsto Tr(L_u L_v)$ For $L_u$ the linear map given by multiplication on the left by $u$. In the ...
868 views

Does $\mathbb{K}[G]\simeq\mathbb{K}[H]$ for some field $\mathbb{K}$ of characteristic $p$, imply $\mathbb{F}_p[G]\simeq\mathbb{F}_p[H]$?

Due to the first (and very helpful) answer I received, I've reformulated the question a little: $G$ and $H$ are now assumed to be $p$-groups. Let $p$ be a prime, and let $\mathbb{F}_p$ be the field ...
652 views

$A_{\infty}$ structure of (co)homology of a space

Let $X$ be a topological space, and $Homeo(X)$ the group of self-homeomorphisms of $X$. (1) What is the exact meaning of: $H^*(X)$ is a an $A_\infty$-module over $Homeo(X)$? (2) Does $H_*(X)$ also ...