**3**

votes

**2**answers

474 views

### Examples of complete distributive lattices that are not Heyting algebras

Here is a short question with a possibly simple and short answer:
I need an example of a complete distributive lattice that is not a Heyting algebra which should be an infinite complete lattice that ...

**0**

votes

**0**answers

68 views

### approximate coordinates in a one dimensional lattice

suppose I have a finite set of real numbers ${r_1, \ldots r_n \in \mathbf{R} }$ and a single real number $x \in \mathbf{R}$. Is there a fast algorithm for finding integer numbers ${i_1, \ldots i_n \in ...

**4**

votes

**1**answer

161 views

### Potentially identity elements in an Abelian group

I didn't see this problem before. I motivated by the questions
Is every commutative group structure underlying at least one (unitary, commutative) ring structure
A basic question about rings
...

**1**

vote

**0**answers

115 views

### Non commutative analogy of compact-open topology

Let $R$ be a ring, define a topology on $AUT(R)$(Or End(R)) with the following subbase:
For every two 2-sided Ideal $I$ and $J$, a subbase element is $B(I,J)=\{f\in AUT(R) \mid f(I)+J=R\}$.
We can ...

**1**

vote

**1**answer

248 views

### A question in ring theory

Is there an example of two groups $G_{1}, G_{2}$ such that there are
two non isomorphic ring $R_{1}$ and $R_{2}$ such that the additive group of both rings is isomorphic to $G_{1}$ and their unit ...

**1**

vote

**2**answers

312 views

### A basic question about rings

Perhaps this is a trivial question, but I have no idea how to justify it.
Call a pair of groups $(G_1, G_2)$ ring-compatible if $G_1$ is abelian and there exists a ring $R$ with addition and ...

**3**

votes

**2**answers

181 views

### Examples of cancellative normal semigroups

I've got a couple of things to test against normality in cancellative semigroups. A normal semigroup $S$ is one in which for any $x\in S$ we have $xS=Sx.$ This implies the Ore condition $$x,y\in ...

**1**

vote

**0**answers

116 views

### subring of the matrix algebra

Let $Mat_2(\mathbb{Z})$ be the $\mathbb{Z}$-algebra of $2\times2$ matrices with integer entries.
Let $A$ be a $\mathbb{Z}$-submodule of $Mat_2(\mathbb{Z})$ containing $\mathbb{Z}$. We want to show ...

**3**

votes

**1**answer

207 views

### On rings $R$ for which $R \cong \frac RI$ for any proper two-sided ideal $I$

This is a problem I asked in SE, but it seems the question is more suitable for MO.
Consider a ring $R$ (not necessary with identity or commutative) such that for any proper two-sided ideal $I$, ...

**2**

votes

**0**answers

58 views

### Cyclic modules over serial rings

Let $R$ be a serial ring. What can be said about the uniform dimension of cyclic $R$-modules? Specially I would like to know Is it true that every cyclic $R$-module has finite uniform dimension ?

**4**

votes

**0**answers

102 views

### Sum of projective submodules of a projective over a semihereditary ring

Sorry in advance if this is too silly. Let $R$ be a right semihereditary ring and $P$ a projective right $R$-module. It is well-known that finitely generated (thus projective) submodules of $P$ form a ...

**2**

votes

**2**answers

203 views

### How much information does the multiplicative semigroup of an algebra contain?

How much do we know about an given algebra when we only know its semigroup strucure under the product law?
How far can two algebras be distinguished by knowing only their semigroup strucure?
The ...

**0**

votes

**0**answers

136 views

### How to find $n$ such that the group of units $U(\mathbb{Z}/n\mathbb{Z})$ has a given abelian subgroup?

Given an integer $n$, we can determine the structure of the multiplicative group of integers modulo $n$ ($U(\mathbb{Z}/n\mathbb{Z})$) by the factorization of $n$. Hence we can easily find all the ...

**5**

votes

**1**answer

232 views

### Inverse limit of Gorenstein local rings is again Gorenstein?

If we have the system of surjective ring homomorphisms
$f_{i,i+1}: R_{i+1} \twoheadrightarrow R_i$
for an arbitrary $i \geq 0$ such that all $R_i$ are Gorenstein local ring. Let us put
...

**0**

votes

**0**answers

90 views

### Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$

Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): ...

**7**

votes

**2**answers

349 views

### Integration on Compact Semirings

I want to know if integration of functions $f:X\rightarrow G$ where $G$ is a compact semiring has been defined and if it is possible to ensure that all continuous functions are integrable. This is ...

**0**

votes

**2**answers

294 views

### Dual of a module

Let $M$ be a $ \mathbb{Z}_{p}[[T]] $-module and $X=Hom(M,\mathbb{Q}_{p}/\mathbb{Z}_{p})$ be the dual of $M$. Let $X[p^n]$ denotes the $p^n$-torsion points of $X$. Is $X/X[p^n]$ the dual of $M[p^n]$ ...

**13**

votes

**2**answers

466 views

### Does base extension reflect the property of being isomorphic?

Let L/K be a (separable?) field extension, let A be a finite dimensional algebra over K, and let M and N be two A-modules. Let $A' = L \otimes_K A$ be the algebra given by extension of scalars, and ...

**0**

votes

**0**answers

65 views

### What is a necessary and sufficient condition that the kernel of a semi-module homomorphism is a partitioning sub-semi-module?

I would like to identify a representation of the subcategory of a comma category of semi-rings, whose objects are abelian group objects.
When attempting to identify the representation, the following ...

**1**

vote

**0**answers

65 views

### An invariant number of modules over Auslander Gorenstein modules

Given an Auslander Gorenstein $R$ of injective dimension $\mu$, one can associate with each finitely generated module $M$ with a number $\varepsilon_{\mu}(M)$, which is the number of the ...

**1**

vote

**1**answer

99 views

### When for every module $M$, $|E(M)| = |M|$

Is there a non-semisimple ring $R$ such that for any left $R$-module $M$, $|E(M)| = |M|$ ? (where $E(M)$ is the injective hull of $M$ and $|M|$ is the cardinality of $M$)

**2**

votes

**1**answer

160 views

### “order two sequence” in a paper of Waldhausen

In F. Waldhausen's paper "Algebraic K-theory of generalized free products, Part I", page 142,line 19, there is a term "order two sequence". Can anyone explain its meaning to me?
According to the ...

**5**

votes

**2**answers

272 views

### Proving that a semigroup is regular

In a number of diverse situations of interest to me (mostly associated with something called the abelian sandpile model), one can define a nonabelian semigroup generated by commuting elements ...

**0**

votes

**2**answers

264 views

### Rank of a $ \mathbb{Z}_{p}[[T]] $ module

Let $p$ be a prime and $M$ is a finitely generated $ \mathbb{Z}_{p}[[T]] $ module. Suppose $M[p]$ denotes the $p$-torsion of $M$. Then $M[p]$ and $M/(p)$ are both $ F_{p}$ vector spaces. So we can ...

**1**

vote

**0**answers

109 views

### Universally catenary and all its formal fibers over minimal members are Cohen-Macaulay but it has a nonCohen-Macaulay formal fiber

Please help me to find a Noetherian local ring $R$ such that: $R$ is universally catenary and all its formal fibers over minimal members of $Spec(R)$ are Cohen-Macaulay but $R$ has a nonCohen-Macaulay ...

**3**

votes

**3**answers

266 views

### Weyl algebra and its nontriviality

The Weyl algebra (say, over $\mathbb{C}$) is an universal unital algebra with two generators $x,y$ subject to the relation $xy-yx=1$. This algebra can be constructed in the following way: take two ...

**1**

vote

**0**answers

112 views

### Chinese Remainder Theorem

On a non-commutative ring we have this generalization of CRT.
I wonder if there is a statement involving only left or right ideals.
do you know any?

**6**

votes

**0**answers

167 views

### Square of primary ideals

Is there any example of a $P$-primary ideal $I$ in a noetherian domain $R$ such that $I^2=PI \not=P^2$?

**4**

votes

**1**answer

178 views

### What is the formula for the commutative multiplication on CP(infinity)?

There is a classic formula for maps $\mathrm{CP}(r) \times \mathrm{CP}(s) \to \mathrm{CP}(r+s)$ or maybe $r+s+1$ using Plücker coordinates - IF memory serves. In the limit we get the abelian ...

**2**

votes

**1**answer

80 views

### Rings in which every J-matrix is non-singular

Let $R$ be a ring with identity. A matrix $A=[a_{ij}] \in M_n(R)$ is called a J-matrix if for any $i$, $a_{ii} \not \in J(R)$ but for any $i \not = j$, $a_{ij} \in J(R)$. Now suppose that every ...

**6**

votes

**1**answer

337 views

### Morita theorem for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting?
I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...

**4**

votes

**1**answer

389 views

### Homotopy of quivers

The matrix ring $k^{n\times n}$ can be realized in many ways as a quotient of a path algebra: For example choose the quiver $1\leftrightarrows 2 \leftrightarrows \cdots \leftrightarrows ...

**4**

votes

**1**answer

205 views

### Algebra structure $Tor(A,A)$

This is a question i asked on math.stackexchange but i didn't get any answer.
Let $A$ be algebra over commutative ring $k$ and $P_{\bullet}=(P_i,d_i)\rightarrow A$, $k$ projective resolution. Then we ...

**4**

votes

**1**answer

129 views

### Localizations of hereditary rings

It is known that if a commutative Noetherian ring $R$ is hereditary then for any maximal ideal $M$ the localization $R_M$ is also hereditary. Is the Noetherian assumption necessary?

**1**

vote

**1**answer

153 views

### $Aut(\mathbb{Z}G)=?$ for $G=\mathbb{Z}^2\rtimes_n\mathbb{Z}$

I am interested in the automorphism group of the group ring $\mathbb{Z}G$ for some noncommutative group $G$ of the form $\mathbb{Z}^2\rtimes_n\mathbb{Z}$, say
...

**13**

votes

**1**answer

439 views

### Automorphisms of $P(\Bbb N)$

I believe I've proved that the power semigroup of non-negative integers with addition has a trivial automorphism group. The proof is a bit long, completely elementary and rather unremarkable (as the ...

**4**

votes

**2**answers

245 views

### Maximal centralizer in full matrix ring

I will be so thankful if someone can help me with the following question.
Is it possible to obtain all maximal centralizers in the full matrix ring, $M_n(F)$, for an arbitrary finite field $F$? Here, ...

**2**

votes

**2**answers

242 views

### What is twisted in a twisted Poisson structure?

The usual definition of a twisted Poisson algebra involving a 3-form
does not seem to refer to a Poisson algebra that is then twisted,
i.e. twisting either the commutative product or the Lie bracket.
...

**0**

votes

**1**answer

112 views

### On separable field extensions [closed]

Let $F\subseteq K$ be a finite separable field extension with $a_1,..., a_n$ an $F$-basis for $K$. Is it true that the matrix $A := [\mbox{tr}(a_ia_j)]$ is non-singular ?

**7**

votes

**2**answers

249 views

### Is there a cohomology for magmas?

Is there a cohomology theory for magmas? Or cohomology theories for any class of non-associative algebras (other than Lie and maybe Jordan)?

**1**

vote

**1**answer

260 views

### when does one want to use the Reynolds operator in GIT?

The role of Reynolds operator in GIT has always been a little mystery to me. Actually I see that in some proofs it gets used in an efficient way, but what I cannot grasp is the general philosophy. I ...

**2**

votes

**0**answers

96 views

### integrals in Hopf algebras

Let $H$ be a Hopf algebra and $g$ be a group-like element in
$H^{*}$. Define $L_{g}=\{x\in H\mid hx=g(h)x,~\forall h\in H\}$. If $H$
is not semisimple, when can we find a group-like element $g$ in
...

**7**

votes

**2**answers

392 views

### Number of ways to write an integer as a product of irreducibles

Is there any way to tell the number of distinct ways to factor $a\in\mathcal{O}_k$ (up to units, of course) when $k$ is not a PID? A simple investigation in $\mathbb{Q}(\sqrt{-5})$ with integer ring ...

**2**

votes

**0**answers

97 views

### Separable extension

Let $A$ be an $R$-algebra, $B$ an $R$-subalgebra of $A$ and $I$ an
ideal of $A$. Kazuhiko Hirata and Kozo Sugano proved that: if $A$ is
a separable extension of $B$, then $A/I$ is a separable ...

**4**

votes

**0**answers

238 views

### Ext groups of affine scheme

Let $A$ be a commutative ring. $\textbf{Spec}(A)$ is the the
spectrum of $A$. $M$ and $N$ are $A$-modules. $\tilde{M}$ and
$\tilde{N}$ are sheaves associated on $\textbf{Spec}(A)$
respectively.
I ...

**2**

votes

**0**answers

115 views

### How do I compute the Azumaya locus?

I have an algebra $A$ that is finite over its centre $Z(A)$ and I want to compute the Azumaya locus of $Z(A)$ (or equivalently, its ramification locus).
Looking in McConnell-Robson Noncommutative ...

**4**

votes

**1**answer

254 views

### Two definitions of modules in monoidal category

The standard definition of a (left) simplicial module $V$ over some simplicial algebra $A$ is the map of simplicial vector spaces $A\otimes V\to V$ that gives the usual modules component-wise. Here ...

**2**

votes

**1**answer

219 views

### Monoids and groups of fractions

Let $G$ be a group containing a monoid $M$ that spans $G$ as a group. Is it possible to have a proper quotient $\varphi \colon G \to Q$ of $G$ such that the restriction of $\varphi$ to $M$ is ...

**0**

votes

**1**answer

162 views

### Depth of polynomial ring $S=\Bbb{R}[x_1,x_2,x_3,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. My Question is about the depth of this ring.
Question: Could we ...

**1**

vote

**1**answer

247 views

### chain of prime ideals in polynomial ring $S=\Bbb{R}[x_1,x_2,…,x_n,…]$

Consider the polynomial ring of countable variables with coefficients in the real numbers, i.e, $S=\Bbb{R}[x_1,x_2,x_3,...,x_n,...]$. Is the following question true?
Question: Is there any maximal ...