All Questions
724 questions
1
vote
1
answer
96
views
If $H$ is commutative and unit-cancellative, then so is the monoid of non-empty ideals of $H$
Let $H$ be a (multiplicatively written) commutative monoid with identity $1_H$. Given $X, Y \subseteq H$, we take
$$XY := \{xy: x \in X,\, y \in Y\}.$$
We call a set $I \subseteq H$ an ideal of $H$ ...
- 10.5k
1
vote
0
answers
294
views
Is it true that the functor of completion of a module over a local ring is injective on isomorphism classes?
Let $A$ be a commutative Noetherian local ring and $\hat A$ be its completion. Then we have the functor of completion from the category of finitely generated $A$-modules to the category of finitely ...
- 1,484
1
vote
1
answer
263
views
Relationship between units of a ring and primitive characters of the ring under addition
Let $(R,+,\cdot)$ be a finite ring. Obviously, $(R,+)$ is an abelian group; however the unit (multiplicative) group need not be abelian.
My question is the following problem:
Given the dual group $\...
1
vote
0
answers
73
views
Relationship between units and primitive characters 2
This is a follow up to this question.
Let $(R,+,\cdot)$ be a finite ring.
Definition Given the dual group $\widehat{R}$ of $(R,+)$, a character $\chi\in\widehat{R}$ is said to be primitive with ...
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
306
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
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
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
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
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
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
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
88
views
Automorphism group of a Lie group $G$ vs that of a double covering group $\tilde{G}$: same or not? [duplicate]
Previously there are some counterexamples given in Automorphism group of a Lie group $G$ vs that of a covering group $\tilde G$: same or not? such that the automorphism group of a Lie group 𝐺 is not ...
- 10.5k
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
304
views
A Lie group whose Lie algebra is equal to (the Lie algebra? of )all functions with fibrewise polynomial growth
Let $M$ be a Riemannian manifold. We denote by $\mathfrak{g}$ the space of all smooth function $f:TM\to \mathbb{R}$ with fibre wise polynomial growth. Is it a Lie algebra wrt the Poisson bracket ...
- 356
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
1
answer
791
views
Maximal subgroups of indefinite special orthogonal group SO(p,q)
Can someone answer the following question:
Is there any classification of maximal proper Zariski-closed real subgroups of $SO(p,q)$ which are not parabolic, and satisfy the following conditions:
...
- 601
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
1
answer
83
views
Is the union of 1-dimensional pro-tori in a finite dimensional pro-torus dense?
Is the union of 1-dimensional compact connected abelian subgroups in a finite dimensional compact connected abelian group dense?
- 1,367
0
votes
1
answer
434
views
Reference request: Any connected Lie group has a countable base for its topology
I am looking for a reference for the assertion in the title. This assertion is proved in a comment of user nfdc23 to this question. Has any proof of this assertion been published?
- 14.1k
0
votes
0
answers
172
views
The largest abelian subgroups of a Lie group
Let $G$ be a semisimple Lie group. Denote $d(G)$ as the maximal integer $p$ such
that $\mathbb{Z}^p$ is isomorphic to a discrete subgroup of $G$ and $c(G)$ is the maximal integer $q$ such that $\...
0
votes
1
answer
187
views
How to prove a bracket is super anti-commutative?
On page 12 of the paper, there is a formula about super Poisson bracket on a Lie super group $G$:
\begin{align}
\{\phi, \psi\} = \sum_{\mu, \nu} (-1)^{|\phi||\nu|} r^{\mu \nu} ( R_{\mu} \phi R_{\nu} \...
- 6,201
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