Search Results
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 |
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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} …
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 …
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 …
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{ …
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 …
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 …
22
votes
What are Homotopy rings good for?
The rationalization of this ring can be understood in a very nice way, as follows. Suppose for simplicity that $X$ is simply connected. Then we can define its rational homotopy groups
$$\pi_n(X, \math …
11
votes
Are there other semidirect product/crossed products in other areas
In any higher category $C$, given an object $X$ and an action of a group $G$ on it you can ask for the homotopy quotient $X_{hG}$ of $X$ by the action of $G$, which is defined by a homotopy-coherent v …