Skip to main content

All Questions

Filter by
Sorted by
Tagged with
26 votes
7 answers
5k views

Commutative subalgebras of M_n

For a given $n$, is there any characterization for the commutative subalgebras of $M_n(\Bbb{C})$? I would like to know how many commutative subalgebras there are for each possible dimension. In view ...
Carmen's user avatar
  • 397
40 votes
9 answers
10k 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 (...
Amritanshu Prasad's user avatar
17 votes
3 answers
905 views

Existence of translation-invariant basis on $C_c(\mathbb R)$

Consider the space $C_c(\mathbb R)$ of complex-valued continuous functions of compact support. This is a vector space over $\mathbb C$, and I am not considering any topology, so the question is ...
Nick S's user avatar
  • 2,071
7 votes
1 answer
1k views

The saturation of Murray von Neumann relation

Edit: According to comment of Pace Nielsen, I remove question 2 of the previous version: Let $R$ be a unital ring. We define Murray Von Neumann relation $M$ on $R$ as follows: We say $a M b$ iff $...
Ali Taghavi's user avatar
16 votes
3 answers
3k views

Are there other semidirect product/crossed products in other areas

Suppose $(O, G, \alpha)$ is a triple where $O$ is some mathematical object, $G$ is a group and $\alpha : G \rightarrow Aut(O)$. Many different areas of mathematics study such triples. However, I only ...
Chris Ramsey's user avatar
  • 3,984
9 votes
1 answer
521 views

Which group algebras in analysis are "true group algebras"?

Let $G$ be a group, $A$ a unital associative algebra over ${\mathbb C}$, and let us call a representation of $G$ in $A$ an arbitrary map $\pi:G\to A$ such that $$ \pi(1)=1,\qquad \pi(a\cdot b)=\pi(a)\...
Sergei Akbarov's user avatar
6 votes
1 answer
322 views

Pairwise orthogonality for partitions of unity in a *-algebra

Let $\mathcal{A}$ be a $*$-algebra with unit $1_{\mathcal{A}}$. As in the $\mathrm{C}^*$-setting, a projection is an element $p\in\mathcal{A}$ such that $p=p^2=p^*$. A partition of unity is a finite ...
JP McCarthy's user avatar
  • 1,027
5 votes
1 answer
342 views

Can the trivial module be stably free for a monoid ring?

Let $M$ be a non-trivial monoid and $\mathbb ZM$ its monoid ring. All modules are left modules in what follows. Suppose that $M$ contains a zero element (or absorbing element) $z$. That is $mz=z=zm$ ...
Benjamin Steinberg's user avatar
3 votes
1 answer
252 views

What is the story behind this Hilbert space in the definition of Hilbert Modules

Here is Deflnition 1.5 of Hilbert module in "L^2-invariants: theory and applications to geometry and K-theory", Springer-Verlag, 2002, by W. Lück: A Hilbert $\mathcal N(G)$-module $V$ is a Hilbert ...
MSMalekan's user avatar
  • 2,118
2 votes
0 answers
208 views

A functor on the category of rings, algebras or compact Hausdorff topological space

Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra. We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...
Ali Taghavi's user avatar
1 vote
1 answer
306 views

Simple $C^*$ algebras whose all commutator elements have scalar square

Is there a simple $C^*$ algebra $A$, not isomorphic to $M_2(\mathbb{C})$, such that for every commutator element $x=ab-ba$, $x^2$ is an scalar element?
Ali Taghavi's user avatar
1 vote
0 answers
178 views

A locally convex $C^*$ algebra without zero divisor

Let we have a locally convex $C^*$ algebra $A$. That is $A$ is a TVS equipped with an algebra and an involution structure such that all operations are continuous. Moreover the topology on $A$ ...
Ali Taghavi's user avatar
1 vote
0 answers
164 views

When a finite codimensional subalgebra contains a finite codimension ideal?

What is a classification of all algebras $A$ (purely algebraic algebras, Banach or $C^*$ algebras or Lie algebras) with the following property: Every finite codimensional subalgebra $B$ of $A$ ...
Ali Taghavi's user avatar