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 questions only not deleted user 78

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 $| …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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' …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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$ …
Theo Johnson-Freyd's user avatar
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 $[ …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar
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 …
Theo Johnson-Freyd's user avatar

15 30 50 per page