**-2**

votes

**0**answers

30 views

### does exist any group that it's derivation be S3? [on hold]

my question is that does exist any group that it's derivation be S3? at all, when we have a group, how we can find another group that it's derivation be the order one?

**1**

vote

**0**answers

89 views

### local rings with finite type maximal ideal

Let $A$ be a local ring with a maximal ideal $\mathfrak{m}$ finitely generated (not principal).
Is there a sufficient condition for $A$ to be noetherian?
For example, we know that the completion ...

**-4**

votes

**2**answers

234 views

### Representing quaternions as matrices [on hold]

Assume F is a field of characteristic different than 2. Let a, b be invertible elements in F, and let A(a,b) be the generalised quaternions. Using the Artin–Wedderburn theorem, there is a ...

**0**

votes

**0**answers

37 views

### Embedding rational simple algebras in the real quaternions [duplicate]

Is there any way to embed a rational division algebra of dimension higher than 4 over its center in the real quaternions ?
I think not, but I cannot prove it.

**3**

votes

**0**answers

93 views

### Description of modules over self-injective algebras of finite representation type

Is there any description of indecomposable modules and irreducible morphisms over self-injective algebras of finite representation type? I am interested mainly in such a description for nonstandard ...

**5**

votes

**0**answers

79 views

### flatness and derived completion

Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...

**7**

votes

**2**answers

172 views

### Making an algebra the uniqe maximal one-sided ideal in another unital algebra

If $R$ is an algebra without a unit, then the standard unitisation $R^\sharp$ can have maximal one-sided ideals other than $R$. Thus, it is natural to ask about the following. Let $R$ be an algebra ...

**4**

votes

**1**answer

145 views

### When is the essential extension commutes with colimits(or push forward)

Let $M$ be an $R$-module,where $R$ is a hereditary (or cohomological dimension less or equal to 1).Take $E(R)$ to be injective hull of $R$, then we have the essential extension
$i:R^I\rightarrowtail ...

**3**

votes

**1**answer

804 views

### Who coined “mob” and “clan” and why these words?

A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element.
Who used these words with these meanings first and ...

**1**

vote

**1**answer

95 views

### configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring
$$
H^*(F(\mathbb{R}P^n,k);R)$$
is obtained for any ...

**2**

votes

**1**answer

91 views

### Involution on the components of a group algebra

If $G$ is a finite group and $k$ a field, there is a canonical involution (ie an involutive anti-automorphism) $\sigma$ on $k[G]$ induced by $g\mapsto g^{-1}$. Given that the center of $k[G]$ has ...

**0**

votes

**0**answers

96 views

### Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that
$$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...

**0**

votes

**0**answers

62 views

### On a property of split short exact sequences [migrated]

Let $A_{\bullet}, B_\bullet$ and $C_\bullet$ be three short exact sequences of groups (not necessarily abelian) out of which $A_\bullet$ and $B_\bullet$ are split. Assume that there is again a short ...

**6**

votes

**0**answers

73 views

### Must nonunit in group algebra of free group generate proper two-sided ideal?

Let $F$ be a free group and $k$ be a field. If $x$ is an element of
the group algebra $k[F]$ that is not a unit (equivalently, that is not
a nonzero scalar multiple of an element of $F$), must the ...

**8**

votes

**0**answers

85 views

### Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...

**2**

votes

**1**answer

97 views

### Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...

**7**

votes

**1**answer

237 views

### Division algebras over extension fields / reducibility of $G$-modules

Reformulation of the question (see below for the original question): Let $K$ be an algebraic number field and $D$ a finite-dimensional $K$-division algebra. Is there a description of the field ...

**17**

votes

**4**answers

610 views

### What is a Kelley ring?

I've heard that in some book by someone named Kelley, perhaps an early edition of John L. Kelley's General Topology, the author gave a definition of a ring which turned out to be weaker than the usual ...

**3**

votes

**0**answers

103 views

### Hopf-Borel theorem over polynomial rings

There is a theorem of Borel saying that:
For a connected cocommutative Hopf algebra $A$ over the perfect field $k$ such that underlying graded vector space is finite-dimensional over $k$ we have that ...

**1**

vote

**0**answers

31 views

### About alternating polynomials an the Rowen's notation

Some definitions...
Definition 1: A polynomial $f(X_1,\dots ,X_d)$ is $t$-linear if the variables $X_1,\dots ,X_t,\; t\leq d$ appear in all monomials of $f$ and degree of $X_i,\; i=1,2,\dots ,t$ on ...

**7**

votes

**2**answers

334 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 ...

**2**

votes

**1**answer

108 views

### What are some good references on the Galois theory, factorization, or minimality of differential equations?

Let $\lambda$ be a nonzero complex number and let $u(x)$ be some smooth function $\mathbb{R}\to\mathbb{C}$, not identically zero. I want to prove that if $u$ satisfies $$u'' + \lambda u'+ \lambda^2 u ...

**-3**

votes

**0**answers

48 views

### if $M$ and $N$ are finitely generated $R$-modules.Is $Hom_R(M,N)$ finitely generated [migrated]

Suppose $R$ be a ring.$M$ and $N$ are finitely generated $R$-modules.Is $Hom_R(M,N)$ finitely generated?why?

**0**

votes

**0**answers

61 views

### Are the Standard Quantum Groups Coordinate Rings Noetherian?

Are the standard quantum groups $C_q[G]$ Noetherian and if so what is a standard reference?

**18**

votes

**1**answer

737 views

### What do you do if you believe a problem is undecidable?

While the title of this question is subjective, I hope to make what I'm looking for quite concrete. The first, and main question is this: If you believe that a problem you are working on is formally ...

**10**

votes

**2**answers

325 views

### Computing intersection of subrings

Let $R$ be a finitely generated commutative ring over a field, for concreteness.
If $S,T \leq R$ are two finitely generated subrings, is their intersection
also finitely generated?
(Certainly ...

**1**

vote

**0**answers

51 views

### Normalization (integral closure) of $\mathbb Z_p[x]$ in function field of a curve to obtain Model of curve

I want to follow this construction of a normal model of a curve:
Let $p\neq 2,3$ and $Y\to \mathbb P¹$ be a smooth projective curve over $\mathbb Q_p$ with function field $L/\mathbb Q_p(x)$ e.g. ...

**8**

votes

**1**answer

506 views

### The ring generated by all functions from a set to itself

Let $S$ be a finite set. Now $\mathop{End}(S)$ is a monoid, and we may build a ring $R$ by allowing formal sums of functions.
Preliminary questions, since $R$ is surely well-known: What is it ...

**3**

votes

**0**answers

74 views

### Certain conditions on cancellative semigroups

This is extracted from this question following Benjamin Steinberg's suggestion.
For a semigroup $S,$ let $P(S)$ denote the power semigroup of $S,$ which is made up of all non-empty subsets of $S$ ...

**4**

votes

**1**answer

248 views

### Homomorphisms from projective modules

Let $B$ be a $A$-algebra which is free of finite rank as $A$-module. Let $X$ be a finitely generated projective left $B$ module. (So $X$ is also a f.g. projective $A$ module.) Are these homomorphism ...

**6**

votes

**1**answer

243 views

### Rings satisfying the polynomial equation $x^4=x^2$

There are many results concerning the commutativity of rings satisfying a polynomial equation. I want to know if there is any result/reference about (finite) rings that satisfy the polynomial equation ...

**-2**

votes

**0**answers

26 views

### Ring functions which 'respects' homomorphisms [migrated]

Let $R$ be a ring, and $\varphi \in End(R) $ an homomorphism. We define
$$ S_{\varphi} = \{f:R\ \rightarrow\ R \ | \varphi(a) = \varphi(b) \ \Rightarrow \ \varphi(f(a))=\varphi(f(b))\ \} $$
In a ...

**5**

votes

**0**answers

247 views

### A generalization of real characters on a group

Yesterday I understood that I can't live without this construction:
Let $G$ be a group, $A$ an associative algebra over $\mathbb R$ and $n\in{\mathbb N}$. We consider a sequence of maps ...

**0**

votes

**0**answers

63 views

### An embedding of modules by tensor product over a Noetherian domain

I have a problem on Ring theory. I would like to prove or disprove the following statement:
Let $R$ be a Noetherian domain. Then by the Goldie theorem $R$ have $Q$ as a full ring of quotients and $Q$ ...

**5**

votes

**0**answers

86 views

### Centralizers of elements in free group algebras

Let $A$ be a group algebra of a free group, and $x \in A$. What is the centralizer of $x$? Is there something like Bergman's theorem for free associative algebras?

**2**

votes

**1**answer

228 views

### Automorphisms of ideals of $\mathbb{C}[t]$

Let $f(t)\in\mathbb{C}[t]$, and let $I_f$ be the ideal in $\mathbb{C}[t]$ generated by $f(t)$.
The ideal $I_f$ has a natural $\mathbb{C}$-algebra structure. My question is the following:
For ...

**4**

votes

**2**answers

706 views

### Semiprime (but not prime) ring whose center is a domain

The center of a prime ring is a domain and the center of a semiprime ring is reduced.
Now I have no evidence to believe that if the center of a semiprime ring R is a domain,
then R has to be a ...

**-7**

votes

**2**answers

995 views

### Special infinitary relations and ultrafilters

(This problem appeared in face of me trying to generalize my theory of (binary) funcoids to the theory of $n$-ary funcoids (I call them "multifuncoids") for arbitrary $n$.)
Let $I$ is some indexing ...

**7**

votes

**3**answers

351 views

### Ring of differential operators of a quotient ring

All rings are assumed to have unity.
Let $k$ be a field. Recall the definition of Grothendieck's ring of ($k$-linear) differential operators $D(R;k)$ of a commutative $k$-algebra $R$:
...

**12**

votes

**1**answer

509 views

### Constructive proof of “Projective implies proper”

For every ring $A$, the structural morphism of schemes $\pi_A : {\bf P}^n_{A} \to {\rm Spec}{A}$ is a closed map. The usual proof of this fact is not constructive : given equations of a closed subset ...

**8**

votes

**1**answer

270 views

### Descending chain condition in noncommutative rings

By Hopkins Theorem it is well-known that every right (resp. left) artinian unitary ring is right (left) noetherian. Suppose that a noncommutative unitary ring R satisfies the descending chain ...

**5**

votes

**2**answers

350 views

### Artin Jacobson-semisimple rings are semisimple. Constructively, too?

Notation. When I say "ring", I mean "ring with unity" (not necessarily commutative).
Definition. A ring $R$ is said to be left-Artinian if for every sequence $I_0\supseteq I_1\supseteq I_2\supseteq ...

**3**

votes

**1**answer

107 views

### Binary operation on subsets of rings

Let $R$ be a non-zero commutative ring with identity. The following is well known:
If $x,y \in R$ are idempotents then $x+y-2xy$ is also an idempotent and more than that by defining $x*y = x+y-2xy$, ...

**20**

votes

**9**answers

4k views

### What are the reasons for considering rings without identity?

I think a major reason is because Lie algebras don't have an identity, but I'm not really sure.

**18**

votes

**1**answer

365 views

### Kaplansky's unit conjecture and unique products

There are three conjectures on group rings that bear the name of Kaplansky (see for example this question). The 'unit conjecture' in the title of the present question is the strongest of them, and ...

**5**

votes

**1**answer

389 views

### Is there a good version of Artin-Wedderburn for semisimple algebra objects?

Artin-Wederburn says that if you have a semisimple algebra then it is a product of matrix algebras over division rings.
Suppose that $C$ is a fusion category over the complex numbers (if you want to ...

**12**

votes

**3**answers

372 views

### Is the Amitsur-Levitzki identity essentially unique?

Let us consider the matrix algebra. $Mat_n(\mathbb{C})$. The Amitsur-Levitzki identity states that for any matrices $X_1, X_2, ..., X_{2n} \in Mat_n(\mathbb{C})$ the sum $\Sigma_{\sigma \in S_{2n}} ...

**5**

votes

**2**answers

238 views

### Polynomial identities for mod p matrices

Can there be a polynomial over the field $F_p$ of $p$ elements ($p$ prime) in non-commuting variables $X_1,..., X_r$ such that:
1) $f(A_1,...,A_r)=0$ for every $n \times n$ matrices $A_1,...,A_r$ ...

**8**

votes

**0**answers

180 views

### Does this kind of non-noetherian bimodule exist?

Question: Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that
$M$ is finitely generated both as a left $R$-module and a right
...

**7**

votes

**3**answers

317 views

### properties of formal delta functions

The formal delta function is
$\,\,\displaystyle\delta(x):=\sum_{n\in\mathbb Z}x^n.
$
If we agree that expressions $(x+y)^n$ for $n\in\mathbb Z$ are always expanded in non-negative powers of the second ...