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.
367 questions
1
vote
0
answers
52
views
Is every cyclic right action of a cancellative invertible-free monoid on a set isomorphic to the set of shifts of some homography?
The terms are defined in a related question. [1]
Conjecture 1. Let $A$ be a set, $W$ a cancellative invertible-free monoid, and $\cdot\colon A\times W\rightarrow A$ a cyclic right $W$-action generated ...
1
vote
0
answers
99
views
Extension of closed-form solvability of polynomial equations of x and exp to rational expressions?
Is my conjecture below true?
It's a new conjecture. It's an extension of Lin's theorem in [Lin 1983] which is cited in [Chow 1999] - see both references at the bottom of this page.
It seems that Ferng-...
- 1,053
1
vote
0
answers
178
views
A locally convex $C^*$ algebra without zero divisor
Let we have a locally convex $C^*$ algebra $A$. That is $A$ is a TVS equipped with an algebra and an involution structure such that all operations are continuous. Moreover the topology on $A$ ...
- 356
1
vote
1
answer
560
views
A good introduction to S unit equations
I was looking up some stuff when I stumbled across S unit equations. It seems to me that they are quite helpful in number theory, as given in this paper.
http://faculty.nps.edu/pstanica/research/...
- 230
1
vote
0
answers
126
views
Polynomial constraints triggered by irreducibility [closed]
I've come across an interesting connection between irreducible polynomials and polynomial constraints. For example, consider the basic quadratic:
$$af^2 + bf + c = 0$$
If we're working in a ring, ...
- 415
1
vote
1
answer
307
views
Simple $C^*$ algebras whose all commutator elements have scalar square
Is there a simple $C^*$ algebra $A$, not isomorphic to $M_2(\mathbb{C})$, such that for every commutator element $x=ab-ba$, $x^2$ is an scalar element?
- 356
1
vote
1
answer
154
views
A property similar to arithmetical property
By an arithmetical ring is understood a commutative ring $R$ with
identity for which the ideals form a distributive lattice, i.e., for which
$(I+J)\cap K=(I\cap K)+(J\cap K)$ for all ideals $I, J$ ...
- 21
0
votes
1
answer
403
views
When does a power semigroup have a zero, and what can the zero be?
Let $S$ be a semigroup. The power semigroup of $S$ is the set $P(S)=2^S\setminus\lbrace\varnothing\rbrace $ with the operation $$AB=\lbrace ab\ |\ a\in A,\ b\in B\rbrace.$$
This operation is ...
- 1,445
0
votes
0
answers
208
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 \mathbb{C}\...
- 356
0
votes
2
answers
345
views
Dual of a module
Let $M$ be a $ \mathbb{Z}_{p}[[T]] $-module and $X=Hom(M,\mathbb{Q}_{p}/\mathbb{Z}_{p})$ be the dual of $M$. Let $X[p^n]$ denotes the $p^n$-torsion points of $X$. Is $X/X[p^n]$ the dual of $M[p^n]$ $?$...
- 303
0
votes
0
answers
74
views
Commutative rings with many nilpotent elements and efficient computation
Let $K$ be commutative ring. Assume that for natural $n$
there are $n$ nilpotent elements $y_i \in K$ satisfying
$y_i^2=0, y_i y_j=y_j y_i \ne 0$ and $\prod_1^ny_i \neq 0$.
Is it possible to compute ...
- 25.4k
0
votes
1
answer
152
views
Is it possible to generalize a result of Wang?
Assume $A$ and $B$ are commutative algebras with $1$.
There is a nice result of Wang, Corollary 8, which says the following: "Let $B = A[z] = A[Z]/(h(Z))$. Then $B$ is a separable algebra over $A$ if ...
- 2,837
0
votes
0
answers
643
views
A new generalization of the dimension?
During my research, I came a cross on these notions :
Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...
- 4,074
0
votes
0
answers
303
views
For which monic irreducible $f \in \mathbb{C}[x,y][T]$, $\mathbb{C}[x,y][T]/(f)$ is a UFD?
Let $f=f(T) \in \mathbb{C}[x,y][T]$ be a monic irreducible polynomial:
$f=T^n+a_{n-1}T^{n-1}+\cdots+a_1T+a_0$,
$a_j \in \mathbb{C}[x,y]$, $0 \leq j \leq n-1$.
Denote $B=\mathbb{C}[x,y,T]/(f)=\mathbb{C}...
- 2,837
0
votes
0
answers
71
views
Generalization of Levi-Civita type construction towards divergent integrals and corresponding questions
A known generalization of Levi-Civita field is a field of Hahn power series of $\varepsilon$ of the form
$\mathbb{R}[[\varepsilon^{\mathbb{Q}}]]$. Assuming $\varepsilon=1/\omega$, we can naturally ...
- 10.1k
0
votes
1
answer
155
views
Does the set of positive definite kernels on some set X form a ring?
Given some non-empty set $X$, does the set of positive definite kernels on $K_X$ form a ring with pointwise addition and multiplication. I am convinced it does not as surely if $k \in K_X$ then we ...
0
votes
1
answer
328
views
Number of minimal left ideals
Is there any way to compute the number of minimal left ideals of $M_n(K)$, the full $n\times n$ matrix ring with entries in the field $K$ ?
user39204