All Questions
1,123 questions
5
votes
1
answer
175
views
Finding non-inner derivations of simple $\mathbb Q$-algebras
What's a good example of a simple algebra over a field of characteristic $0$ which has a non-inner derivation but also has the invariant basis number property (IBN)?
I'm under the impression that when ...
- 1,507
2
votes
0
answers
108
views
Left-elements of a numerical semigroup generated by two elements
A numerical semigroup $S$ is a semigroup in $\mathbb{N}$ such that $\mathbb{N}\backslash S$ is finite. It is known that there exists always a set $M$ such that an element in $S$ can be expressed as a ...
- 31
9
votes
1
answer
743
views
Why is choice needed in Ellis' Lemma?
Ellis Lemma on idempotent elements asserts that:
Lemma (Ellis). Every compact semigroup has an idempotent.
The proof below is excerpted from Todorcevic's Introduction to Ramsey Spaces, Lemma 2.1.
...
- 1,412
1
vote
1
answer
90
views
Affine semigroup generating a lattice
This is a cross-post from MSE.
Everything is assumed to be finite-dimensional. Let $S$ be a finitely generated affine semigroup (i.e. a subsemigroup of a lattice $N$ of a Euclidean space). Assume that ...
- 1,374
2
votes
1
answer
67
views
$E$-separated semigroups
Definition. A semigroup $X$ is called $E$-separated if for any distinct idempotents $x,y\in X$ there exists a homomorphism $h:X\to Y$ to a semilattice $Y$ such that $h(x)\ne h(y)$.
Observe that $X$ is ...
- 41.9k
6
votes
1
answer
185
views
A name for semigroups in which left and right principal ideals coincide
Is there any standard name for semigroups $S$ in which $xS=Sx$ for all $x\in S$?
Examples of such semigroups are commutative semigroups and Clifford inverse semigroups.
- 41.9k
1
vote
0
answers
156
views
Pseudo-coherent complexes over sheaves of non-commutative rings
I am posing a question on derived categories to which I was not able to find an answer anywhere in the literature. I would appreciate any answer, hint or suggestion.
Assume that $\mathcal{R}_X$ is a ...
- 609
3
votes
0
answers
88
views
Explicit separability idempotent for the center of a separable algebra
Let $A$ be a $k$-algebra for some commutative ring $k$. Recall that $A$ is said to be separable over $k$ if the multiplication map $A\otimes_k A^{\operatorname{op}}\to A$ has a section as a map of $A\...
- 15.8k
2
votes
1
answer
167
views
Existence of reduced norms for CSAs using fpqc descent
Let $k$ be a field and $A$ be a central simple algebra over $k$. It's known that $A$ has a splitting field (i.e. a field $K/k$ such that $A_K\cong M_n(K)$ for some $n$) which is finite and Galois.
...
- 711
4
votes
0
answers
166
views
A non-commutative, left duo ring whose only unit is the identity
Let $R$ be a ring (here, rings are always associative, unital, and non-zero). We say that $R$ is a left duo ring if $aR \subseteq Ra$ for every $a \in R$.
Question. Is there a non-commutative, left ...
- 10.5k
0
votes
2
answers
219
views
Are there any central simple algebras admitting a standard basis?
Are there any central simple algebras admitting a standard basis?
By a standard basis I mean a normal basis that has a cyclic property generalizing that of the familiar basis $1, i, j, k$ for ...
- 113
5
votes
1
answer
266
views
Rings s.t. each element has a power lying in the center (and their completely prime ideals)
Let $R$ be a ring (throughout, all rings are associative and unital). We say $R$ satisfies condition (C) if, for every $a \in R$, there exists an integer $n \ge 1$ (depending on $a$) such that $a^n$ ...
- 10.5k
5
votes
0
answers
241
views
Non-commutative rings where every non-unit is contained in a completely prime ideal
Below, all rings are associative and unital; and the word "ideal" always refers to a two-sided ideal.
Let's stipulate that a ring $R$ has property (P) if every non-unit of $R$ is contained ...
- 10.5k
5
votes
1
answer
273
views
'Lie correspondence' for formal power series in non-commuting indeterminates
This is related to an earlier question of mine. I would like an argument or a reference (or a missing hypothesis if needed) for the following.
Let $\mathbb{F}\langle\langle \alpha\rangle\rangle$ and ...
- 1,089
7
votes
1
answer
281
views
Question concerning the coefficients of block idempotents
Let $G$ be a finite group. Let $p$ be a prime number such that $p \mid |G|$.
Let Irr$(G)$ denote the set of ordinary irreducible characters of $G$.
For $\chi\in$ Irr$(G)$ define $e_{\chi} := \frac{\...
- 1,755
9
votes
1
answer
889
views
Combinatorics for the action of Virasoro / Kac–Schwarz operators: partition polynomials of free probability theory
In the background sections below, I establish the relations among characterizations of the action of Virasoro / Kac–Schwarz operators of 2D gravity models presented in terms of Laurent series by ...
- 10.5k
7
votes
0
answers
221
views
Strange formula for the dimension of a certain space of noncommutative polynomials
Consider a vector space $V_r(n)$ spanned by (noncommutative) monomials in variables $x_1,\ldots,x_r$
$$
x_{1}^{n_1}x_{2}^{n_2}\ldots x_{r}^{n_r}
$$
of total degree $n.$ Inside this space consider a ...
- 4,316
1
vote
0
answers
43
views
Interleaving in Viennot's Heaps models?
I am looking for past results on interleaving of heaps (in the sense of Viennot). For a very simplified example, suppose I have two pieces, (b1 a1 b1), and (b2 c2 b2), where the letter represents a ...
- 11
2
votes
0
answers
73
views
Nonzero idempotents in compact semitopological semigroups with zero
Let $S$ be a compact semitopological semigroup. Then, $S$ contains minimal idempotents by Ellis' theorem.
Ellis' Theorem: In a compact left-topological (resp. right-topological) semigroup, every ...
- 2,605
8
votes
0
answers
285
views
Matrix decompositions as monoid isomorphisms. Ever considered before?
I've noticed some correspondences between some matrix decompositions and monoid isomorphisms (always to some free commutative monoid), in addition to the one I asked about in a previous question:
...
- 4,943
2
votes
0
answers
145
views
Semigroup ideals of a ring or an algebra
Let $R$ be a ring or an algebra. Suppose $B\subseteq R$ satisfies the property $BR \subseteq B$ and $RB\subseteq B$. Is there a general theory of subsets with this property in a ring (resp. algebra) ...
- 2,605
2
votes
0
answers
119
views
The "matrix direct sum" monoid modulo unitary equivalence
Given a commutative $*$-ring $(R,*)$, let $M(R,*)$ be the monoid whose elements are matrices over $R$ of all possible shapes and entries, including those that have $0$ columns or $0$ rows. Let the ...
- 4,943
7
votes
0
answers
194
views
Factoring a function from a finite set to itself
Let $S$ be a finite set and $f: S \to S$ be a function. Let $k = |f(S)|$ and let $\alpha$ be the partition of $S$ into $f$-fibers, i.e. $\alpha = \{ \alpha_t \}_{t \in f(S)}$ where $\alpha_t = f^{-1}(\...
- 695
9
votes
2
answers
2k
views
A ring for which the category of left and right modules are distinct
What is an example of a ring $R$ for which the abelian category of left $R$-modules is not isomorphic to the category of right $R$-modules?
- 435
1
vote
0
answers
85
views
Exponential of a sum in a non-commutative graded algebra
Let $a,b$ be two elements of a graded algebra $A$ such that $\deg(a)=1$, $\deg(b)=0$ and $[a,b]\neq 0$.
I would like to know whether there exits an explicit expression for the degree 1 component
$$\...
- 789
3
votes
1
answer
299
views
RIng that is flat over a subring as a right module but not as a left module
What is an example of a ring $R$ and a subring $S \subseteq R$ such that $R$ is flat as a right module but not flat as a left module.
The following question is my motivation:
Faithful flatness for ...
- 305
4
votes
1
answer
417
views
Is a solvable group satisfying a semigroup law?
Let $S$ be the free semigroup on the set $\{x_1,\ldots ,x_n\}$, where $n$ is a positive integer. Suppose that $\mu=\mu (x_1,\ldots ,x_n)$ and $\nu = \nu (x_1,\ldots ,x_n)$ are two elements in $S$. We ...
- 883
4
votes
0
answers
363
views
A projective module over a domain that is not faithfully flat?
Let $R$ be a (noncommutative) unital ring which is a domain and let $\mathcal{N}$ be a non-zero projective (right) module. Projectivity of course implies that $\mathcal{N}$ is flat, but does the fact ...
- 435
8
votes
1
answer
645
views
Isomorphic morphisms. A 27-morphism category
Two morphisms of category $\ \mathbf C\ $ are isomorphic to one
another $\ \Leftarrow:\Rightarrow\ $ they are the opposite edges that are drawn horizontally (aimed East) of a commutative square that ...
- 4,786
2
votes
2
answers
181
views
Module complements to rings embedded in a projective module
Let $R$ be noncommutative unital ring and $M$ a projective (right) $M$-module. Assume that $R$ embedds into $M$ as a right -module.
A) If $R$ is a semisimple ring, then of course $R$ admits an $R$-...
- 203
0
votes
1
answer
139
views
Computationally intractable orbit of a monoid action on a finite set
Suppose for each integer $n\geq 1$ we have a submonoid $M_n\subset \mathrm{Self}(\{1, \dots, n\})$ of self-maps of $\{1, \dots, n\}$.
A characterization of $M_n$ is an algorithm that takes an integer $...
- 1
2
votes
0
answers
203
views
Can the relation between count of commuting pairs and conjugacy classes for finite groups be generalized to semigroups?
It is well-known that number of pairs of commuting elements in finite group G is equal to number of conjugacy classes multiplied by cardinality of G.
More generally here (MO275769) Qiaochu Yuan ...
- 24.9k
2
votes
1
answer
166
views
Submonoid of free monoid with certain properties
Let $N$ be a submonoid of a free monoid $M$ such that
$m_1nm_2\in N \Rightarrow m_1,m_2\in N$ for any $m_1,m_2\in M$ and $n\in N\setminus\{1\}$. $\quad\quad\quad\quad$ (C)
Do such submonoids ...
- 491
9
votes
0
answers
347
views
What is the precise connection between logarithmic algebraic geometry and the field with one element?
Monoid schemes (a.k.a. $\frak M$-schemes) have been introduced by Deitmar as a possible approach to geometry over the field with one element. These build upon monoids as the basic building blocks for ...
- 11.8k
1
vote
0
answers
88
views
Sequences generated from commuted quaternions and general commuted linear transformations
Given a pair of non-commuting linear transformations, $A$ and $B$, define the "next
pair" in a sequence as $A*B$ and $B*A$. I am interested in finite cycles (i.e.,
the sequence eventually ...
- 1,547
2
votes
1
answer
287
views
Every module of finite uniform dimension is a direct sum of (finitely many) indecomposable
Crossposted on StackExchange on July 28 (no answer so far).
Let $R$ be a (commutative or non-commutative, associative, unital) ring. It is well known that any artinian or noetherian $R$-module $M$ can ...
- 10.5k
1
vote
0
answers
56
views
Effect on finite transformation semigroup under a particular modification of the generators
The following question arises in connection with problems in automata theory related to the road problem. Let $f_1, f_2: [N] \to [N]$ be maps such that the transformation semigroup $S = \langle f_1, ...
- 695
26
votes
3
answers
724
views
Subtraction-free identities that hold for rings but not for semirings?
Here is a concrete, if seemingly unmotivated, aspect of the question I am interested in:
Question 1. Let $a$ and $b$ be two elements of a (noncommutative) semiring $R$ such that $1+a^3$ and $1+b^3$ ...
- 33.8k
0
votes
1
answer
49
views
More vocabulary for periodic elements in monoids
Let $M$ be a monoid, and let $x\in M$. One says that $x$ is periodic if
$$x^{i+j}=x^j$$
for some integers $i\geq 1$ and $j\geq 0$.
An easy division algorithm argument shows that if $m$ is the ...
- 18.7k
8
votes
1
answer
238
views
Functions over monoids which factor in two different ways
This is a follow-up question to this MO question, which was asked by Richard Stanley in a comment to my answer there.
Let $S$ be a commutative monoid and $f(x_1, \dots, x_n)$ be a function from $S^n$ ...
- 32.1k
3
votes
0
answers
62
views
Image of the reduction of a maximal order in a central simple algebra over $\mathbb Q$
Suppose $A$ is a $n^2$-dimensional central simple algebra over $\mathbb Q$, and $O_A$ is an maximal order of $A$.
Choose a finite place $p$ such that $A \otimes \mathbb Q_p \cong M_n(\mathbb Q_p)$. ...
- 6,622
1
vote
0
answers
66
views
First isomorphism theorem for inverse semigroups together with v-prehomomorphisms?
In this old paper D. B. McAlister has introduced another class of morphisms for inverse semigroups, called v-prehomomorphisms. For such a morphism $\theta : S \to T,$ instead of preserving the ...
- 1,093
2
votes
0
answers
98
views
Do $r(a) \leq^\oplus R$ and $r(a) = r(a^2)$ imply $r(a) = eR$ and $aR \subseteq (1-e)R$ for some idempotent $e$?
Let $R$ be a (commutative or non-commutative, associative) ring with unity, and let $a$ be an element of $R$ such that $r(a) = r(a^2)$, where $r(\cdot)$ denotes a right annihilator. It follows that $r(...
- 10.5k
1
vote
0
answers
170
views
What is this algebraic object (special case of a semigroup)?
Let $(M,*)$ be a finite semigroup. Further we demand the following:
Zero element: $\exists0\in M \forall m\in M:0*m=0=m*0$.
Left cancelation: $\forall m,n,n'\in M:0\neq m*n =m*n' \Rightarrow n=n'$.
...
- 696
1
vote
0
answers
39
views
Rings where every indecomposable principal right ideal is extensive
Let $R$ be a (commutative or non-commutative, associative) unital ring. Following Nicholson & Yousif [1, p. 21], we say that a right ideal $\mathfrak i$ of $R$ is extensive if every $R$-linear ...
- 10.5k
2
votes
2
answers
105
views
Every non-zero submodule of $R_R$ has an indecomposable direct summand: True when $R$ is von Neumann regular?
Let's say that a (right) module $M$ is well complemented if every non-zero submodule of $M$ has an indecomposable direct summand (by the way, is there a better or more standard name for this property?)...
- 10.5k
1
vote
0
answers
124
views
On the rings $R$ with the property that $eR \cong fR$ for all primitive idempotents $e, f \in R$
Let $R$ be a (commutative or non-commutative) ring with identity. As usual, an idempotent $e \in R$ is primitive if $eR$ (the principal right ideal generated by $e$) is indecomposable as a right ...
- 10.5k
3
votes
1
answer
311
views
Functors that preserve monoids
In the comments section of this question there was a question that I don't know if it has been asked on the site. It is well-known and easily proved that lax monoidal functors preserve monoids. So the ...
- 499
6
votes
0
answers
584
views
What are the topics in noncommutative algebraic geometry?
Preface: I know very little about noncommutative algebra and noncommutative geometry, so please feel free to make improvement suggestions for my question. Also, to my knowledge there are several ...
2
votes
1
answer
192
views
Origins of a theorem on an atomic factorizations in domains and cancellative monoids satisfying the ACCPL and the ACCPR
Let $H$ be a (commutative or non-commutative) monoid. We say that $H$ satisfies the ACCPL (ascending chain condition on principal left ideals) if there exists no infinite sequence of principal left ...
- 10.5k