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 6827

Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras

10 votes
Accepted

How to work with co-multiplication?

To add to the answer above, I'd like to advertise the so-called sumless Sweedler notation here. This notation works as follows: let $C$ be a coalgebra; then if $c \in C$ then we write $\Delta(c) = c …
user91132's user avatar
  • 3,702
2 votes
Accepted

Torsion in tensor products over noncommutative rings

Instead of updating my previous answer, I've decided to add a new answer in order to keep it short(ish). In the comments following his original question, TonyS added the extra assumption that $R$ is …
user91132's user avatar
  • 3,702
3 votes

Torsion in tensor products over noncommutative rings

Since $A$ is regular local commutative ring, it's an integral domain. Let $S = A - 0$ so that the localisation $A_S$ is the field of fractions $F$ of $A$. Assuming the algebra $A$ is central in $R$, …
user91132's user avatar
  • 3,702
4 votes
Accepted

Prime ideals in maximal orders (1- and 2-sided)

No. The problem is that $\Lambda$ might have too few units. Here is an example that illustrates this point. Let $\Lambda$ be the ring of Hurwitz quaternions. This is the subring of the usual quaterni …
user91132's user avatar
  • 3,702
13 votes
Accepted

non commutative polynomial which is zero for all matrix evaluation

This is an algebraic elaboration on Emil's answer. Let $A = K \langle x_1,\ldots,x_n \rangle$ and let $\hat{A} = K \langle\langle x_1,\ldots, x_n \rangle \rangle$. Since $A$ is a subring of $\hat{A}$ …
user91132's user avatar
  • 3,702
11 votes
Accepted

For $G=\mathbb{Z}^2\rtimes \mathbb{Z}$, $Spec(\mathbb{Z}G)$=?

The natural map $\mathbb{Z} \to \mathbb{Z}G$ has central image and therefore induces a map between prime spectra $Spec(\mathbb{Z}G) \to Spec(\mathbb{Z})$. The preimage of the ideal generated by $(p)$ …
user91132's user avatar
  • 3,702
5 votes

Jacobson radical = intersection of all maximal two-sided ideals

Just for the record, here is an example of a (necessarily infinite dimensional) $k$-algebra $A$ where the Jacobson radical is not equal to the intersection of all maximal two-sided ideals. Let $k$ be …
user91132's user avatar
  • 3,702
6 votes
Accepted

Center of universal enveloping algebra of nilpotent lie algebra

Yes. Let $J(\mathfrak{g}) := (Z(\mathfrak{g}) \cap \mathfrak{g} U( \mathfrak{g} ) ) \cdot U(\mathfrak{g})$ denote the ideal of $U(\mathfrak{g})$ you're interested in. First note that if $\mathfrak{g} …
user91132's user avatar
  • 3,702
2 votes

Rings all of whose torsion modules are cyclic

Suppose that $R$ satisfies the following properties: $R$ is a simple ring : it has no non-trivial two-sided ideals, $R$ has left Krull dimension equal to $1$. This means that $R$ has at least one in …
user91132's user avatar
  • 3,702