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.
1,087
questions with no upvoted or accepted answers
4
votes
0
answers
84
views
Associative rings with "big" commutative subrings
Let $A$ be an associative ring and $R\subset A$ be a commutative subring. Suppose that every element of $A$ has the form $urv$ where $r\in R$ and $u, v\in A^*$ are invertible. A basic example is $A=...
- 41
4
votes
0
answers
115
views
Decomposition of augmentation ideal in a group ring
Let $R$ be a ring and $G$ be a finite group with invertible order in $R$. Assume that the augmentation ideal $\Delta (G)$ of group ring $RG$ has a decomposition $M_1\oplus M_2\oplus \cdots M_k$ as an $...
- 41
4
votes
0
answers
179
views
Are PD-, $\lambda$-, $\psi$-, and $\delta$-rings monoids in a monoidal category?
$\newcommand{\pt}{\mathrm{pt}}\newcommand{\N}{\mathbb{N}}\newcommand{\Z}{\mathbb{Z}}$A number of algebraic structures can be defined as monoids in some appropriate monoidal category:
A monoid ...
- 10.7k
4
votes
0
answers
81
views
Question about terminology for a class of "self-modular" mappings between rings
(In the scenario I have in mind, rings need not be unital.)
The following notion has come up in some joint work that is being written up. Let $R$ and $S$ be rings, and let $D$ be a subring of $R$. Is ...
- 25.5k
4
votes
0
answers
155
views
Is the group ring of an amenable group, viewed as multiplicative monoid, amenable?
Motivated by this question, it seems natural to ask the following:
Question 1: Is there a [finitely generated discrete] torsion-free virtually Abelian (but not Abelian) group $G$ so that the ...
- 4,342
4
votes
0
answers
195
views
Are there any 1-decidable algebraic extensions of $\mathbb{Q}$ which are not decidable?
A model $M$ is decidable if the set of all first-order formulas which are true in $M$ is a recursive set. And a model is $1$-decidable if the set of all existential formulas which are true in $M$ is ...
- 4,529
4
votes
0
answers
220
views
Do you know rings without involutions, auto-anti-isomorphics? In that case, what is the minimal example?
Do you know rings without involutions, but auto-anti-isomorphic (isomorphic to their opposite)? In that case, what is the minimal example?
If a ring has an involution f, then f is an anti-automorphism;...
4
votes
0
answers
75
views
Finding all nice ideals for quiver algebras
Let $Q$ be a finite, connected and acyclic quiver which is simply-laced.
Let $k$ be a field and $kQ$ the path algebra of $Q$ over $k$.
Recall that an ideal $I$ of $kQ$ is called admissible if it is ...
- 26.1k
4
votes
0
answers
157
views
When adic completion preserves projectives?
Lets take a ring $R$ and an ideal $\mathfrak p \subset R$, and call them an L-pair (just for brevity) if $\mathfrak p$-adic completion of any projective module is again projective (as R-module); and L-...
- 4,436
4
votes
0
answers
174
views
Macdonald's notes on Kac Moody algebras
Macdonald had given some lectures on Kac-Moody algebras in 1983. The notes are typed here by Arun Ram. However, the website seems to be old and the notes are somewhat not readable because of the ...
- 688
4
votes
0
answers
187
views
Moduli of finite-dimensional algebras
Let $n\geq 1$ be an integer. There is an obvious family of $n$-dimensional unital algebras parametrized by $\mathbb{C}^{n(n-1)^2}$ such that any $n$-dimensional unital algebra is isomorphic to at ...
user166826
4
votes
0
answers
175
views
Question about basis of $\text{Der}_{k}(k[X])$
Let $k[X] = k[x_1,\ldots, x_n]$ be the polynomial ring over a field of characteristic zero.
Assume that $(D_1,\ldots, D_n)$ is a $k[X]$-basis of $\text{Der}_k(k[X])$. Suppose that the vector space $\...
- 291
4
votes
0
answers
302
views
Polynomial objects in any concrete category
EDIT: The original question had a trivial answer: it's just a coproduct. New question below
New Question: As shown below, in the category of commutative unital rings, the coproduct of a ring $R$ with $...
- 430
4
votes
0
answers
121
views
Is the average associator over a finite subloop of octonions necessarily zero?
For any three octonions $a,b,c$, their associator is defined as \begin{equation*} [a,b,c]=a(bc)-(ab)c \end{equation*} and measures their non-associativity so to speak.
Now suppose that $L$ is a finite ...
- 439
4
votes
0
answers
152
views
The Jacobson radical as a bimodule
Let $A$ be a finite dimensional algebra with Jacobson radical $J$.
Question 1: In case $A$ is a Nakayama algebra with a linear quiver corresponding to a Dyck path $D$ (via its Auslander-Reiten ...
- 26.1k
4
votes
0
answers
186
views
Cohomology and higher structures
Classically, cohomologies of Lie groups/algebras parametrize extensions. To be precise, given an linear $G$-action on $M$, there is an bijection between $H^2(G;M)$ and the set of extension $E$ of $G$ ...
- 5,038
4
votes
0
answers
130
views
Frobenius algebras of small dimensions
In Classification of commutative Frobenius algebras , Jeremy Rickard showed that there are infinitely many commutative (local without loss of generality) Frobenius algebras of vector space dimension ...
- 26.1k
4
votes
0
answers
159
views
Prime/irreducible elements in certain (integral) ring extensions
The answer to this question says the following:
Let $R$ be a finitely generated $k$-algebra, where $k$ is a field.
If $p \in R$ is a prime element, then $p$ is a prime element in $\tilde{R}$, the ...
- 2,783
4
votes
0
answers
51
views
Generalization of semi-hereditarity
Let $R$ be a ring. A left $R$-module $K$ is called an $N$-th kernel if there are projective left $R$-modules $P_1, \ldots P_N$ and a short exact sequence
$$ 0\rightarrow K \rightarrow P_N \rightarrow \...
- 858
4
votes
0
answers
326
views
Other kinds of equivalence relations on the set of idempotents of a Banach or $C^*$-algebra or a ring (Can we get a new kind of K-theory?)
The standard equivalent relations on idempotents of a $C^*$ algebra or a Banach algebra are Murray von Neumann, similarity and homotopy equivalent. In this post we consider two other kinds of ...
- 312
4
votes
0
answers
145
views
Division in the universal enveloping algebra
Let $\mathfrak g$ be a (semisimple) Lie algebra, $\mathfrak b\subset \mathfrak g$ a Borel and $\mathfrak n = [\mathfrak b,\mathfrak b]$. Then I am interested in solving certain division problems in $U(...
- 241
4
votes
0
answers
148
views
Differential graded Lie algebra over an ordinary Lie algebra
Given a dg (differential graded) Lie algebra $L$ and an ordinary Lie algebra $\mathfrak{g}$,
is there written somewhere a formal definition of $L$ as a dg Lie algebra over $\mathfrak{g}$?
- 3,850
4
votes
0
answers
108
views
Mysterious identity in cosimplicial $R$-module with Lie brackets
I have a cosimplicial $R$-module $\mathscr{A}:=(A_n)_{n\ge 0}$ and on each $A_n$ a Lie bracket $[-,-]_n:A_n\otimes A_n\to A_n$. Denote the cofaces by $d_i:A_n\to A_{n+1}$ and the codegeneracies by $...
- 1,623
4
votes
0
answers
126
views
Cyclic relation algebra
A relation algebra $\mathbf{R}$ is a structure $\langle |\mathbf{R}|, \vee, \neg, \circ, I, (-)^{op} \rangle$ such that:
$\langle |\mathbf{R}|, \vee, \neg \rangle$ is a Boolean algebra,
$\langle |\...
- 4,116
4
votes
0
answers
143
views
Do comodules form an exact category?
Let $R$ be a commutative ring, $C$ a coalgebra over $R$. I am asking about the category of $C$-comodules $C$-Comod.
It is clear that if $C$ is a flat $R$-module, then $C$-Comod is abelian. Hence, is ...
- 12.1k
4
votes
0
answers
132
views
Contractible Banach algebras
A Banach algebra $A$ is contractible if $H^1(A, X)=0$ for all Banach $A$-bimodules $X$. Now to my question
Let $A$ be Banach algebra and $I$ be closed ideal of $A$. If $I$ and $A/I$ are both ...
- 813
4
votes
0
answers
70
views
Number of ideals in an algebra
Let $R_{n,m}^q$ be the finite dimensional algebra $K\langle x_1,...,x_n\rangle/J^m$, where the field $K$ has $q$ elements and $K\langle x_1,...,x_n\rangle$ is the non-commutative polynomial ring with ...
- 26.1k
4
votes
0
answers
190
views
A presentation for a subalgebra
Let $K$ be a field, and let $I=(g_1,\ldots, g_r)$ be an ideal in $A:=K[X_1,\ldots ,X_n]$.
Let $\{f_1,\ldots f_m\}$ be a subset of $A$, and let $B$ be the $K$-subalgebra of $A$ generated by $f_1,\...
- 4,979
4
votes
0
answers
131
views
Injective resolution of the ring of entire functions
Let $R$ be the ring of entire functions on $\mathbb{C}$. I heard that the concrete value of the global dimension of the ring depends on continuum hypothesis.
I would think that the injective dimension ...
- 26.1k
4
votes
0
answers
149
views
Recovering the bimodule from the trivial extension
Given a ring $S$ with a non-zero $S$-bimodule $M$, the trivial extension of $(S,M)$ is defined as the ring $R:=T_M(S)$ with $R= S \oplus M$ with multiplication $(s,m)(s',m')=(s s', sm' +m s')$.
We ...
- 26.1k
4
votes
0
answers
291
views
Does linear independence imply algebraic independence for partitioned homogeneous polynomials?
Define a partitioned homogeneous polynomial of degree $d$ to be a polynomial in $$\mathbb Z[x_{11},\dots,x_{1n},\dots,x_{d1},\dots,x_{dn}]$$ with monomials from entries in (polynomials that are $d$-...
- 13.7k
4
votes
0
answers
100
views
A relation between $Spec((1+I)^{-1}R)$ and $Spec(R/J)$
Let $R$ be a commutative ring with identity and let $I$ and $J$ be two finitely generated ideals of $R$. Clearly $1+I:=\{1+i:i\in I\}$ is a multiplicative closed subset of $R$. We can consider the ...
- 41
4
votes
0
answers
129
views
How to formulate supercommutativity in a characteristic free way?
I would never dare posting this here, but the question https://math.stackexchange.com/q/3019853/214353 on math.SE did not receive any feedback (except for 13 views and one upvote) since November 30, ...
- 17.5k
4
votes
0
answers
211
views
Conjugacy class representatives for the automorphism group of a finite abelian group
Given a finite abelian group $A$, I'd like a list of conjugacy class representatives for its automorphism group ${\rm Aut}(A)$.
In fact, it's not important that I have exactly one representative from ...
- 286
4
votes
0
answers
418
views
Quaternion algebras in characteristic 2
Let $k$ be a field and let $Q$ be a quaternion algebra over $k$.
It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...
- 375
4
votes
0
answers
113
views
Closing Subsets Under Operations
My question is about closing sets under operations. First, I need a definition:
Definition: Let $A$ be a set and take a function $f : A^n \rightarrow A$ for $n \in \mathbb{N}_{\geq 0}$. For a set $S$,...
user30211
4
votes
0
answers
353
views
tensor products of noetherian domains
Under what conditions is the tensor product of two non-commutative Noetherian domains also a Noetherian domain? To be more precise about the problem, I am looking at rings of fractions on such tensor ...
- 1,213
4
votes
0
answers
223
views
Question on $n$-torsionless modules
Let $A$ be a finite dimensional algebra. Recall that a module $M$ is called $n$-torsionfree in case $Ext_A^i(D(A),\tau(M))=0$ for all $i=1,...,n$ when $\tau$ denotes the Auslander-Reiten translate. ...
- 26.1k
4
votes
0
answers
161
views
Sextic resolvent rings of quintic rings
In Higher composition laws IV: The parametrization of quintic rings M. Bhargava gave an explicit parametrization of quintic rings by quadruples of $5\times5$ skew-symmetric matrices. His proof hinges ...
- 25.5k
4
votes
0
answers
124
views
Injective dimension is infinite?
Let $A$ be a non-selfinjective finite dimensional algebra and $M$ a nonprojective module with $Ext^{i}(M,A)=0$ for all $i \geq 1$. It is easy to see that $M$ has infinite projective dimension. Does $M$...
- 26.1k
4
votes
0
answers
401
views
How can one prove that the algebra of smooth functions is semisimple?
I have read in some differential geometry works that the ring of smooth functions $C^{\infty}(U)$ is a semi-simple ring, for $U\subseteq\mathbb{R}^n$ an open set; right now I can cite a remark ...
- 357
4
votes
1
answer
350
views
Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$
Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread.
Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
- 9,636
4
votes
0
answers
95
views
$\lambda$-Decomposition for Connes' Cyclic Complex
Let $k$ be a field of characteristic zero, and $A$ be a commutative unital $k$-algebra. Then the cyclic homology of $A$ has a $\lambda$-decomposition:
$$HC_{n}(A)=HC_{n}^{(1)}(A)\oplus \cdots \oplus ...
- 661
4
votes
0
answers
178
views
ring structure of $KK_*(A,A)$ for a separable $C^*$-algebra $A$
Motivation:
For a topological space $X$ one can consider under certain circumstances the cohomology ring of suitable cohomology theories, for example:
1) The cohomology ring $H^*(X;R)=\oplus_{i\ge ...
- 1,192
4
votes
0
answers
64
views
Existence of infinitely many pairwise non-associate atoms in a ring of polynomials in $k$ variables over a Dedekind-finite unital ring
The following comes as a by-product of a more abstract result, and I'm essentially looking for a reference to it (or to something more general than it).
Corollary. Let $R$ be a non-trivial Dedekind-...
- 9,636
4
votes
0
answers
293
views
Does the tensor algebra $T(V)$ of $V$ isomorphic to the symmetric algebra of the free Lie algebra over $V$?
Let $V$ be a finite dimensional vector space. Let $T(V)$ be the tensor algebra over $V$.
Do we have $T(V) \cong S(Lie(V))$ as a graded vector space? Here $S(Lie(V))$ is the symmetric algebra of the ...
- 6,121
4
votes
0
answers
112
views
Inducing surjections on $GL_n(-)$?
Suppose $A,\,B$ are (possibly noncommutative) rings, and $GL_n(-)$ is the group of invertible $n\times n$ matrices over a given ring. Suppose $f:A\to B$ is surjective, does it necessarily follow that $...
- 61
4
votes
0
answers
74
views
self-cogenerator rings
Let $\mathbb{U}$ be a non-empty set (class) of objects of a
category $C$. An object $B$ in $C$ is said to be cogenerated by
$\mathbb{U}$ or $\mathbb{U}$-cogenerated if, for every pair of
distinct ...
- 41
4
votes
0
answers
117
views
Generators of the symmetric square of the group ring of an abelian group
Let $A$ be an abelian group and $R=\mathbb{Z}[A]$- its group ring. Denote by $I$ an ideal of $R$ given by a kernel of the map $R\longrightarrow \mathbb{Z} \oplus A,$ sending $[r]$ to $(1,r)$. Next, ...
- 4,296
4
votes
0
answers
390
views
Reference for classification of positive involutions
An involution on a finite dimensional algebra $A$ over $\mathbb{Q}$ is an involutive anti-automorphism of $A$. If $\sigma$ is an involution on $A$, we say that $\sigma$ is positive if $\mathrm{Tr}_{A/\...
- 4,933