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.
3
votes
1
answer
93
views
Normed algebras of indefinite signature?
Hurwitz's theorem states that a real possibly-non-associative algebra (meaning just a real vector space $V$ equipped with a map $m: V \otimes V \to V$) along with a positive definite quadratic form $| …
6
votes
0
answers
86
views
Can an algebra be isomorphic to its own algebra of $n^2 \times n^2$ matrices but not its own...
Is there an associative unital algebra $A$ which is isomorphic to its own algebra of $n^2\times n^2$ matrices $\operatorname{Mat}_{n^2}(A)$, but not isomorphic to its algebra of $n \times n$ matrices …
2
votes
0
answers
35
views
Can one bound the minimal degree of a solution to an inhomogeneous linear equation?
Suppose $A = \cup_{i\in \mathbb N} A_{\leq i}$ is a filtered algebra and $M = \cup_{i\in \mathbb N} M_{\leq i}$ a filtered $A$-module. In my case, I know $A$ to be Noetherian and $M$ to be finitely ge …
4
votes
2
answers
322
views
A hands-on description of a "completion" of the free commutative monoid on countably many ge...
This is basically an I'm-weak-at-algebraic-geometry question. I asked it as a warm-up question here, but Ilya N asked me to break that post up into several questions.
Consider the free commutative m …
4
votes
1
answer
311
views
Can base-change be non-surjective on Brauer groups?
Is there a finite-degree separable field extension $\mathbb{K} \subset \mathbb{L}$ such that the induced map on Brauer groups $\operatorname{Br}(\mathbb{K}) \to \operatorname{Br}(\mathbb{L})$ is not a …
8
votes
1
answer
244
views
Are annihilation modules in the quantum torus necessarily principal?
I hope that my question yields some standard fact from (noncommutative) ring theory. In discussions with other graduate students, we have outlined some approaches to tackling the question, but haven' …
5
votes
0
answers
152
views
What is the composition in SesquiAlg?
To motivate my question, I will describe a famous 2-category. First, there is the 1-category $\text{Vect}$ of vector spaces (over some fixed field). This category has a tensor product $\otimes$, and …
12
votes
0
answers
275
views
How can you unitalize a higher category?
Given an associative nonunital algebra $A$, there are (at least) two standard ways to produce a unital algebra $A'$ together with a map $A \to A'$. Following the discussion in the comments below, thes …
13
votes
0
answers
338
views
When does Hochschild homology commute with infinite products?
Let $A$ be an associative algebra. Its zeroth Hochschild homology $\mathrm{HH}_0(A)$ is the cokernel of the linear map $A^{\wedge 2} \to A$, $a \wedge b \mapsto ab - ba$. I.e. you quotient the vecto …
16
votes
6
answers
2k
views
What is an algebraic group over a noncommutative ring?
Let $R$ be a (noncommutative) ring. (For me, the words "ring" and "algebra" are isomorphic, and all rings are associative with unit, and usually noncommutative.) Then I think I know what "linear alg …
9
votes
2
answers
2k
views
What are examples of cogenerators in R-mod?
Fill in the blank, please :)
Let $\mathcal C$ be a complete and cocomplete abelian category. A generator in $\mathcal C$ is an object $X \in \mathcal C$ such that every object $Y \in \mathcal C$ …
9
votes
2
answers
805
views
Strategies for proving a category is Noetherian?
Let $C$ be a small linear category over a commutative ring $R$. A representation of $C$ is an $R$-linear functor $C \to \mathrm{Mod}(R)$. For example, for each $c\in C$, there is a representation $[ …
15
votes
3
answers
3k
views
Which is the correct universal enveloping algebra in positive characteristic?
This is an extension of this question about symmetric algebras in positive characteristic. The title is also a bit tongue-in-cheek, as I am sure that there are multiple "correct" answers.
Let $\math …
20
votes
1
answer
827
views
Reference request: Morita bicategory
I have two closely related questions:
Who first recognized that Morita equivalence was equivalence in the bicategory of Rings, Bimodules, and Intertwiners?
I've heard this bicategory called the "Mor …
13
votes
1
answer
1k
views
Why not _co_free modules?
Let $R$ be a ring, and $R\text{-Mod}$ its category of all left modules. There is a "forgetful" functor $\operatorname{Forget}: R\text{-Mod} \to \text{AbGp}$, which is additive, continuous, and cocont …