**4**

votes

**1**answer

85 views

### Left- and right-sided principal ideals of quaternions have same index?

One fact about the Lipschitz integers (quaternions of the form $a + bi + cj + dk$ where $a, b, c, d$ are integers) is that the left-sided ideal generated by any element $Q$ has the same index in the ...

**0**

votes

**0**answers

18 views

### What are the fixed points of $\beta_j^{-n}[\alpha^n--\beta_j^{n-1}\mu_j-\beta_j^{n-2}\mu_j-…-\mu_j]$ for a fixed $j$ [on hold]

Let us consider the polynomial ring $\Bbb C[x_1,...,x_s]$ and $\alpha(x_i)= \beta_i x_i + \mu_i$ where $\mu_i \in \Bbb C$ are not all zero. Then $\alpha \in \mathrm{Aut}(\Bbb C[x_1,...,x_s])$.
...

**1**

vote

**0**answers

41 views

### 4-D lattices and quaternion

It is easy to prove that there are only 2 extensions $\mathbb{Q}(a)$, with $|a|=1$, of $\mathbb{Q}$ where $\mathbb{Z}[a]$ becomes a lattice(discrete free abelian subgroup of rank 2) in the complex ...

**0**

votes

**0**answers

95 views

### In commutativity theorems in ring theory

Suppose that $R$ is a ring such that for any $x\in R$ there exists $1<n(x)\in \mathbb{N}$ such that $x^{n(x)}-x\in Z(R)$. Prove that $R$ is commutative or if it is not commutative, then the ideal ...

**2**

votes

**1**answer

96 views

### Generalized height of elements in abelian groups

In the book Infinite abelian groups Vol. I by L. Fuchs, on page 154, the notion of the generalized $p$-height of an element in an abelian group is defined, as follows:
Let $A$ be an abelian group ...

**-1**

votes

**0**answers

124 views

### An ideal and its annihilator

Let $I$ be an arbitrary ideal of commutative ring $R$ with identity.
If $ann (I)=AB$, where $A$ and $B$ are comaximal, how can we fine two ideal $I_1$ and $I_2$ with $I=I_1+I_2$ such that $I_1$ ...

**2**

votes

**1**answer

145 views

### Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?

For a semigroup $G$ with a left action on itself, the axiom for compatibility becomes:
$$
\forall f,g,h\in G:hg(f)=h(g(f))
$$
Now suppose there is additional axiom, or constraint if you prefer, ...

**2**

votes

**1**answer

139 views

### Milnor patching for general modules

The Milnor patching theorem for projective modules is the following statement. Given a pullback diagram of rings
$$
\begin{array}{}
R & \xrightarrow{f_2} & R_2 \\
\downarrow{f_1} & &...

**3**

votes

**1**answer

206 views

### Division ring on a field

Suppose that $F$ is a field. Show that there exists a $F$-division algebra $D$ with two elements $a\neq b\in D$ such that $a^2-2ab+b^2=0$.
In the field extensions we know that $a^2-2ab+b^2=0$ if and ...

**0**

votes

**1**answer

85 views

### Relation between the Frattini Property and Pronormal subgroups of Solvable groups

A subgroup $H$ of $G$ is said to satisfy the Frattini Property if for any subgroup $K$ and $L$ such that $H\leq K \unlhd L$ implies that $L \leq N_L(H)K$
A subgroup is $H$ is pronormal in $G$ if for ...

**2**

votes

**2**answers

137 views

### Realization of irreducible $\mathfrak{S}_d$-modules and the representation theory of Lie algebra

Let $n$ be a positive integer. It is well-known that a method to realize irreducible $\mathfrak{S}_d$-modules is to construct the so-called Specht modules $S^{\mu}$ which are submodules in the so-...

**0**

votes

**0**answers

64 views

### Binary operations on graphs

Are there "binary operations" on graphs like in (https://en.wikipedia.org/wiki/Graph_product), which make the set of all graphs ("under consideration")
a (abelian) group or
a (commutative) ring or
a ...

**0**

votes

**0**answers

39 views

### Explicit description of fields with ramification conditions

Let us fix an algebraically closed field $k$ of characteristic 0. If I understood correctly, the Riemann Existence theorem guarantees us existence of the field (Galois-)extension, say $F$, of $k(t)$ ...

**3**

votes

**1**answer

134 views

### Isomorphisms between extension group and $\mathfrak{u}$-cohomology

Let $\mathcal{O}^{\mathfrak{p}}$ be a parabolic subcategory (see, Humphrey's BGG's Ch.9) of the BGG category $\mathcal{O}$ (w.r.t the Cartan $\mathfrak{h}$ and Borel $\mathfrak{b}$) over a finite-...

**12**

votes

**1**answer

533 views

### Duality between topology and bornology

I want to understand in what sense topology is dual to bornology at a most basic level. Therefore, I rephrased the definition of a bornology in the following way:
Let $X$ be a set and let $\mathcal{P}...

**2**

votes

**1**answer

149 views

### The center of a(n endomorphism) ring is a PID

Let $A$ be a torsion-free Abelian group, and let $\mbox{End}(A)$ be its endomorphism ring. Denote by $R\doteq\mathbf{Z}(\mbox{End}(A))$ the center of $\mbox{End}(A)$. What would be necessary and/or ...

**2**

votes

**1**answer

505 views

### A paper by Y. Morita

The corresponding bibliographical details are:
Yoshihito Morita, Elementary proofs of the commutativity of rings satisfying $x^{n}=x$. Mem. Defense Acad. 18 (1978), no. 1, 1–24.
Does anybody here ...

**1**

vote

**0**answers

70 views

### when a prime ideal is maximal differential ideal in a UFD

Is the prime ideal $\langle X^{2}+Y^{2}-1\rangle$ a maximal differential ideal in differential ring $\mathbb{Q}[X,Y]$ with
derivatives $D(X)=Y, D(Y)= -X$?
I know there are maximal ideals like $\...

**2**

votes

**1**answer

188 views

### Are the positive multiplicative group and the additive group of the field of algebraic numbers isomorphic?

Let $F$ be the field of real algebraic numbers. Is it true that the positive multiplicative group $(F_{pos}^*,\cdot,1)$ is isomorphic to the additive group $(F,+,0)$ (as abstract groups, not ...

**2**

votes

**1**answer

99 views

### An isomorphic invariant in ring theory

Let $R$ be a unital ring. We define the Murray Von Neumann relation $M$ on $R$ as follows:
We say $a M b$ iff $a=xy,\;b=yx$ for some $x,y\in R$. (This is inspired by the usual Murray Von Neumann ...

**1**

vote

**1**answer

120 views

### Existence of class modules for finite groups

I asked the following question on Stackexchange and got no reply so I am reposting it here. Let $G$ be a finite group. A $G$-module C is a class module if, for all subgroups $H \subset G$:
1) $H^1(H,...

**6**

votes

**2**answers

721 views

### Tensor product of fields over integers

Inspired by this question we ask;
Is there a name for each of the following properties about fields? what are some examples other than $\mathbb{Q}$?:
1.A field $K$ with the property that $K\otimes_{...

**15**

votes

**1**answer

810 views

### Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$ and the usual notion of multiplication?

Definition. $$\mathbb{J} = \{1,2,3,\ldots\}.$$
We can refer to the elements of $\mathbb{J}$ as "joiners."
The product of joiners is inherited from $\mathbb{Z}$.
The sum of joiners will ...

**5**

votes

**2**answers

332 views

### Splitting subspaces and finite fields

Hellow. I'm sure that the following is truth, but I can't prove it.
Let $R<S<K, R=\mathrm{GF}(q),\ S= \mathrm{GF}(q^n), \ K= \mathrm{GF}(q^{mn})$ be a chain of finite fields and
$A = \{\theta\...

**-1**

votes

**1**answer

220 views

### Order-Perserving Bijection $f:A\to A^*$?

Let $A$ be a well-quasi-ordered infnite set. Does there exist an order-preserving bijection $f:A\to A^*$, where $A^*$ is the free monoid over $A$ under the subword ordering? Would this subword ...

**4**

votes

**1**answer

134 views

### An example of an Azumaya algebra that isn't free over its centre

Azumaya originally defined an Azumaya algebra (which he called a proper maximally central algebra) to be an algebra A which is a free module of finite rank over its centre Z such that the natural map
$...

**0**

votes

**0**answers

76 views

### the linear span of all matrix coefficients is $C(G,\mathbb{C})$ where $G$ is a finite group

Theorem. Let $\{(R_{\alpha},V_{\alpha})\}$ be a complete set of inequivalent irreducible finite dimensional representations of a finite group $G$. Let $V_{R_{\alpha}}$ be the subspace generated by all ...

**7**

votes

**1**answer

275 views

### For a new operation on a finite group of odd order giving a loop structure, when does this also gives a group

For finite groups $G$ of odd order, as $x \mapsto x^2$ is bijection (but no automorphism in general) then, we can define for each $g \in G$ the element $x^{1/2}$ by requiring $(x^{1/2})^2 = x$. Then ...

**3**

votes

**2**answers

98 views

### About Kurosch-Ore theorem

Where can I find the proof of Kurosch-Ore theorem in lattice theory?
The statement of this theorem is: Let $L$ be a modular lattice with $0$ and $1$ that satisfies both chain conditions. Then for any ...

**-2**

votes

**1**answer

115 views

### On group of automorphisms of direct product of nonabelian finite groups [closed]

Let $A, B$ be finite nonabelian groups such that $(|A|, |B|) = 1$. Is $\operatorname{Aut}(A\times B) = \operatorname{Aut}(A)\times\operatorname{Aut}(B)$?

**3**

votes

**0**answers

279 views

### A relation between a ring with its polynomial ring

Let $\{f_i(x)\}_{i\in I}$ be a subset of $R[x]$ where $R[x]$ is the polynomial ring of $R$(a commutative ring with identity). If the ring $R/\langle f_i^2(n)-f_i(n)\rangle_{i\in I, n\in A}$, for every ...

**53**

votes

**1**answer

2k views

### $R$ is isomorphic to $R[X,Y]$, but not to $R[X]$

Is there a commutative ring $R$ with $R \cong R[X,Y]$ and $R \not\cong R[X]$?
This is a ring-theoretic analog of my previous question about abelian groups: In fact, in any algebraic category we may ...

**-1**

votes

**1**answer

108 views

### Notation for a Homomorphism [closed]

Is there a (common) notation which denotes a function, $f$, to be a homomorphism?
I have found myself writing, "let $f: X \rightarrow Y$ be a homomorphism" several times. This is fine, but I would ...

**5**

votes

**1**answer

189 views

### Description of the algebra of $G$-invariant polynomials by generators and relations

Fix $n > 1$ and let $\zeta \in \mathbb{C}$ be a primitive $n$-th root of unity. Let $G \subset \text{SL}_2(\mathbb{C})$ be a cyclic subgroup of order $n$ generated by the diagonal matrix $g = \text{...

**-1**

votes

**1**answer

83 views

### Group associated to the monoid $({\cal P}(X\times X), \circ)$

Consider the set ${\cal P}(X\times X)$. It can be endowed with a binary operation $\circ$ where
$$A\circ B = \{(a,b)\in X\times X:\exists z\in X((a,z)\in A\land (z,b)\in B)\}.$$
Note that $\Delta_X=\{...

**8**

votes

**1**answer

262 views

### $k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set $\...

**9**

votes

**0**answers

160 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**7**

votes

**1**answer

111 views

### Center of $k$-algebra with two generators and sole defining relation $yx - xy = 1$ when $\text{char}\,k > 0$

Let $A(k)$ be a $k$-algebra with two generators, $x$, $y$, and one defining relation: $yx - xy = 1$. What is the center of the algebra $A(k)$ in the case $\text{char}\,k > 0$?

**1**

vote

**2**answers

200 views

### Is $K\cap \langle H\cup N\rangle\subseteq \langle H\cup (K\cap N)\rangle$? [closed]

If $G$ is a arbitrary group, $H,K,N\leq G$ such that $H\subseteq K$, then $K\cap \langle H\cup N\rangle\subseteq \langle H\cup (K\cap N)\rangle$?. If it is not true, how can I find an ...

**4**

votes

**1**answer

149 views

### Obstruction for two subgroups to be conjugated by an automorphism

Altough this sounds as a very basic question, I didn't receive any answer on stack exchange and by people more knowledgeable than me
Take $p$ a prime number and $P$ an abelian finite $p$-group. Let $...

**0**

votes

**1**answer

177 views

### How to solve this system of equations? [closed]

I am trying to find a Poisson bracket on an algebra, and need to find a solution to a system of equations. The system of equations is very complicated, with more than 10000 equations and 60 variables.
...

**2**

votes

**0**answers

154 views

### Problem in abstract algebra [closed]

Let $p$ and $q$ be two distinct primes. For a field $F$, assume that $\deg(\alpha, F)=p$.
Is it necessarily true that $\deg(\alpha^q, F)=p$? Is there any counterexample?
It is not an exercise problem ...

**0**

votes

**0**answers

61 views

### “4th order” floretions- cyclic transformation question

In response to the last paragraph mentioning "swapping" operations in this post, I would like to mention what the reference is to and one question I currently have.
Assume $X = abCD$ is some 4th ...

**3**

votes

**1**answer

116 views

### Bibliography suggestion for Kummer theory

I already posted a question about a sum involving the degree of a Kummer extension.
Now I'm interested in a more specific fact about Kummer extensions.
From Hooley's paper "On Artin's conjecture", we ...

**4**

votes

**1**answer

95 views

### Maximal cyclic quotient of a $p$-group

Let $G$ be a finite abelian $p$-group, $p$ a prime. I say that a pair $(G',\varphi)$ is a maximal cyclic quotient (please excuse me if this definition already exists and refers to a different concept) ...

**2**

votes

**3**answers

126 views

### Non-principal prime ideals in infinite distributive lattices

Given an infinite distributive lattice $L$, does $L$ contain a non-principal prime ideal $I$, or a non-principal prime filter $F$? ($I$ is said to be principal if there is $x\in L$ such that $I=\{y\in ...

**2**

votes

**1**answer

396 views

### When does $R [x]/I $ has infinitely many idempotents?

Let $R$ be a commutative ring with identity and $R[x] $ its polynomial ring. I am looking for a ring with finitely many idempotents and an unextended ideal $I$ in $R[x]$ such that $R[x]/I$ has ...

**5**

votes

**0**answers

217 views

### Endofunctors on the category of groups which are Galois- related to a linear map on $\mathbb{Q}[x]$

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question
In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with ...

**2**

votes

**0**answers

135 views

### calculation in a group ring

I have some problems with the verification of the third equation in Lemma 1 in this paper.
First of all, one has to notice that there is at least one Error in the Definition of $a_{\kappa,\nu}$ above....

**0**

votes

**1**answer

98 views

### Natural Poisson brackets on $S(V^*)$

Let $V$ be a finite dimensional vector space and $S(V)$ the corresponding symmetric algebra. Suppose that we have a Poisson bracket $\lambda = \{,\}: S(V) \otimes S(V) \to S(V)$. Let $V^*$ be the dual ...