Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 8176

Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups. For questions specific to commutative algebra (that is, rings that are assumed both associative and commutative), rather use the tag ac.commutative-algebra.

11 votes

Matrix representation of real *-algebras

You have to add the condition $$\sum_{i} a_i^*a_i =0 \quad \Rightarrow \quad a_i =0 \quad \forall i.$$ If you consider $\ast$-algebras satisfying this condition, then $-1$ is not a sum of hermitean …
Andreas Thom's user avatar
  • 25.5k
15 votes
2 answers
1k views

Is every finitely generated idempotent ring singly generated as a two-sided ideal?

In this post, a ring is understood to be what one usually calls a ring, not assuming that it has a unit. Some people call such objects rng. Question: Let R be a finitely generated (non-unital and …
Andreas Thom's user avatar
  • 25.5k
7 votes
Accepted

Infinite subfields of division algebras with finite center

It is not possible that $D^{\times}$ is a torsion group unless $D$ is a field. Let $D$ be a division ring of characteristic $p$. Denote the center of $D$ by $Z(D)$. Lemma 1: Every finite subgrou …
Andreas Thom's user avatar
  • 25.5k
2 votes

Trace of the identity map in a projective module

For any homomorphism $\varphi : A \to \mathbb C$, $\varphi({\rm tr}({\bf 1}))$ will be the corresponding trace for the finite-dimensional vector space $M \otimes_A \mathbb C$, and hence be equal to th …
Andreas Thom's user avatar
  • 25.5k
6 votes
Accepted

Is the set of polynomial sum of squares closed under limits?

The cone of sums of squares $\Sigma^2 \subset \mathbb R[x_1,\dots,x_n]$ is closed in the finest locally convex topology. This is equivalent to the assertion that the intersection of this cone with the …
Andreas Thom's user avatar
  • 25.5k
18 votes
1 answer
1k views

Analogue of Smith normal form for matrices over $\mathbb Z[t]$

Let $R$ be a principal ideal domain and $A \in M_n R$. It is well known that there exist invertible matrices $Q$ and $S$ and a diagonal matrix $D= {\rm diag}(a_1,\dots,a_n)$ such that $a_i \mid a_{ …
Andreas Thom's user avatar
  • 25.5k
2 votes
4 answers
2k views

Semi-simple matrices over fields of finite characteristic

Well-known and useful facts are: any symmetric matrix over $\mathbb R$ is semi-simple (i.e. diagonalizable), and any hermitean matrix over $\mathbb C$ is semi-simple. I will loosely speak about t …
Andreas Thom's user avatar
  • 25.5k
6 votes

Ideals in a noncommutative ring such that their product is their intersection?

This is more a remark, since I do not directly answer the question. The statement in the question is true for all ideals $I,J$ (without the condition $I+J=R$) if and only if all ideals a idempotent, i …
Andreas Thom's user avatar
  • 25.5k
8 votes

Infinite-dimensional normed division algebras

The associative case follows from Mazur's Theorem (see here). He proved that there are up to isomorphism precisely three Banach division algebras, namely $\mathbb R,\mathbb C$ and $\mathbb H$. This ap …
Andreas Thom's user avatar
  • 25.5k
50 votes

Example for column rank $\neq$ row rank

It is a classical observation due to Nathan Jacobson that a division ring such that the set of invertible matrices over it is closed under transposition has to be a field, i.e. commutative. The reaso …
Andreas Thom's user avatar
  • 25.5k
17 votes
Accepted

Why does the Grothendieck group $K_0(R)$ of a ring not depend on our choice of using left mo...

First of all, right $R$-modules are the same as left $R^{op}$-modules. Hence you are asking whether the $K$-theory changes if you pass form $R$ to $R^{op}$. The answer is: It does not change. The re …
Andreas Thom's user avatar
  • 25.5k
7 votes

Is every polynomial a limit of polynomials in quadratic variables?

The dimension of the linear space of homogenous polynomials of degree $d$ is $\binom{n+d-1}{d}$. The dimension of the space of homogenous polynomials of degree $d$ in squared linear variables is $$\b …
Andreas Thom's user avatar
  • 25.5k
1 vote

Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$

A unital $*$-ring $A$ (commutative or not) is a subring of $B(H)$ if and only if for each $a \in A$, there exists a linear functional $\varphi \colon A \to \mathbb R$, such that 1) $\varphi(1)=1$ and …
Andreas Thom's user avatar
  • 25.5k
4 votes
2 answers
604 views

Invertible elements in monoid rings of unital monoids without non-trivial invertible elements

This question is somewhat related to Tilmans notorious problem in this post. Let $(M,\cdot)$ be a monoid with unit $1$ and set $$(M,\cdot)^{\times} := \lbrace x \in M \mid \exists y \in M : xy=yx=1 \r …
Andreas Thom's user avatar
  • 25.5k
0 votes

Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$

Let $A$ be a (say finitely generated, unital) commutative complex $\star$-subalgebra of $B(H)$. Then, the self-adjoint elements form a real subalgebra $B:=A_h \subset A$, such that $B[i] = A$. Moroeve …
Andreas Thom's user avatar
  • 25.5k

15 30 50 per page