**0**

votes

**0**answers

35 views

### finite orbits of transformations of the rational function field

Let $K : = k(x_1, x_2, \cdots, x_t)$ be the rational function field and consider the transformation $\tau$ of $K$ defined by $u \mapsto \frac{\alpha(u) + b}{a}$, where $a \ne 0 , b \in k$ and $\alpha$ ...

**2**

votes

**1**answer

407 views

### A group algebra isomorphism problem

What are the groups $G$ and fields $\Bbb K$ for which $\Bbb K[G]\cong\Bbb K^{|G|}$ holds?
For example $\Bbb R[\Bbb F_2^n]\cong\Bbb R^{2^n}$ holds.

**2**

votes

**0**answers

84 views

### $T$-nilpotent ideals

Recall that a subset $I$ of a ring $R$ is left (resp.,
right) $T$-nilpotent in case for every sequence $$a_1,a_2,\cdots $$
in $I$ there is an $n$ such that $a_1\cdots a_n=0$ (resp.,
$a_n\cdots a_1=0$)....

**0**

votes

**1**answer

67 views

### characterization of strong nilpotent elements

I have to referee a paper not really in my field and need some answers concerning the prime radical of a ring and nilpotent ideals.
The definition of a strong nilpotent element already have appeared ...

**2**

votes

**0**answers

82 views

### Cosemi-simple FRT Hopf Algebras

This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...

**2**

votes

**2**answers

191 views

### Central division algebras and splitting fields

Let $K$ be a field and $D$ be a central division algebra over $K$ of degree $n$. Suppose that $L\subset D$ is a maximal subfield, so that $[L:K]=n$. Then we know that $L$ is a splitting field, so ...

**0**

votes

**1**answer

126 views

### Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules.
We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...

**26**

votes

**0**answers

751 views

### Greatly expanded new edition of a Bourbaki chapter on algebra?

Recently I discovered by accident that Bourbaki issued in 2012 a radically expanded version of their 1958 Chapter 8 Modules et anneaux semi-simples (like other chapters, initially in French) within ...

**0**

votes

**1**answer

140 views

### Are all ideals I in the ring of smooth functions on a compact manifold M equal to a set of smooth functions that vanish in $Z \subset M$?

Since $M$ is compact, we know that maximal ideals are $m_x$, the set of functions vanishing in $ x \in M$. Thus by Zorn's Lemma we also have that $I$ must sit inside such a $m_x$ for some $x \in M$.
...

**6**

votes

**0**answers

198 views

### Is always the ratio (number of commuting pairs of elements in a ring or a Lie algebra)/(the size of the ring or the Lie algebra) integer?

(1) Is there a finite nilpotent ring $R$ such that the ratio
$$c(R)=\frac{|\{(x,y)\in R\times R \; | \; xy=yx\}}{|R|}$$
is not integer?
Edit 1: The nilpotent condition is put later.
Edit/Answer: ...

**0**

votes

**0**answers

116 views

### Dimension of the center of a subalgebra of a simple algebra

Let $F$ be a field. Let $A$ be a simple (associative unital) $F$-algebra with center reduced to $F$. Let $B$ be a $F$-subalgebra of $A$;
assume that $A$ is can be generated as left $B$-module by $n$ ...

**7**

votes

**2**answers

227 views

### What is the “quaternionic” super Brauer group?

In addition to the two reasonably well-known categories $\mathrm{SuperVect}_{\mathbb R}$ and $\mathrm{SuperVect}_{\mathbb C}$ of real and complex super vector spaces, each of which is monoidally ...

**2**

votes

**1**answer

107 views

### When do all annihilators of primitive idempotents intersect in {0}?

maybe this is silly but:
for which class of rings (or commutative rings) R may I write
An element a of R is zero iff
for every primitive idempotent e, ea is zero
?
That is, primitive idempotents "...

**0**

votes

**2**answers

83 views

### Simultaneous special orthogonal similarity problem

Given matrices $A,B,C,D\in\Bbb K^{n\times n}$ where $\Bbb K$ is a ring is there an efficient technique to compute set $O$ with $OO'=I$ where $'$ is transpose and $\mathsf{Det}(O)=\pm1$ such that
$$A=...

**2**

votes

**1**answer

158 views

### Division and multiplication that preserve Euclidean norms

I am looking for ways to define
$$\frac{1}{x}\in \mathbb{R}^n\quad \quad and\quad \quad x\cdot y\in \mathbb{R}^n ,$$
where $x,y\in \mathbb{R}^n$ such that
$$\left\|\frac{1}{x}\right\|=\frac{1}{\|...

**1**

vote

**1**answer

42 views

### Vanishing ideal of a finite set of points does not have expected amount of cones in Gröbner fan

I am reading the paper A Gröbner fan method for biochemical network modeling.
In Chapter 4.3 (i.stack.imgur.com/h2O8B.png) they calculate the vanishing ideal of some tuples (input points of Series 1-...

**4**

votes

**1**answer

114 views

### Homological characterisation of standardly stratified algebras using Ext

Let A be a finite dimensional algebra and $S_1,S_2,...,S_n$ the simple $A$-modules and $P_1,..,P_n$ the indecomposable projective $A$-modules. For $i=1,...,n$, define the standard module $\Delta_i$ as ...

**3**

votes

**0**answers

277 views

### A relation between a ring with its polynomial ring

Let $\{f_i(x)\}_{i\in I}$ be a subset of $R[x]$ where $R[x]$ is the polynomial ring of $R$(a commutative ring with identity). If the ring $R/\langle f_i^2(n)-f_i(n)\rangle_{i\in I, n\in A}$, for every ...

**4**

votes

**1**answer

108 views

### Hopf-Galois Structure Maps

A Hopf-Galois extension of commutative rings, as defined by Montgomery here, is a morphism of commutative rings $\phi:A\to B$ with a Hopf-algebra $H$ coacting on $B$ by a ring map $c:B\to B\otimes H$ ...

**16**

votes

**1**answer

241 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 "...

**1**

vote

**0**answers

92 views

### A question about the associative classes of parabolic subgroups

Let $\mathbb{A}$ denote the adele group of $\mathbb{Q}$. Suppose that $P_1$ and $P_2$ are parabolic subgroups of a reductive algebraic group $G$, and consider their Langlands decomposition
$$
P(\...

**2**

votes

**0**answers

214 views

### Looking for a reference in commutative algebra

I need "I.G. Macdonald, Secondary representation of modules over a commutative ring, Sympos. Math. 11 (1973) 23–43." in my research, but it seems to be very old and rare. Does anyone know a site for ...

**2**

votes

**0**answers

112 views

### The existence of zero-divisors in the universal enveloping algebra of an infinite-dimensional Lie algebra

The intuition for this problem comes from $\S$17 Exercise 1 Humphreys' Introduction to Lie Algebras and Representation Theory which essentially asks us to use PBW in order to prove that if a Lie ...

**3**

votes

**3**answers

144 views

### Can a block matrix with at least 3 zero blocks of different size on the diagonal and 1's everywhere else have only integer eigenvalues?

Let $M=\begin{pmatrix}
\begin{array}{cccccccc}
0 & 0 & 1 & 1 & 1 & 1 & 1 &1\\
0 & 0 & 1 & 1 & 1 & 1 & 1 &1\\
1 & 1 & 0 & 0 & ...

**-5**

votes

**1**answer

89 views

### Simple bimodule over matrix ring [closed]

Let given not trivial simple $R$- $R$ bimodule $M$, where $R$ - $n\times n$ matrix algebra over field $\mathbf{F}$. Is it true that $M$ is uniquely defined?

**2**

votes

**0**answers

45 views

### Calculation of minimal right $\operatorname{add}(M)$-approximations

given a finite dimensional quiver algebra $A$ and a generator $M$ with $\operatorname{Ext}^1(M,M)=0$. By Wakamatsus lemma, for any $A$-module $N$ there exists a surjective $A$-linear map $f\colon M_1 \...

**5**

votes

**1**answer

213 views

### Definition of a normed ring

A normed ring "should" be a monoid object in the monoidal category of normed abelian groups. There are (at least) two choices of morphisms of normed groups, namely bounded or short homomorphisms, ...

**1**

vote

**0**answers

118 views

### The normalizer problem for group rings

I recently studied about The Normalizer problem (NP) which states that given an integral group ring $\Bbb{Z}G$, $N_{\cal{U}}(G)=G\frak{z}$ where $\frak{z}$ denotes centre of $\cal{U}$ = $\cal{U}$$(\...

**1**

vote

**0**answers

58 views

### Beaumont - Pierce Principal theorem

In book $\text{R. Göbel,P. Hill, Wolfgang "Abelian Group Theory and Related Topics"}$, I found next Beaumont -Pierce Principal theorem: Any torsion-free ring $R$ of finte rank is quasi-equal to $S\...

**0**

votes

**0**answers

180 views

### Basic question about power series and complete group algebras

This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange.
Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...

**3**

votes

**0**answers

84 views

### Freeness of a matrix semigroup

Motivated by some questions in the dimension theory of self-affine sets, a colleague and I are interested in the freeness (or otherwise) of the subsemigroup of $SL_\pm(2,\mathbb{R})$ generated by the ...

**1**

vote

**2**answers

134 views

### Can powers of a maximal ideal stabilize without vanishing?

Let $A$ be a local ring with maximal ideal $m$. Suppose that there exists some positive integer $k$ such that $m^k = m^{k+1}$.
Is necessarily $m^k = 0$ ?
If $m$ is finitely generated, this follows ...

**2**

votes

**0**answers

33 views

### Tensor of Relative Bases

Suppose $U,V,W$ are the cyclotomic fields $\mathbb{Q}(\zeta_{m_3})$, $\mathbb{Q}_(\zeta_{m_2})$, and $\mathbb{Q}(\zeta_{m_1})$ respectively, where $m_1 \mid m_2 \mid m_3$ so that $U/V/W$ is a tower of ...

**3**

votes

**2**answers

110 views

### Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$.
Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...

**0**

votes

**0**answers

48 views

### Injective Dimension of a quotient of the quantum plane

I am wondering what the injective dimension of the following ring is:
$$\frac{A}{(ax, bx)}$$
where $A$ is the so-called quantum plane $k\langle x, y \rangle/(xy + yx)$ with $k$ a field, and $a, b$ are ...

**5**

votes

**1**answer

95 views

### Symmetric algebras of given dimension

Fix an algebraically closed field $F$. Are there only finitely many symmetric algebras with unit over $F$ of a given finite dimension (up to isomorphism)? By symmetric I mean a Frobenius algebra where ...

**3**

votes

**2**answers

155 views

### Rings all of whose torsion modules are cyclic

Let us call a (possibly non-commutative) ring $R$ "very good" if every finitely generated torsion left $R$-module is cyclic. Here is an example of such a ring:
Let $k=\mathbb{C}((t))$ and let $R=k[\...

**2**

votes

**0**answers

85 views

### Conjugacy classes of involutions in Kac-Moody groups

Let $A=(a_{s,s'})_{s,s'\in S}$ be a generalized Cartan matrix.
Let $G=G(A)$ be the corresponding simply connected complex Kac-Moody group with Cartan subgroup $H$ and Weyl group $W$ acting on $H$.
...

**1**

vote

**0**answers

68 views

### Embedding of fields in central simple algebras over number fields

Let $K$ be a non-real CM number field of degree $2d$, with maximal totally real subfield $K_0$, and let $A$ be a central simple algebra over $K$, so that $A\simeq M_n(E)$, the $n\times n$ matrix ring ...

**2**

votes

**1**answer

134 views

### annihilator of minimal prime ideal in a commutative Noetherian ring

Let M be an R-module of finite length and N a maximal submodule of M. Is there an element m in M such that m(N:M)=0? It is an generalization of this result:
In a Notherian ring R, all minimal prime ...

**7**

votes

**0**answers

161 views

### Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=...

**1**

vote

**0**answers

28 views

### Projectivity of a faithfully balanced self-orthogonal bimodule

Let $_RT_S$ be a faithully balanced self-orthogonal bimodule over a pair of noncommutative rings $(R,S)$, if $_RT$ is projective as a left $R$-module, can we say $T_S$ is also projective as a right $S$...

**0**

votes

**0**answers

177 views

### Name of some commutative ring akin to $p$-adics

I need help in identifying the naming convention of some commutative ring described below.
Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...

**2**

votes

**3**answers

325 views

### Subring of ring

Let given ring $R$ without zero divizors, where adittive group of $R$ with zero torsion. Let given subring $R_0\leq R$, and $p$ is prime number, such that $\forall r\in R, \exists i>0 : p^ir\in R_0$...

**9**

votes

**1**answer

233 views

### Does it follow that any element of $J(A)$ is nilpotent?

Let $A[x]$ be the algebra of polynomials with coefficients in a $k$-algebra $A$. Assume that, for any simple $A[x]$-module $M$, we have $\text{End}_{A[x]} M = k$. Does it follow that any element of $J(...

**2**

votes

**1**answer

94 views

### projective module of rank one over notherian ring

Is finitely generated projective module M of rank one over regular commutative notherian ring free?
Bass (Illinois Math J, 1963) showed that in case M is nonfinitely generated, it is free. I am ...

**0**

votes

**0**answers

50 views

### One-sided endomorphism rings of centred bimodules

Let R be an associative unital ring. An R-bimodule M is called centred bimodule if M = R*Z(M), where Z(M)={m:rm=mr,∀r∈R}, i.e., M is generated as an R-module by the set of R-centralizing elements. ...

**0**

votes

**0**answers

105 views

### Quotient modules of polynomial rings by maximal one-sided ideal

Let $R[X]$ be a ring of polynomials over an associative unital ring $R$ which is not necessarily commutative. Let $M$ be a maximal left ideal in $R[X]$. It is easy to see that if the intersection of $...

**2**

votes

**1**answer

205 views

### Finite rank ring

Let given ring $R$ of finite rank. Is it true that for all primes $p$ large enough modules $Der_{\mathbb{Z}}(R/pR) = \{0\}$?
For every ring we define $Der_{\mathbb{Z}}(R)$ as set of linear operators $...

**19**

votes

**0**answers

276 views

### Topological loops vs. algebro-geometric suspension in Hochschild homology

Let $k$ be a base commutative ring, and let $A$ be a (unital but not necessarily commutative) $k$-algebra. The cone on $A$ is the ring $CA$ of infinite matrices $(a_{ij})_{i,j \geq 1}$ that are ...