All Questions
1,123 questions
14
votes
9
answers
2k
views
Examples of noncommutative analogs outside operator algebras?
Theo's question made me wonder if there are other "noncommutative analogs" outside of operator algebras. Some noncommutative analogs from operator algebras include:
A $C^\ast$-algebra is a ...
3
votes
3
answers
447
views
Representations of finite commutative band semigroups
I think it's clear that commutative semigroups S that are also bands, i.e. $e^2 = e$ for all e, correspond to finite posets (consider the elements of the semigroups as sets, where the intersection of ...
9
votes
5
answers
1k
views
References/literature for pushouts in category of commutative monoids? [ed. - amalgams]
This is more of a request for pointers to relevant literature than a question per se. I am, erm, looking at a paper which uses a kind of iterated pushout construction to obtain a commutative monoid ...
9
votes
4
answers
954
views
Morita equivalence and moduli problems
Two rings $A$ and $B$ are said to be Morita equivalent if the category of modules over $A$ and $B$ are equivalent as additive categories. (Here I'm considering left modules).
Ex: $M_n(R)$ (the algebra ...
6
votes
3
answers
324
views
Inverses in convolution algebras
Let $G$ be a locally compact totally disconnected group, and to make life easy let's suppose its Haar measure is bi-invariant. Let $C_c(G)$ be the space of locally constant complex functions on $G$ ...
15
votes
1
answer
1k
views
Gelfand-Naimark from the category-theoretic point of view
I was thinking about the Gelfand-Naimark theorem asserting the isometric * isomorphism between a commutative $C^*$-algebra (with unit) $\mathcal{A}$ and the $C^*$ -algebra of continuous complex-valued ...
1
vote
3
answers
2k
views
Various Cartan's Lemmata
I am a bit amazed by "Cartan's Lemma".. I have so far seen it in :
Algebraic Geometry sources:
Look at Proposition 2.9 of Freitag and Kiehl's Étale Cohomology where he used étale morphism to describe ...
8
votes
5
answers
1k
views
Examples of left reversible semigroups
I am looking for concrete examples of cancellative, left reversible semigroups. Left reversible semigroups are also called "Ore semigroups". See this wikipedia page for the definition of a left ...
9
votes
5
answers
2k
views
Proof a Weyl Algebra isn't isomorphic to a matrix ring over a division ring
Can anyone prove that a Weyl Algebra is not isomorphic to a matrix ring over a division ring?
1
vote
2
answers
1k
views
An "Elementary" Math Question Generalized (Ring Theory Perhaps)
The following question is posed in the book "The USSR Olympiad Problem Book: Selected Problems and Theorems of Elementary Mathematics"
"Prove that if integers a_1, ..., a_n are all distinct, then the ...
14
votes
2
answers
899
views
Do torsion-free groups give projectionless group ($C^\ast$) algebras?
One of the reasons I study von Neumann algebras is that they always have plenty of projections. There are many projectionless $C^\ast$-algebras ($0$ and possibly $1$ are the only projections), but the ...
14
votes
2
answers
984
views
Recovering a monoidal category from its category of monoids
What kind of additional properties and/or structures one needs to impose on the category
of (commutative or noncommutative) monoids of some monoidal category
so that one can recover the original ...
26
votes
3
answers
2k
views
When does the converse to Schur's Lemma hold?
Let $R$ be a commutative ring, let $A$ be an $R$-algebra, and let $M$ be an $A$-module. If $M$ is simple, then End$_{A-mod}(M)$ is a division ring.
A common use is when $R$ is the complex numbers $\...
17
votes
2
answers
2k
views
How much theory works out for "almost commutative" rings?
I've been reading about D-modules, and have seen a proof that D_X, the ring of differential operators on a variety, is "almost commutative", that is, that its associated graded ring is commutative. ...
9
votes
1
answer
509
views
Maximal localizations of von Neumann algebras
Suppose M is a von Neumann algebra.
Denote by L its maximal noncommutative localization,
i.e., the Ore localization with respect to the set of all left and right regular elements,
i.e., elements whose ...
8
votes
1
answer
452
views
Separable and finitely generated projective but not Frobenius?
Let R be a commutative ring, and $A$ an $R$-algebra (possibly non-commutative). Then $A$ is separable if it is finitely generated (f.g.) projective as an $(A \otimes_R A^{\mathrm{op}})$-algebra. ...
19
votes
1
answer
1k
views
When should I expect a quiver with potential to be rigid?
This question is pretty technical, but there are some very smart people here.
Fix a quiver Q, WITH oriented cycles. Let k[[Q]] be the completed path algebra. (Like the path algebra, but we allow ...
9
votes
7
answers
2k
views
Hochschild/cyclic homology of von Neumann algebras: useless?
Hochschild homology gives invariants of (unital) $k$-algebras for $k$ a unital, commutative ring. If we let our algebra $A$ be the group ring $k[G]$ for $G$ a finite group, we get group homology. ...
8
votes
2
answers
2k
views
What is an example of a ring in which the intersection of all maximal two-sided ideals is not equal to the Jacobson radical?
What is an example of a ring in which the intersection of all maximal two-sided ideals is not equal to the Jacobson radical? Wikipedia suggests that any simple ring with a nontrivial right ideal would ...
13
votes
2
answers
723
views
Ideals in Factors
One can easily prove that factors have no nontrivial ultraweakly closed 2-sided ideals as these are equivalent to nontrivial central projections. One can also show type $I_n$, type $II_1$, and type $...
27
votes
13
answers
4k
views
Homological algebra for commutative monoids?
Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...
28
votes
5
answers
9k
views
Can a quotient ring R/J ever be flat over R?
If $R$ is a ring and $J\subset R$ is an ideal, can $R/J$ ever be a flat $R$-module? For algebraic geometers, the question is "can a closed immersion ever be flat?"
The answer is yes: take $J=...
8
votes
1
answer
623
views
Is there a good computer package for working with complexes over non-commutative rings?
I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find ...