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 290

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.

18 votes

Are automorphisms of matrix algebras necessarily determinant preservers?

Here is a positive result. Every finite-dimensional algebra $A$ over a field $K$ has an intrinsic determinant, and in fact an intrinsic characteristic polynomial, which is preserved by all automorphis …
Qiaochu Yuan's user avatar
5 votes
Accepted

Real matrix rings and associative hypercomplex numbers

It's not clear what you mean by "real matrix ring," which could either mean a ring of the form $M_n(\mathbb{R})$ or a real subalgebra of $M_n(\mathbb{R})$; if the latter, this is the same as saying "f …
Qiaochu Yuan's user avatar
1 vote

Constructing an adjunction between algebras and differential graded algebras

($R$ is commutative, of course.) This functor does exist but it is probably not the functor you're looking for, in particular it is not the de Rham algebra. It is very strange. Here is a description o …
Qiaochu Yuan's user avatar
4 votes
Accepted

Relationship between units of a ring and primitive characters of the ring under addition

The rings $\mathbb{Z}/n$ are the only examples. I assume that "primitive character" just means that it is faithful, or equivalently that it does not factor through a proper quotient; this is the meani …
LSpice's user avatar
  • 13k
26 votes

Integer matrices which are not a power

I actually even struggle to find examples of primitives matrices in these groups. Here is a relatively easy sufficient condition. If $M \in SL_n(\mathbb{Z})$ is the $k^{th}$ power of some other matr …
Qiaochu Yuan's user avatar
7 votes

On the tree-ishness of magmas and the stringiness of groups

People have done lots of interesting works along these lines. This is a discussion that would be best had at a blackboard to facilitate easy drawing, but here is one version of the story among many. F …
Qiaochu Yuan's user avatar
8 votes
Accepted

Uniqueness of infinite direct sum decomposition

Yes. A semisimple module $M$ is canonically isomorphic to $$M \cong \bigoplus_i \text{Hom}_R(S_i, M) \otimes_{\text{End}(S_i)} S_i$$ where $\text{Hom}_R(S_i, M)$ is what you might call the multiplicit …
Qiaochu Yuan's user avatar
16 votes

How many Lie and associative algebras over a finite field are there?

Bjorn Poonen addresses this question for commutative (associative, unital) algebras in The moduli space of commutative algebras of finite rank; asymptotically we have $$q^{\frac{2}{27} n^3 + O(n^{8/3} …
Qiaochu Yuan's user avatar
8 votes

Category of modules over an Azumaya algebra and the Brauer group

$k$-linear cocomplete categories admit a "tensor product over $\text{Mod}(k)$" (thinking of them as module categories over $\text{Mod}(k)$) and the only thing you need to know about it to answer this …
Qiaochu Yuan's user avatar
42 votes
Accepted

Why are ring actions much harder to find than group actions?

First, I am not really sure what you mean by "it is hard to come across a general theory of ring actions." This is precisely module theory! If $f : R \to S$ is any ring homomorphism whatsoever, then c …
Martin Sleziak's user avatar
15 votes

Dual of a bimodule

As explained in more detail in this blog post linked by Jakob in the comments, every $(A, B)$-bimodule $M$ has two natural duals: If $M$ is finitely generated projective as a left $A$-module, it has …
Qiaochu Yuan's user avatar
8 votes

Is the multiplication between even numbers an associative algebra?

The set of even numbers is a non-unital ring, in particular it has an associative multiplication, but you are right that it isn't an algebra over a field. For an example of a non-unital algebra, cons …
Martin Sleziak's user avatar
30 votes

intuition for hochschild homology

Slogan: Hochschild homology is a (derived) categorification of the trace. This means the identity at the end of John Pardon's answer is a categorification of the identity $\text{tr}(AB) = \text{ …
Qiaochu Yuan's user avatar
17 votes
Accepted

Is there any "fundamental" distinction between min-plus, max-plus, min-product, and max-prod...

Consider the following four semirings, listed in the order underlying set, addition, additive identity, multiplication, multiplicative identity: $A = (\mathbb{R} \cup \{ \infty \}, \text{min}, \inft …
Qiaochu Yuan's user avatar
4 votes

Graded rings with compatible S_n actions

As a warmup, an $\mathbb{N}$-graded ring is a monoid object in the symmetric monoidal category of $\mathbb{N}$-graded abelian groups under the convolution tensor product, which you can think of as Day …
Qiaochu Yuan's user avatar

15 30 50 per page