**12**

votes

**2**answers

660 views

### Are there only finitely many associative algebras of fixed dimension?

Given an algebraically closed field $F$, for any positive integer $n$, are there always only finitely many non-isomorphic (noncommutative) associative algebras (possibly without identity) with ...

**3**

votes

**1**answer

287 views

### How to define a generating subset for algebra in a category?

As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...

**2**

votes

**0**answers

139 views

### C*-algebras and bounded relations

I'm trying to get used to the language of generators and relations for C*-algebras through Loring's "Lifting Solutions to Perturbing Problems in C*-Algebras". So far this is what I got from the first ...

**5**

votes

**1**answer

189 views

### Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such.
...

**1**

vote

**0**answers

218 views

### Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit ...

**3**

votes

**0**answers

110 views

### Finding an integral basis for the lattice of the form $\mathbb{Z}^J \cap \mathbf{p}^{\perp}$

Let $\mathbf{p}$ be a primitive point in the lattice $\mathbb{Z}^J$
and denote the $J-1$ dimensional vector space $V = \mathbf{p}^{\perp} \subseteq \mathbb{R}^J$.
Let $\Lambda' = \mathbb{Z}^J \cap V ...

**8**

votes

**0**answers

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

**0**

votes

**0**answers

84 views

### Grading a module

Let $R = \bigoplus_{n\in\mathbb{Z}}R_n$ be a graded ring. I'm trying to understand the structure of simple graded $R$-modules.
In C. Nastasescu and F. Van Oystaeyen book, Methods of graded rings, ...

**1**

vote

**1**answer

118 views

### Modules “projective in a subcategory”

In my research I have come up with the following notion which I would like to learn more about. It may be very naive.
Let $R$ be a ring, $M$ an $R$-module and $S$ a class or $R$-modules closed under ...

**4**

votes

**2**answers

159 views

### Is there a purely module theoretic characterization of semiprimitive rings?

A ring (say unital for simplicity) is semiprimitive (or Jacobson semisimple) if its Jacobson radical is trivial, or equivalently it has faithful semisimple module. Semiprimitivity is a Morita ...

**3**

votes

**1**answer

170 views

### On the socle of rings

Is it possible that the socle of a ring (with identity) is cyclic as a left ideal but not finitely generated as a right ideal !?

**3**

votes

**2**answers

345 views

### Degrees of factors of polynomial $f(x)=x^q-(ax^2+bx+c)\in \mathbb{F}_q[x]$

I’m facing the problem of factoring polynomials of type $f(x)=x^q-(ax^2+bx+c)\in \mathbb{F}_q[x]$ and the degrees of factors seem to be quite special. For example, according to my experimental results ...

**3**

votes

**1**answer

137 views

### What do epimorphisms in noncommutative rings look like?

The question I want to ask is inspired by this mathoverflow post about epimorphisms in the category of commutative rings. I found the seminar (by P. Samuel) referenced by David Rydh particularly ...

**5**

votes

**0**answers

128 views

### Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...

**13**

votes

**1**answer

357 views

### If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

This question was asked earlier on math.stackexchange: click here. See the comments and the answer by Jack Schmidt there.
Let $M$ be a module over a commutative ring $R$.
It is possible that $M ...

**16**

votes

**1**answer

575 views

### Does GL_n(Z) have a noetherian group ring?

Has the (left, right, 2-sided) noetherian property of the integral group ring of arithmetic groups like $GL_n(Z)$ been considered in the literature?
Motivation: a recent trend has been to study ...

**3**

votes

**1**answer

60 views

### Does every equivalence class in a Brauer-Wall group have a (graded) division algebra?

It is known that each equivalence class in a Brauer group has a division algebra (or, in other words, every central simple algebra is isomorphic to $\mathrm{Mat}(D)$ for some division algebra $D$). Is ...

**15**

votes

**0**answers

263 views

### Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google:
Suppose I have a countable field, $k$. ...

**1**

vote

**0**answers

55 views

### Example H-unital algebra which is not unital

What is an example of an algebra which is H-unital (that is its Bar complex is acyclic) and yet it is not unital?

**4**

votes

**2**answers

326 views

### A question about pairs of lines in 3D projective space

Consider a 3-dimensional projective space $X$.
Let $m$ be the smallest number so that there are $m$ pairs of lines
$ \ell_1,\ell'_1$, $ \ell_2,\ell_2'$, ... , $\ell_m, \ell'_m$ in $X$:
a) For ...

**4**

votes

**2**answers

451 views

### Central idempotents from characters in Frobenius algebras (generalizing Lusztig arXiv:math/0208154v2 §19)

$\newcommand{\refone}{\textbf{(1)}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\tr}{\operatorname{Tr}} \newcommand{\kk}{\mathbf{k}}$ Let $\kk$ be a field. Let $A$ be a $\kk$-algebra which is ...

**2**

votes

**0**answers

48 views

### Augmentation ideal of the cohomology of an elemntary abelian 2-group [closed]

Let V be an elemntary abelian 2-group and $R=H^{*}V$ its cohomology.
What is the Augmentation ideal of R and what is the quotient of R by its augmentation ideal ?

**0**

votes

**0**answers

166 views

### A noncommutative analogy of the tube lemma

Assume that $A$ and $B$ are two unital commutative Banach algebras. Assume that $\phi \in \mathcal{M} (A)$ is an element of the maximal Ideal space. Define $\alpha: A\hat{\otimes} B \to ...

**0**

votes

**0**answers

60 views

### Extensions on Higher-dimensional local fields

I have the following question:
Let $M/L$ b a finite extension of n-dimensional local fields and $t_1,\dots, t_n$ a system of local parameters of $L$ with valuation $v$. Let us fix an $1\leq i \leq ...

**1**

vote

**0**answers

41 views

### Valuations in Higher-dimensional local fields

I have the following question which I believ should be true but I would like to have a different opinion about it:
Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and ...

**1**

vote

**0**answers

132 views

### Reductive Group Actions and Completion

Suppose that $A$ is a Noetherian (not necessarily commutative) $\mathbb{C}[h]$-algebra equipped with a rational action of an affine reductive group $G$, i.e., $A$ is a $\mathbb{C}[G]$-comodule and ...

**7**

votes

**1**answer

218 views

### Why can't one modify Kaplansky's proof to conclude that every projective module is a direct sum of its finitely generated projetive submodules?

Due to the examples given in the answer to this question, I know that the conclusion is of course incorrect. But by reading Kaplansky's proof of theorem 1 in this paper and replacing every occurrence ...

**3**

votes

**1**answer

181 views

### Possibilities for dimensions of $\mathfrak{m}^i/\mathfrak{m}^{i+1}$ for a local ring

Let $R$ be a local commutative ring with maximal ideal $\mathfrak{m}$, and denote by $k$ the residue field $R/\mathfrak{m}$. Then we can look at the sequence of $k$-vectorspaces
$$R/\mathfrak{m}, ...

**0**

votes

**0**answers

45 views

### Grassmann algebra morphism with universal property

I'm pretty sure that the following doesn't work, but nevertheless i wanted to ask, maybe this is a kind of well-known construction i've never heard of:
Let $\Lambda(\mathbb{R}^n)$ be a finite ...

**1**

vote

**1**answer

133 views

### Weyl algebras $A_n(k)$ as tensor product of the first Weyl algebra

In afew threads I've read that the Weyl algebra $A_{n+1}(k)$ is isomorphic to the $k$-tensor product of $A_n(k)$ with $A_1(k)$, why is this true?

**1**

vote

**2**answers

180 views

### Is there an intuitionistic generalized boolean algebra (of Stone)?

A "boolean algebra without the greatest element" was called by Stone "generalized boolean algebra" and he axiomatized it. Is there any publication about "preudo-boolean algebras without the greatest ...

**2**

votes

**3**answers

132 views

### Does a BCL algebra define a partial order?

A BCL algebra is a universal algebra with a binary operation denoted as "$*$" and a $0$-ary operation (constant) denoted as "$0$", satisying the following axioms:
(1) $x * x = 0$;
(2) if $x * y = 0$ ...

**6**

votes

**1**answer

97 views

### Infinite dimensional simple algebras of finite degree

Let $F$ be a field and let $B$ be an $F$-algebra. The degree of $B$ over $F$ is the smallest positive integer $\deg_F B = d \geq 1$ such that every element of $B$ satisfies a (monic) polynomial of ...

**1**

vote

**0**answers

45 views

### On generating Euler Square of index q, q-1 (where q is any prime power)

Can somebody help me in generating Euler Square of index q, q-1 (where q is any prime power). Also, kidly tell me if there is any code availeble for generating the stated Euler Square. The details of ...

**1**

vote

**0**answers

154 views

### Cycles in Quivers and Path Algebras

I cannot find anything giving the algebra of a quiver with a single cycle on three or more vertices. In other words if your quiver consists of n vertices (n>2), and e_i is connected to e_{i+1} (taking ...

**5**

votes

**0**answers

332 views

### The logarithm over $\mathbb F_1$

In 'Cyclotomy and analytic geometry over F1', Manin proposes a version of the notion of `analytic function' over the 'field with one element $\mathbb F_1$'.
Question 1: can somebody explain or give ...

**5**

votes

**1**answer

195 views

### Equivariant Formality

Let $G$ be a finite group and $\mathcal{A}$ be a $dg$-algebra. Assume $G$ acts on $\mathcal{A}$, i.e. there exists a homomorphism $G\to {\rm Aut}_{dg}(\mathcal{A})$.
Assume further there exists a ...

**11**

votes

**7**answers

721 views

### Properties of rings that have an elegant description in terms of the associated category of modules

Suppose $A$ is a ring. Then $A$ happens to be a division ring iff every left $A$-module is free. (See here for proofs). I think this is very beautiful; what other properties of rings have an elegant ...

**4**

votes

**0**answers

118 views

### Formal DG-algebras

Sorry for this question but I really have difficulties with model categories.
Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...

**3**

votes

**0**answers

65 views

### Quasi-isomorphisms and Subalgebras

Let $A$ and $B$ $dg$-algebras over $\mathbb{C}$. If there exists an isomorphism $f:A\to B$, then every subalgebra $A'$ of $A$ is isomorphic to the subalgebra $f(A')$ of $B$.
What is if $f$ is ...

**15**

votes

**5**answers

2k views

### Origin of exact sequences

I have seen exact sequences appearing a lot in algebraic texts with different purposes. But I've never seen names of the people associated with it. Also I don't understand what's so good about showing ...

**2**

votes

**1**answer

183 views

### Jacobson radical and group rings/subalgebras

Let $G$ be a finite group and $N\le G$ be a subgroup. Consider the group algebra $kN$ as a subalgebra of $kG$ over an algebraically closed field $k$ of positive characteristic.
What can we deduce ...

**4**

votes

**1**answer

175 views

### coherent modules

Let $R$ be a nontrivial ring. A right $R$-module $M$ is called coherent if ${\rm Ker} (f)$ is finitely generated for any $R$-module homomorphism $f: L\to M$ with $L$ finitely generated.
It is ...

**1**

vote

**0**answers

77 views

### Units in residue classes

Let $K$ be a CM-field of degree $2n$. (Quadratic extension of totally real number field)
Let $\mathcal{O}_K$ be the ring of integers in $K$, and $m\geq 1$ an integer. Let $U_K$ be the group of units ...

**7**

votes

**0**answers

202 views

### What happens to simple modules under Ringel duality?

If $A$ is a quasi-hereditary algebra then its Ringel dual $A'=End_A(T)$ is the endomorphism algebra of a (minimal) full tilting module $T$ for $A$. The algebra $A'$ is again quasi-hereditary, although ...

**6**

votes

**0**answers

140 views

### Which endomorphism algebras are not Morita-trivial?

Let $\mathcal C$ be a symmetric monoidal category — for example, $\mathcal C$ might be the category of $R$-modules for a commutative ring $R$. At a minimum, I request further that:
$\mathcal C$ is ...

**0**

votes

**0**answers

83 views

### Relationships between finiteness of stable rank and IBN property of rings

Does any ring of finite stable rank have IBN property? Where can we find this result?

**2**

votes

**0**answers

92 views

### Isomorphic bound quiver algebras for different admissible Ideals

We know that for a path algebra KQ, whether or not KQ is finite dimensional (namely, Q may or may not have oriented cycles), there might be different admissible ideals I and J of KQ for which the ...

**4**

votes

**1**answer

359 views

### Re-interpreting vector spaces in a choice-less model of ZF as modules over a regular ring in ZFC

I am searching a module $M$ over a (von Neumann) regular ring $A$ ($\forall a\in A$, $\exists x\in A$: $axa=a$) with two properties:
(1) every finitely generated submodule of $M$ is projective ...

**1**

vote

**1**answer

177 views

### Existence of a left adjoint to tensor product implies projectivity

Let $S$ and $R$ be two (not necessarily commutative) $k$-algebras for $k$ a field. If I have a $S$-$R$ bimodule $_SM_R$, I can form the functor $_SM_R\otimes_R (-):R\text{Mod} \rightarrow ...