# Questions tagged [ra.rings-and-algebras]

Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups. For questions specific to commutative algebra (that is, rings that are assumed both associative and commutative), rather use the tag ac.commutative-algebra.

879 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2k views

### What did Gelfand mean by suggesting to study "Heredity Principle" structures instead of categories?

Israel Gelfand wrote in his remarkable talk "Mathematics as an adequate language (a few remarks)", given at "The Unity of Mathematics" Conference in honor of his 90th birthday, the ...
799 views

### Groups whose complex irreducible representations are finite dimensional

By a complex irreducible representation of a group $G$, I mean a simple $\mathbb CG$-module. So my representations need not be unitary and we are working in the purely algebraic setting. It is easy ...
3k 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 ...
1k views

222 views

### Has anyone seen this construction of dg algebras?

Let $A$ be an associative algebra, $M$ a right $A$-module. Suppose we are given an $A$-module homomorphism $M \to A$. Then we can make $M$ itself into an associative algebra via the multiplication  ...
365 views

### Lazard's theorem and Hopf structures on the polynomial algebra

Let $k$ be an algebraically closed field of characteristic $0$. A well-known result of Lazard's states that an algebraic group which is isomorphic as a variety to an affine space is unipotent (M. ...
227 views

### When does Hochschild homology commute with infinite products?

Let $A$ be an associative algebra. Its zeroth Hochschild homology $\mathrm{HH}_0(A)$ is the cokernel of the linear map $A^{\wedge 2} \to A$, $a \wedge b \mapsto ab - ba$. I.e. you quotient the ...
231 views

### Are local finite dimensional Hopf algebras symmetric?

Recall that a finite dimensional algebra $A$ over a field $K$is called a Frobenius algebra in case $A \cong D(A)$ as right modules, where $D(A) \cong Hom_K(A,K)$. In case $A \cong D(A)$ as bimodules, ...
602 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 ...
179 views

### Recover the field from its Milnor K-groups

For every field $F$, consider $K_n^M(F)$ the $n$-th Milnor K-group of $F$ for each $n \in \Bbb N$, and form the Milnor K-ring $K^M(F)=\oplus_{n \geq 0}K^M_n(F)$. For instance, $K_1(F)=F^{\times}$. ...
302 views

### Equational theory in the signature (+,*,0,1) of sedenions and beyond

Consider a Cayley-Dickson algebra $(X,+,∗,0,1)$, that is an algebra generated from the reals by the Cayley-Dickson construction. From complexes to quaternions, we lose commutativity of multiplication, ...
163 views

### What are the algebras for the codensity monad of $\textbf{FP-Ring} \rightarrow \textbf{Ring}$

Let $\textbf{Fin-Set}$ denote the category of finite sets, and let $\textbf{Set}$ denote the category of sets. The inclusion functor $\textbf{Fin-Set} \rightarrow \textbf{Set}$ from the category of ...
129 views

### Where is it shown that a countable self-injective ring is semilocal?

In Lawrence, John. "A countable self-injective ring is quasi-Frobenius." Proceedings of the American Mathematical Society (1977): 217-220. the first line is this: ...
249 views

### Name for rings with $R \cong R^{\mathrm{op}}$

Is there a name for rings that are isomorphic to their opposite ring $R^{\mathrm{op}}$ in the literature? I'm especially interested for the class of Artin algebras.
771 views

### Scholze's infinite to finite type ring theory reductions?

In following essay "The Perfectoid Concept: Test Case for an Absent Theory" by Michael Harris, there is the following sentence I found to be quite striking. The most virtuosic pages in Scholze's ...
166 views

### Super-extensions of the Poincaré Lie algebra

For $(\mathfrak{g},[-,-])$ an ordinary Lie algebra let me say that a super-extension of it (maybe not the best terminology) is a super-Lie algebra $(\mathfrak{s}, [-,-]_{\mathfrak{s}})$ whose bosonic ...
246 views

### Is the discriminant of a free (as a module) $R$-algebra always congruent to a square modulo 4?

Let $R$ be a commutative ring. Let $A$ be an $R$-algebra (i.e., an $R$-module equipped with an $R$-bilinear multiplication map that turns $A$ into a unital ring). We do not require $A$ to be ...
312 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 ...
517 views

398 views

Is there known structures/ or has there been studies on $Hom(L_1,L_2)$ of distributive lattices? Could it be made into a lattice naturally? Is there any structure on the set of ring valued functions $... 0answers 290 views ### In search of lost graded rings$\newcommand{\la}{\kern-1.5ex\leftarrow\phantom{}\kern-1.5ex}\newcommand{\ra}{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex}\newcommand{\ras}{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\...
After Gardam had found a counterexample to the Kaplansky unit conjecture for the group ring $K[G]$ with $K = \mathbf F_2$ and $G = P$, the Promislow group, Murray extended this to $\mathbf{F}_p[P]$ ...
A finite dimensional (connected if needed) $K$-algebra $A$ over a field $K$ is called symmetric when $A \cong Hom_K(A,K)$ as $A$-bimodules. Symmetric algebras are Frobenius algebras and include for ...