The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
1answer
81 views

Quaternion algebra in characteristic $p$

Given a prime number $p$, can you give me concrete examples of fields $\mathbf F$ of characteristic $p$ and quaternion algebras $\mathbb H(\mathbf F)$ over $\mathbf F$ such that $\mathbb H(\mathbf F)$ ...
3
votes
0answers
74 views

Differentially closed fields

Let F be a field. Recall that an additive map $d: F\rightarrow F$ is said to be a derivation if $d(ab)=ad(b)+d(a)b$. Now let $F$ be a ring and let $d$ be a derivation of $F$. Examples I have in mind ...
10
votes
2answers
3k views

Binomial Expansion for non-commutative setting

What could be a reference about binomial expansions for non-commutative elements? Specifically, where can I find a closed formula for the expansion of $(A+B)^n$ where $[A,B]=C$ and $[C,A]=[C,B]=0$? ...
33
votes
8answers
3k views

What makes a theorem *a* “nullstellensatz.”

I know what the (Hilbert) Nullstellensatz says. A MathSciNet search on "nullstellensatz" turns up nearly 200 papers, with only a minority offering either new proofs or new applications of the classic ...
0
votes
0answers
66 views

Does an hereditary scalar extension indicate the original algebra is hereditary?

Let $A$ be a finite-dimensional algebra over a field $\mathbb{F}$ of characteristic zero and let $\mathbb{K}/\mathbb{F}$ be a finite galois extension. Assume we know that ...
12
votes
2answers
1k views

Maximal ideal that annihilates entire ring

Does there exist a ring $R$ with a nonzero maximal ideal $M$ such that $R^2=R$ and $MR = RM = 0$? Here $R$ is associative but does not have an identity (obviously). It seems a simple enough question ...
20
votes
8answers
4k views

Simplest examples of rings that are not isomorphic to their opposites

What are the simplest examples of rings that are not isomorphic to their opposite rings? Is there a science to constructing them? The only simple example known to me: In Jacobson's Basic Algebra ...
3
votes
1answer
54 views

Quaternion orders such that every proper ideal is invertible

Let $B$ be a quaternion algebra over $\mathbb{Q}$ and let $\mathcal{O} \subset B$ be an order. A lattice in $B$ is (left) proper over $\mathcal{O}$ if its left order is equal to $\mathcal{O}$. We ...
12
votes
2answers
2k views

Left and right eigenvalues

A quaternionic matrix $A$ gives rise to a function $\mathbb{H}^n \to \mathbb{H}^n$ given by $x \mapsto A \cdot x$. This is real linear, but not complex- or quaternionic-linear (in general) if we ...
16
votes
1answer
329 views

Koszul complex for non-Koszul algebras

Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal ...
6
votes
2answers
245 views

non commutative polynomial which is zero for all matrix evaluation

I want to work on $K$ an algebraic closed (commutative) field of characteristic zero (even if it seems to be more general). We can define the free K-algebra of polynomials in non commutative ...
4
votes
2answers
247 views

unitary reduction of $q$-normal matrices

The unitary reduction of normal matrices is a well-known fact: if $A\in M_n(\mathbb C)$ commutes with its Hermitian adjoint $A^*$, then there exists a unitary $U\in\mathbb U_n$ and a diagonal matrix ...
0
votes
0answers
84 views

Quotient modules of polynomial rings by maximal one sided ideal

Let R[X] be a ring of polynomials over an associative unital ring R which is not necessarily commutative. Let M be a maximal left ideal in R[X]. It is easy to see that if the intersection of M with ...
0
votes
0answers
176 views

Basic question about power series and complete group algebras

This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange. Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...
7
votes
1answer
88 views

Center of $k$-algebra with two generators and sole defining relation $yx - xy = 1$ when $\text{char}\,k > 0$

Let $A(k)$ be a $k$-algebra with two generators, $x$, $y$, and one defining relation: $yx - xy = 1$. What is the center of the algebra $A(k)$ in the case $\text{char}\,k > 0$?
1
vote
1answer
88 views

dg-resolution of the polynomial algebra

I am intersted in constructing a cofibrant resolution of the commutative polynomial algebra in some number of variables in the category of dg-algebras(not necceserily commutative). The resolutions ...
3
votes
2answers
140 views

Rings all of whose torsion modules are cyclic

Let us call a (possibly non-commutative) ring $R$ "very good" if every finitely generated torsion left $R$-module is cyclic. Here is an example of such a ring: Let $k=\mathbb{C}((t))$ and let ...
0
votes
0answers
34 views

Injective Dimension of a quotient of the quantum plane

I am wondering what the injective dimension of the following ring is: $$\frac{A}{(ax, bx)}$$ where $A$ is the so-called quantum plane $k\langle x, y \rangle/(xy + yx)$ with $k$ a field and $a, b$ are ...
1
vote
0answers
111 views

Are these quaternion algebras definite or indefinite?

By investigating a different problem I have ended up looking at Quaternion algebras and have a lot to learn about them. Before I do, however, I want to see if my idea has any hope of being useful. So ...
5
votes
1answer
216 views

Graded Hopf algebras and H-spaces

Let $k$ denote an algebraically closed field of characteristic $0$. Suppose $K=\bigoplus_{i\geq 0}K(i)$ is a Hopf $k$-algebra which admits a connected Hopf-grading (that is, a grading which is both ...
4
votes
2answers
323 views

Projectives in the category of discrete G-modules

If $G$ is a profinite group, then the category $Mod(G)$ of discrete $G$-modules has sufficiently many injectives (Neukirch, Schmidt, Wingberg: Cohomology of Number Fields, 2.6.5). Since the cited ...
4
votes
0answers
180 views

Discriminants of Clifford algebras

I have a Clifford algebra defined over a field of characteristic not equal to $2$. Is there a formula for its discriminant in terms of the corresponding symmetric bilinear form (or in terms of its ...
14
votes
6answers
2k views

Definition of an algebra over a noncommutative ring

I've tried in vain to find a definition of an algebra over a noncommutative ring. Does this algebraic structure not exist? In particular, does the following definition from ...
1
vote
1answer
79 views

Graded category O for for rational Cherednik algebras, but at t=0

The paper [1] introduced the category $\mathcal{O}$ for rational Cherednik algebras $H_{t,c}(W)$. This construction is tailored for the $t=1$ case (equivalently, the $t\neq 0$ case). The general setup ...
11
votes
1answer
238 views

Are all separable algebras Frobenius algebras?

Let $\mathcal C$ be a [added later: semi-simple] tensor category, and let $A=(A,m:A\otimes A\to A,i:1\to A)$ be an algebra object in $\mathcal C$. The algebra is... Separable if there is an ...
2
votes
0answers
81 views

Centers of Noetherian Algebras and K-theory

I'll start off a little vauge: Let $E$ be a noncommutative ring which is finitely generated over its noetherian center $Z$. Denote by $\textbf{mod}\hspace{.1 cm} E$ the category of finitely ...
4
votes
0answers
165 views

Hochschild Cohomology of the Quantum Torus

I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...
7
votes
2answers
195 views

Must a finitely generated projective module over a group ring with vanishing coinvariants be trivial?

Let $G$ be a (possibly infinite) group. Let $\mathbb{Z}[G]$ be its integral group ring and let $P$ be a finitely generated projective module over $\mathbb{Z}[G]$. Suppose that the coinvariants of $P$ ...
8
votes
1answer
412 views

Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...
2
votes
1answer
108 views

Do representations of the universal enveloping algebra $\mathrm{U}\mathfrak{su}_2$ retain the Hopf algebra structure?

A Lie algebra $\mathfrak{g}$ generates its universal enveloping algebra $\mathrm{U}\mathfrak{g}$, which has the structure of a Hopf algebra. Modules of $\mathrm{U}\mathfrak{g}$ are exactly the of ...
5
votes
1answer
448 views

Why Jacobson, but not the left (right) maximals individually?

I firstly asked the following question on MathStackExchange a couple of months ago. I did not receive any answers, but a short comment. So, I decided to post it here, hoping to receive answers from ...
8
votes
5answers
853 views

Noncommutative Localization of a Ring : Complete Construction

I've been looking for the following construction in the literature, but I've only been able to find (very) partial proofs or proofs of special cases. Let $R$ be a non-commutative ring and $S$ a ...
6
votes
0answers
156 views

How to prove that a projective module is not free?

Let $A$ be a noncommutative (perhaps $\ast$-) algebra (over $\mathbb{C}$) and let $M$ be a projective module defined via a projector $P\in M_n(A)$; i.e. $M=P(A^n)$. Furthermore, assume that all ...
12
votes
2answers
395 views

$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $l^1(G)$ is a flat $\mathbb{Z}G$-(right) module?

Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by finite group. Denote the ...
3
votes
1answer
102 views

Locally nilpotent operators of the Weyl algebra

$\newcommand{\ad}{\operatorname{ad}}$As my recent post (here) did not receive any answers yet, I thought I would ask a similar question in which I'm also interested. Let $A=$ $^{k \langle x,y\rangle ...
3
votes
0answers
93 views

Nilpotent operator of the Weyl algebra

For a research project I'm currently working on, I came across the following problem: Let $A=$ $^{k <x,y> }\Big/_{(yx-xy-1)}$ be the Weyl Algebra over a field $k$ of characteristic $p$, where ...
51
votes
2answers
5k views

How would you solve this tantalizing Halmos problem?

1-ab invertible => 1-ba invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one? Geometric series. In ...
25
votes
4answers
2k views

A mysterious Heisenberg algebra identity from Sylvester, 1867

I am trying to understand two papers by James Joseph Sylvester: P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...
5
votes
0answers
617 views

Commutator Baker-Campbell-Hausdorff formula

Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\!\langle X,Y\rangle\!\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then (as ...
10
votes
1answer
212 views

NCG with all noncommutativity in a nilpotent ideal

While in general non-commutative geometry behaves rather differently from commutative geometry when it comes to local-to-global properties (descent), there are versions of "mild" noncommutative ...
5
votes
1answer
149 views

If $R$ is generated by idempotents, then $\text{Ann}(R)=0$?

Let $R$ be a ring (not necessarily commutative or unital) that is generated by idempotents. I'd like to know if $\text{Ann}(R)=0$ must hold. Here I use $\text{Ann}(R)$ to denote the set of all ...
20
votes
2answers
907 views

What do you do if you believe a problem is undecidable?

While the title of this question is subjective, I hope to make what I'm looking for quite concrete. The first, and main question is this: If you believe that a problem you are working on is formally ...
3
votes
1answer
214 views

The Jordan Plane and Enveloping Algebras

Let $k$ denote a field of characteristic $0$ (assume algebraically closed for convenience). Define $J=k\langle x,y|[x,y]=y^{2}\rangle$. This noncommutative algebra (which can be viewed as a derivation ...
4
votes
2answers
467 views

Motivation for the Preprojective Algebra

Let $Q=(Q_0,Q_1)$ be a quiver and $k$ a field. We construct a new quiver $\bar{Q}$ in the following way. Let the vertices of $\bar{Q}$ be the same as the vertices of $Q$, and let the arrows of ...
7
votes
2answers
176 views

Making an algebra the uniqe maximal one-sided ideal in another unital algebra

If $R$ is an algebra without a unit, then the standard unitisation $R^\sharp$ can have maximal one-sided ideals other than $R$. Thus, it is natural to ask about the following. Let $R$ be an algebra ...
4
votes
1answer
147 views

When is the essential extension commutes with colimits(or push forward)

Let $M$ be an $R$-module,where $R$ is a hereditary (or cohomological dimension less or equal to 1).Take $E(R)$ to be injective hull of $R$, then we have the essential extension $i:R^I\rightarrowtail ...
0
votes
0answers
138 views

Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that $$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...
19
votes
1answer
537 views

How to make the Capelli's identity less mysterious?

The formulation of the Capelli's identity is very elementary; it has important applications in invariant theory and representation theory, see http://en.wikipedia.org/wiki/Capelli%27s_identity To ...
1
vote
0answers
54 views

Turning left modules into right modules over a homotopy Gerstenhaber algebra

For simplicity's sake, let $A$ be a dg-algebra over $\mathbb{Z}/2\mathbb{Z}$. In the case when $A$ is a commutative algebra, we can turn a left $A$ module into a right $A$ module trivially. Of course ...
4
votes
2answers
778 views

Semiprime (but not prime) ring whose center is a domain

The center of a prime ring is a domain and the center of a semiprime ring is reduced. Now I have no evidence to believe that if the center of a semiprime ring R is a domain, then R has to be a ...