All Questions
Tagged with or ra.rings-and-algebras ra.rings-and-algebras
367 questions
17
votes
6
answers
3k
views
What's an example of a transcendental power series?
Let $k$ be a field. What is an explicit power series $f \in k[[t]]$ that is transcendental over $k[t]$?
I am looking for elementary example (so there should be a proof of transcendence that does ...
- 3,284
16
votes
0
answers
860
views
Is "being a full ring of quotients" a Morita invariant property?
Definition and context:
An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...
- 2,454
16
votes
2
answers
1k
views
Which commutative groups are the group of units of some field?
Inspired by a recent question on the multiplicative group of fields. Necessary conditions include that there are at most $n$ solutions to $x^n = 1$ in such a group and that any finite subgroup is ...
- 118k
15
votes
3
answers
3k
views
Which is the correct universal enveloping algebra in positive characteristic?
This is an extension of this question about symmetric algebras in positive characteristic. The title is also a bit tongue-in-cheek, as I am sure that there are multiple "correct" answers.
Let $\...
- 54.6k
15
votes
1
answer
1k
views
Is the class of additive groups of rings axiomatizable?
I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...
- 1,445
14
votes
3
answers
1k
views
About enveloping algebras of direct sums
This question is imported from MSE. It is linked to this one in the case of semi-direct products.
My question Let us consider a Lie $R$-algebra ($R$ is a commutative ring) written as a (module) ...
- 3,738
13
votes
3
answers
1k
views
Are the trace relations among matrices generated by cyclic permutations?
Let $X_1,\dots,X_n$ be non commutative variables such that $\operatorname{tr} f(X_1,\dots,X_n) = 0$ whenever the $X_i$ are specialized to square matrices in $M_r(k)$ for any $r \geq 1$. Does this ...
- 7,736
13
votes
1
answer
598
views
Is algebra: ac=ca, bd = db , ad - da = cb - bc ("Manin matrix algebra") - a Koszul algebra?
Question: Consider quadratic algebra with four generators $a,b,c,d,d$ and three relations $ac=ca,bd = db, ad-da = cb - bc$ . Is it a Koszul algebra ? (i.e. Koszul complex is resolution of ground field ...
- 24.8k
13
votes
1
answer
1k
views
Explicit Bijection between Central Simple Algebras and twists of $\mathbb P^n$
The automorphism group of the algebra of $n$-dimensional matrices over a field $K$ is $PGL_n(K)$. The automorphism group of $n-1$-dimensional projective space over $K$ is also $PGL_n(K)$. Therefore, ...
- 148k
13
votes
2
answers
921
views
The set of orders of elements in a group
Let $A$ be a subset of natural numbers. Consider the following problem:
Is there a group $G$ such that $\lbrace O(x) \; | \; x \in G \rbrace = A\cup\lbrace 1\rbrace$ ? (where $O(x)$ is the order of $...
user30230
10
votes
1
answer
807
views
How many Lie and associative algebras over a finite field are there?
This question is related to the following general question:
Given a variety of (non-associative) algebras $\mathcal V$, a finite field $\mathbb{F}_q$, with $q$ elements, and a positive integer $n$, ...
- 398
10
votes
1
answer
923
views
Conjugation between commutative subalgebras of a matrix algebra?
Let $K$ be an algebraically closed field and $M_n(K)$ the $K$-algebra of all matrices $n\times n$ over $K$. If $L$ and $M$ are two isomorphic commutative subalgebras of $M_n(K)$, it is true that there ...
- 545
9
votes
2
answers
4k
views
*-homomorphisms between matrix algebras
Edited question:
Are there any other non-trivial *-homomorphisms between matrix algebras apart from the unitary homomorphisms?
Original question:
Does there exist a surjective (but not bijective) *...
- 397
9
votes
1
answer
3k
views
Lie algebra semisimple if and only if perfect?
If $L$ is a semisimple lie algebra then $L=[L,L]$. Is the opposite true?
- 131
8
votes
2
answers
596
views
If a semigroup embeds into a group, then is it a subdirect product of groups?
The title has it all:
Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups?
If yes, then $S$ is a subdirect product of subdirectly irreducible groups,...
- 10.5k
8
votes
1
answer
321
views
Does every cancellative duo semigroup embed into a group?
Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following:
Q. Does every cancellative duo semigroup embed into a group?
A (multiplicatively ...
- 10.5k
8
votes
2
answers
544
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 ...
- 33.8k
7
votes
2
answers
484
views
Using Dunwoody's results on cohomological dimension to learn about a von Neumann regular group ring
Just recently I've stumbled across Warren Dicks' book Groups, trees and projective modules (1980) and I was pretty stunned. I know nothing of group cohomology, but I gather the "tree" ...
- 1,507
7
votes
1
answer
1k
views
The saturation of Murray von Neumann relation
Edit: According to comment of Pace Nielsen, I remove question 2 of the previous version:
Let $R$ be a unital ring. We define Murray Von Neumann relation $M$ on $R$ as follows:
We say $a M b$ iff $...
- 356
7
votes
1
answer
280
views
Properties of a filtered algebra that can be concluded from properties of its associated graded algebra
Let $F$ be a filtered algebra and let $G$ be its associated graded algebra. Some examples of properties of $F$ that can be concluded from properties of $G$:
(A) The dimension of $F$ is equal to the ...
- 1,144
7
votes
3
answers
525
views
Is the class of inverse semigroups globally determined?
This question is a follow-up to this one I asked on math.stackexchange. I've decided to ask here because I believe this is a research-level question. I'm sorry if I'm wrong -- I'm not a researcher ...
- 1,445
7
votes
1
answer
349
views
Pushouts of injective monoid homomorphisms
Given a pushout square in the category of monoids
$$\begin{array}{ccc}A & \rightarrow & M \\ \downarrow && \downarrow \\ N & \rightarrow & P\end{array}$$such that $A \to M$ and ...
- 5,482
6
votes
2
answers
309
views
Permanent of Nakayama algebras
See https://en.wikipedia.org/wiki/Nakayama_algebra for the definition of Nakayama algebras and define the permanent of such an algebra to be the permanent of its Cartan matrix.
(all algebras are ...
- 26.5k
6
votes
0
answers
339
views
What is the algebraic equivalent of independent elements?
The definition/notion of independence is always a bit odd in measure theoretic probability theory.
Definition Given a probability space $(\Omega,\mathcal{F},P)$, two sets $A,B\in\mathcal{F}$ are ...
- 8,071
6
votes
1
answer
255
views
Is there any structural characterization of the rings in which every element other than the identity is a (two-sided) zero divisor?
[I fear that I'm missing something obvious here, but I'll dare to ask anyway.]
As we all know, a division ring is a (unital, associative, non-zero) ring where every non-zero element is a unit. So, let ...
- 10.5k
6
votes
2
answers
1k
views
Lemma on infinitely generated projective modules
Is it true that every finitely generated submodule of a non-finitely generated projective over a (not necessarily commutative!) ring is contained in a proper summand?
N.B.: I asked this already on ...
- 47.3k
5
votes
3
answers
542
views
Congruences that aren't "finite from above"
Let $\mathfrak{A}=(A;...)$ be an algebra in the sense of universal algebra. Say that a congruence $\sim$ on $\mathfrak{A}$ is parafinite iff there is an equivalence relation $E\subseteq A^2$ with ...
- 21.1k
5
votes
2
answers
901
views
Given a formal power series ,decide whether there exists a polynomial the series satisfies and if it exists,how to write it down?
Given a formal power series $$y(x)=\sum_{i=0}^{\infty} a_i x^i$$ Is there an algorithm that decides whether there exists a polynomial$$ P(x,y)=p_n(x)y^n+p_{n-1}(x)y^{n-1}+\cdots+p_0(x)=0,p_j(x)\in F[x]...
- 3,084
5
votes
3
answers
487
views
On a dual of Kaplansky's $2^{nd}$ conjecture: admissible algebras?
Kaplansky's second conjecture (on Hopf algebras) deals with "admissible" coalgebras: He calls a coalgebra admissible, if there is an algebra structure making it a Hopf algebra. The conjecture states ...
- 7,746
4
votes
1
answer
614
views
Characterisation of reflexive modules
Let $A$ be a semiperfect noetherian ring.
A module $M$ is called reflexive in case the canonical map $f_M: M^{**} \cong M$ is an isomorphism, when $(-)^{*}:=Hom_A(-,A)$. This is equivalent to say that ...
- 26.5k
4
votes
1
answer
169
views
Is every invertible-free cancellative monoid action represented by "shifting" certain maps?
[Note: This question is closed. It's current content reflects a draft of a potential new question, modified from the original by adding conditions to the premises; see comments]
Let $W,X$ be ...
4
votes
1
answer
364
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$,...
- 10.5k
4
votes
0
answers
228
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.5k
4
votes
1
answer
683
views
Quadratic algebras and Koszul algebras
Let $A$ be a quadratic algebra and $B$ the Ext-algebra of $A$.
In case $A$ is a Koszul algebra, we should have that the global dimension of $A$ plus one is equal to the Loewy length of $B$ (is there a ...
- 26.5k
3
votes
1
answer
122
views
A BF-monoid $H$ s.t. $H^\times$ is not divisor-closed
Let $H$ be a (multiplicative) monoid, and denote by $H^\times$ the set of units of $H$ and by $\mathcal A(H)$ the set of atoms of $H$ (let me recall that an element $a \in H$ is an atom if (i) $a \...
- 10.5k
3
votes
2
answers
164
views
Weak ideal systems $r$ for which the $r$-coheight satisfies a kind of triangle inequality
Let $H$ be a multiplicatively written, commutative monoid with identity $1_H$, and let $\mathcal P(H)$ be the power set of $H$. If $X, Y \subseteq H$, we will set $$XY := \{xy: x \in X,\, y \in Y\}.$$
...
- 10.5k
3
votes
2
answers
925
views
Skew fields inside quaternion division algebras
Suppose that $Q$ is a quaternion division algebra with center $k$, where $k$ is an arbitrary commutative field (let's say with $\operatorname{char}(k) \neq 2$ if necessary). Assume that $D$ is an ...
- 6,614
2
votes
1
answer
337
views
About Euclidean domains
I asked a similar question a few weeks ago in M.SE but it didn't receive any answers, so I decided to post it here with some modifications.
My motivation comes from a theorem given in Pete L. Clark's ...
- 195
2
votes
0
answers
238
views
A special type of ideals
I am looking for some references that contained a study of ideals with the following *-property:
Let $I $ be an ideal of a commutative ring with ideantity. The ideal $I $ has the *-property if $I\...
- 61
1
vote
1
answer
1k
views
Expected size of determinant of $AA^T$ for non-square random $A$
If $A$ is chosen uniformly at random over all possible $m \times n$ (0,1)-matrices, what is the expected size of the absolute value of the determinant of $AA^T$. We can assume $m < n$ and all ...
- 3,377
1
vote
1
answer
129
views
About extensions between morphisms on the multiplier algebra
Let $A$ be a non-degenerate algebra and let $\Delta: A \to M(A \otimes A)$ be a non-degenerate morphism. We can extend the algebra morphism
$$\iota \otimes \Delta: M(A \otimes A) \to M(A \otimes A \...
user167952
1
vote
2
answers
368
views
A basic question about rings
Perhaps this is a trivial question, but I have no idea how to justify it.
Call a pair of groups $(G_1, G_2)$ ring-compatible if $G_1$ is abelian and there exists a ring $R$ with addition and ...
- 26.9k
0
votes
1
answer
473
views
A subfield $R \subseteq \mathbb{C}(x,y)$ with 'many' generators $w$, $R(w)=\mathbb{C}(x,y)$
Let $R \subseteq \mathbb{C}(x,y)$ and assume that $R=\mathbb{C}(u,v)$, where $u,v \in \mathbb{C}[x,y]$ are algebraically independent over $\mathbb{C}$.
Here $\mathbb{N}$ includes $0$.
Assume that $R$ ...
- 2,837
96
votes
16
answers
18k
views
Why is it a good idea to study a ring by studying its modules?
This is related to another question of mine. Suppose you met someone who was well-acquainted with the basic properties of rings, but who had never heard of a module. You tell him that modules ...
- 118k
76
votes
9
answers
6k
views
Can we unify addition and multiplication into one binary operation? To what extent can we find universal binary operations?
The question is the extent to which we can unify addition
and multiplication, realizing them as terms in a single
underlying binary operation. I have a number of questions.
Is there a binary ...
- 236k
71
votes
28
answers
8k
views
Results from abstract algebra which look wrong (but are true)
There are many statements in abstract algebra, often asked by beginners, which are just too good to be true. For example, if $N$ is a normal subgroup of a group $G$, is $G/N$ isomorphic to a subgroup ...
62
votes
5
answers
10k
views
Does "finitely presented" mean "always finitely presented"? (Answered: Yes!)
Precisely, if an R-module M has a finite presentation, and Rk → M is some unrelated surjection (k finite), is the kernel necessarily also finitely generated?
Basically I want to believe I can ...
- 11.2k
61
votes
3
answers
7k
views
Why is there no Cayley's Theorem for rings?
Cayley's theorem makes groups nice: a closed set of bijections is a group and a group is a closed set of bijections- beautiful, natural and understandable canonically as symmetry. It is not so much a ...
- 3,230
53
votes
5
answers
5k
views
Does this formula have a rigorous meaning, or is it merely formal?
I hope this problem is not considered too "elementary" for MO. It concerns a formula that I have always found fascinating. For, at first glance, it appears completely "obvious", while on closer ...
- 15.3k
47
votes
10
answers
6k
views
Algebraic theorems with no known algebraic proofs
What are some good examples of algebraic theorems that have no known algebraic proofs?
A few I know concern classifications of (not necessarily associative) division algebras over $\mathbb{R}$: the ...