All Questions
1,123 questions
4
votes
2
answers
288
views
Normal regular sequence in noncommutative algebras
Does anyone know anything about the normal regular sequences in the quantum plane?
Here are the definitions:
Normal regular sequence: Let $R$ be a ring (not necessarily commutative). A sequence $...
- 55
0
votes
1
answer
400
views
Non-simple and non-unital rings with trivial centres
Let $R$ be an associative and non-unital ring. (Suppose that $R$ is $s$-unital, i.e. for each $x\in R$ there is $u,v\in R$ such that $ux=xv=x$.)
It is not difficult to show that if $R$ is a simple ...
- 1,065
6
votes
2
answers
416
views
For a monoid with zero $M$, how many additive operations on $M$ can there be making $M$ a ring?
Let $(M,\times)$ be a monoid with zero. Let $\Sigma(M,\times)$ be the set of binary operations $+$ on $M$ such that $(M,+,\times)$ is a ring. Let $\sim$ be an equivalence relation on $\Sigma(M,\times)$...
- 1,445
1
vote
2
answers
369
views
Gerstenhaber bracket out of $L_\infty$ algebras
Given a Lie algebra g, with $Ug$ being its universal enveloping algebra, one can construct a cochain complex $d: Ug^n \rightarrow Ug^{n+1}$, and a Gerstenhaber bracket on $\oplus_n Ug^n$ so that $\...
- 41
10
votes
0
answers
314
views
How much do idempotent ultrafilters generate in terms of semigroups?
It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
- 1,914
5
votes
0
answers
578
views
Central Element in Sklyanin Algebras?
I'm interested in Sklyanin Algebras or Artin-Shelter regular algebras of type A. These are generated in degree 1 by three variables x,y,z, and have three defining relations in degree 2, which you can ...
- 807
0
votes
1
answer
128
views
What are the semigroups in which congruence classes can be multplied like sets?
For a semigroup $S$ and a congruence $\rho$ on $S$, let's say that $\rho$ is good when for all $a,b\in S$ we have that $[ab]=[a][b],$ where $[x]$ denotes the congruence class of $x$ modulo $\rho$ and ...
- 1,445
14
votes
4
answers
2k
views
Applications of Govorov-Lazard Theorem?
I asked this question on SE a long time ago, but never received an answer:
The Govorov-Lazard Theorem states that a (left) module over an unital ring is flat iff it is a direct limit of finitely ...
- 16.2k
7
votes
1
answer
593
views
Question about topological monoid maps
Let Mon be the category of topological monoids. I am happy to work with the model structure mentioned here:
Model Structure/Homotopy Pushouts in topological monoids?.
I'm looking for a reference ...
- 18.8k
12
votes
0
answers
533
views
Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?
Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...
- 221
21
votes
0
answers
869
views
Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials
While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...
- 28.6k
0
votes
1
answer
305
views
Embedding a semigroup into a divisible semigroup
The following is motivated by the fact that I'd like to have a way, much better if canonical, to isometrically embed a normed group into a normed divisible group. But semigroups are a much more ...
- 10.5k
2
votes
2
answers
357
views
Projective limit construction of a semigroup
Let $\tilde{\mathbb N}$ be the Abelian semigroup (under addition) given by $\mathbb N\cup\{0,\infty\}$, and let $S_n$ be the Abelian monoid $\tilde{\mathbb N}^{2^n}$ under point-wise addition. ...
- 417
0
votes
1
answer
94
views
What is the way to after finding Cohen-Macaulay semigroup as ring of monomial?
http://people.missouristate.edu/lesreid/reu/2007/PPT/robin.ppt
it said missing part inside and not missing part outside is non Cohen-Macaulay semigroup
which determine whether is missing in the most ...
- 1
2
votes
1
answer
164
views
Algorithmically finite-dimensional (noncommutative) algebras.
Can anyone help to find some information about these structures?
16
votes
0
answers
861
views
Is "being a full ring of quotients" a Morita invariant property?
Definition and context:
An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...
- 2,454
6
votes
2
answers
547
views
Properties of ring epimorphisms that are true only over commutative rings
I'm interested in knowing/collecting some properties of epimorphisms of rings (with identity) that are true over commutative rings but are false in the non-commutative case.
Example: I learned from ...
- 2,160
5
votes
2
answers
1k
views
Projectives in the category of discrete G-modules
If $G$ is a profinite group, then the category $Mod(G)$ of discrete $G$-modules has sufficiently many injectives (Neukirch, Schmidt, Wingberg: Cohomology of Number Fields, 2.6.5).
Since the cited ...
- 558
3
votes
0
answers
191
views
What are the enforceable models of local artinian rings?
I was reading Hodges' "Model Theory" Chapter 8 a propos existentially closed models of $\forall_2$ theories in a countable first order language $L$. He extends the proof of the omitting type theorem ...
10
votes
5
answers
1k
views
On the notion of partial semigroup
A partial binary operation on a set $X$ is just a (partial) function $\varphi: X \times X \rightharpoonup X$ (I'm using \rightharpoonup for partial maps), and a partial magma is a pair $\mathbb M = (M,...
- 10.5k
1
vote
0
answers
306
views
Annihilator ideals
For an ideal $I$ of a ring $R$ with identity, let $r(I)=\{r\in R: Ir=0\}$ and $l(I)=\{r\in R: rI=0\}$.
Question: If for any two ideals (two-sided ideal) $I, J$ of $R$, we have $l(I)+l(J)=l(I\cap J)$, ...
- 192
4
votes
4
answers
1k
views
Why do we choose the standard total order on the integers?
I understand why the set of natural numbers $\mathbb N = \{ 0, 1, 2, \cdots \}$ is equipped with a total order. Indeed, every monoid has a pre-order, where $$n' \succeq n \quad \mathrm{if~and~only~if} ...
- 8,512
3
votes
2
answers
380
views
How many idempotent relations are there on an $n$-element set?
As far as I know, it is an open problem to give a formula counting transitive relations on an $n$-element set. Is it easier to count the idempotent relations, that is relations that are both ...
- 1,445
4
votes
2
answers
1k
views
Semiring naturally associated to any monoid?
For any monoid $M$, we can naturally construct a semiring $S$ as follows:
Let the additive monoid of $S$ be the free commutative monoid on $M$
Let the multiplicative monoid of $S$ be $M$
Then, if ...
- 4,907
33
votes
0
answers
2k
views
Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?
For a (discrete) monoid $M$, the classifying space $BM$ is the
geometric realization of the nerve of the one object category whose
hom-set is $M$. (This definition gives the usual classfiying space
...
- 5,309
4
votes
1
answer
146
views
Example of computation of moduli space of $n$-pointe modules?
I am looking for an example of computation of the isomorphism classes of $n$-point modules over a non-commutative generated graded algebra (assuming all good properties such as Noetherian property). ...
- 41
2
votes
3
answers
1k
views
on the set of numbers generated by integer linear combination of two real numbers.
Let $b > a > 0$ be two real numbers. I am interested in the set of numbers
$X(p,q) = p a + q b$ with $p,q$ positive integers. Basically this is the set $a \mathbb{N} + b \mathbb{N}$.
What ...
- 29
7
votes
2
answers
417
views
Does every commutative monoid admit a translation-invariant measure?
Let $T$ be a commutative monoid, written additively. The set $T$ is equipped with a canonical pre-order, defined by $s \le t$ when there exists $s' \in T$ so that $s + s' = t$. Consequently, $T$ may ...
- 8,512
5
votes
2
answers
838
views
Epimorphisms and free submodules
By inspecting the accepted answer to this question
Are epimorphisms from a division ring isomorphisms ?
one obtains the following necessary condition for epimorphisms:
Let $R \le S$ be rings ...
- 2,160
6
votes
3
answers
1k
views
Are epimorphisms from a division ring isomorphisms ?
According to Corollary 1.2(3) of the paper Silver: Noncommutative Localizations and Applications. J. of Alg. 7(1964), 44-67:
If $R$ is a (commutative) field and $\alpha: R \to S$ an epimorphism in ...
- 2,160
3
votes
1
answer
226
views
Presentation of the monoid of self-maps of a finite set
Is there a common presentation of the semigroup of functions from a given (finite) set to itself?
- 53
0
votes
1
answer
232
views
Kernel elements for the Grothendieck group map of a commutative monoid
This is just a nomenclature question. Let $T$ be a commutative monoid, and let $T^*$ be its Grothendieck group. That is, $T^* \cong T \times T \ / \sim$, where $(s,s') \sim (t, t')$ if $s+t'+e = s'+t+...
- 8,512
2
votes
0
answers
272
views
Continuity of multiplicative character
Let $G$ be a discrete group and $\beta (G)$ denote the Stone-Cech compactification of $G$, a right topological semigroup. By a multiplicative character, I mean a mapping that preserves multiplication ...
- 61
3
votes
0
answers
166
views
A question of terminology - Unitizations of semigroups
There are at least two standard ways of unitizing a (small) semigroup $\mathbb A$:
(i) We add an identity regardless that $\mathbb A$ is already unital.
(ii) We add an identity only if none is ...
- 10.5k
4
votes
1
answer
215
views
Name for a regular band
Is there a name for regular bands that satisfy $xyx=yx$ for all $x$,$y$?
user22363
16
votes
2
answers
1k
views
The symmetric monoidal category of finite sets
It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...
- 63.1k
3
votes
0
answers
197
views
AS Cohen Macaulay algebras and dualizing complexes
Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras.
One can define a torsion functor with respect to the ideal $\mathfrak m = \...
- 651
9
votes
2
answers
2k
views
What is the free monoidal category generated by a monoid?
In several places in a segment on cohomology (for example, here (PDF)) in John Baez's online lecture notes for a course in 2007 on quantum gravity, much is made of the fact that the simplex category $...
- 1,446
8
votes
1
answer
248
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'...
- 54.6k
2
votes
0
answers
91
views
Fat modules on some algebras.
Let $A$ be a graded $k$-algebra and $M$ a graded right $A$-module. $M$ is called a fat $A$-module if it is generated by degree $0$ and has constant Hilbert polynomial $2$. I wonder for which finitely ...
- 21
2
votes
0
answers
63
views
Boundedness of modules on AS regular algebras
Let $k$ be an algebraically closed field and $A$ be an Artin-Shelter regular $k$-algebra. Fix a numerical polynomial $H(t)$. I would like to know whether or not semi-stable f.g. graded $A$-modules ...
- 1,663
1
vote
1
answer
216
views
Counting modular squares in an interval
For an integer $m$, let $S^m_{x_0,x_1} = \{ t | x_0 ≤ t ≤ x_1 $ and $t$ is a square modulo $m \}$. Let $S^m_x$ = $S^m_{0,x}$.
Determining whether the sets $S^m_x$ are empty is easy (1 is always a ...
- 123
1
vote
0
answers
63
views
Does Castelnuovo-Mumford regularity hold for this $\mathbb{C}$-algebra$?
Let $R$ be a noncommutative finitely generated $\mathbb{C}$-algebra such that its center $S$ is smooth (in commutative sense) and $R$ is finite over $S$. Is there Castelnuovo-Mumford regularity ...
- 1,663
3
votes
1
answer
310
views
Balanced dualizing complex vs rigid dualizing complex?
In noncommutative projective geometry, there is a counterpart of dualizing complex in commutative world. It seems to me that they are called either a balanced dualizing complex or rigid dualizing ...
- 1,663
1
vote
2
answers
375
views
What are the monoids in which every globally idempotent subsemigroup contains the identity element?
A semigroup is called globally idempotent when for any $x\in S$ there are $y,z\in S$ such that $x=yz$.
Is there a name for monoids whose every globally idempotent subsemigroup contains the identity ...
- 1,445
0
votes
1
answer
403
views
When does a power semigroup have a zero, and what can the zero be?
Let $S$ be a semigroup. The power semigroup of $S$ is the set $P(S)=2^S\setminus\lbrace\varnothing\rbrace $ with the operation $$AB=\lbrace ab\ |\ a\in A,\ b\in B\rbrace.$$
This operation is ...
- 1,445
32
votes
5
answers
9k
views
How many binary operations are associative?
Let $X$ be a finite set of $n$ elements, and consider a binary operation $\odot: X \times X \rightarrow X$. There are $n^{n^2}$ such binary operations, as the $n \times n$ table entries can each
be ...
- 151k
5
votes
2
answers
710
views
what is the definition of the Picard group of a (non necessarilly commutative) Ring?
Hi. I have only able to find the definition of $Pic(R)$ for a commutative ring $R.$ Which is the isomorphism classes of projective $R$-modules of rank $1,$ and the product given by $[A][B]=[A\otimes_R ...
- 313
7
votes
2
answers
544
views
A linearly orderable monoid which does not embed into a linearly orderable group
It is known (after an example of A.I. Mal'cev) that there exist cancellative semigroups which do not embed into a group. On the other hand, it is not difficult to see that every linearly orderable ...
- 10.5k
9
votes
1
answer
510
views
Point modules of quantum projective space $\mathbb{P}^n$
Let $A$ be a quantum $\mathbb{P}^n$ defined by
$$
A=\mathbb{C}\langle x_1,x_2,\dots,x_{n+1}\rangle/(x_ix_j-r_{ij}x_jx_i)_{1\le i < j\le n+1}.
$$
I would like to know the set $X$ of isomorphism ...
- 1,663