# Questions tagged [division-algebras]

The division-algebras tag has no usage guidance.

74
questions

**1**

vote

**0**answers

42 views

### Commutator length of the center $Z(D')$ of $D'$ in a division ring $D$

Let $D$ be a division ring, and $D^\times$ the multiplicative group of $D$. Denoted $D'$ (resp. $Z(D')$) by the derived subgroup of $D^\times$ (resp. the center of $D'$). Here, we consider $D'$ ...

**0**

votes

**0**answers

77 views

### Expressing a diagonal matrix over a division ring

Let $D$ be a division ring and $\mathrm{GL}_n(D)$ the general linear group over $D$. It is not difficult to show that every $A\in\mathrm{GL}_n(D)$ can be written in the form $A=D(x)B$ where $D(x)=\...

**2**

votes

**0**answers

82 views

### Product of two involutions in $\mathrm{PSL}_2(D)$

Let $D$ be a division ring and $\mathrm{PSL}_2(D)$. Suppose that $\overline{A}\in\mathrm{PSL}_2(D)$ where $A\in \mathrm{SL}_2(D)$. If $\overline{A}$ is identity, then $\overline{A}$ can express two ...

**3**

votes

**1**answer

289 views

### Is there a classification of the $p$-adic normed division algebras?

A normed division algebra over $\mathbb{R}$ is a pair $(A,\lVert{-}\rVert)$ with
$A$ an $\mathbb{R}$-algebra with a unit $1_A$;
$\lVert{-}\rVert\colon A\to\mathbb{R}_{\geq0}$ a norm on $A$;
such ...

**2**

votes

**1**answer

98 views

### A problem about extensions of division rings

For a division ring $D$ with center field $F:=Z(D)$ such that $\dim_F D = n^2$, there is a classical result saying that $D\otimes_{F}\bar{F}\cong M_n(\bar{F})$ as $\bar{F}$-algebras, where $\bar{F}$ ...

**2**

votes

**0**answers

40 views

### Subalgebra of a crossed product central division algebra, generated by powers of group elements

Let $k=\mathbb C$, let $K$ be a finite extension of the field $k(X_1,X_2,X_3)$ of rational functions in $3$ variables, let $L/K$ be a finite Galois extension of commutative fields and let the Galois ...

**1**

vote

**0**answers

51 views

### There is a ring with multiplication. Can we find a formula for division based on formula for multiplication?

Studying divergent integrals, I found a good formula for their multiplication:
$\int_0^\infty f(x)dx\cdot\int_0^\infty g(x)dx=\int_0^\infty D^2 \Delta^{-1} \left(\Delta D^{-2}f(x)\cdot\Delta D^{-2}g(x)...

**5**

votes

**0**answers

98 views

### Properties of finite dimensional, real division algebras that only yield $\mathbb{R}, \mathbb{C}, \mathbb{H}$ and $\mathbb{O}$

It is a classical result by Kervaire and Milnor that every finite-dimensional, real division algebra has dimension 1,2,4 or 8, with the most prominent examples being $\mathbb{R}, \mathbb{C}, \mathbb{H}...

**2**

votes

**0**answers

141 views

### Eichler orders in a certain quaternion algebra

Let us consider a totally real number field $K$ such that $[K \colon {\Bbb Q}] = {\mathrm{odd}}$. We shall consider the quaternion algebra $D$ over $K$ such that $D$ splits everywhere at finite places ...

**3**

votes

**0**answers

71 views

### Multiplication law in a division algebra of dimension 9 over a non-archimedean local field

Let $k$ be a non-archimedean local field, for example, a $p$-adic field (a finite extension of the filed ${\Bbb Q}_p$ of $p$-adic numbers).
It is well known that there is a canonical isomorphism
$${\...

**3**

votes

**1**answer

101 views

### Charaterisation of quaternion algebras

Let $k$ be a field, and $A$ an associative $k$-algebra with an identity element. Say that $A$ is quadratic if any subalgebra of $A$ generated by a single element has dimension at most two.
I am ...

**4**

votes

**0**answers

187 views

### Fixing error in a proof from "Central simple algebras and Galois cohomology"

I'm trying to understand the proof of Proposition 2.2.10 in Gille-Samuely's book "Central simple algebras and Galois cohomology" (2nd edition), and I believe it has an error.
Here's the ...

**2**

votes

**1**answer

159 views

### The size of endomorphism rings and the relation to ordinariness of Abelian surfaces

For Elliptic curves over a finite field, there is a very useful characterization of ordinary elliptic as those with commutative, quadratic endomorphism rings and of supersingular curves as those with ...

**3**

votes

**0**answers

63 views

### On noncommutative transcendence degrees

The original transcendence degree for (noncommutative) division algebras is the Gelfand-Kirillov transcendence degree, due to I. Gelfand and K. Kirillov ([ Sur les corps li´es aux algèbres ...

**3**

votes

**0**answers

112 views

### On the Gelfand-Kirillov Conjecture

The base field $k$ is of zero characteristic.
Notation: $A_{n,s}(k):= A_n(k(x_1,\ldots,x_s))$, the Weyl agebra over a purely transcedental extension of the base field; $F_{n,s}(k)$, the Weyl field, is ...

**1**

vote

**1**answer

146 views

### Lattices from quaternion algebras (MAGMA software)

I am studying the paper "Lattice Packing from Quaternion Algebras" from 2012 about the construction of ideal lattices.
In Section 3.3 the authors construct very interesting examples of lattices using ...

**3**

votes

**0**answers

50 views

### A rationality question over skew-fields

Let $K$ be a skew-field, $k$ its center, and $V$ a finite-dimensional left vector space over $K$. Assume that $E$ is a $k$-subalgebra of $\mathrm{End}_K(V)$, and that $E$ is a (commutative) field.
...

**2**

votes

**1**answer

138 views

### Field of definition of a finite dimensional division algebra and how to reduce it

Let F be a field, and E/F an infinite algebraic extension. Let D be a finite dimensional division algebra over E (meaning its center is also E).
Is it possible to somehow gow down to a finite ...

**3**

votes

**1**answer

286 views

### Schur index of a representation and its divisors

We fix following objects:
(1) $G$ is a finite group.
(2) $\chi$ is complex irreducible character of $G$.
(3) $m$ is the Schur index of $\chi$ w.r.t. the rational field $\mathbb{Q}$.
(4) All the ...

**3**

votes

**0**answers

115 views

### Free skew fields over sets of different cardinal

Let $K$ be a field and let $X$ be a set. Denote by $\mathcal D_K(X)$ the free skew $K$-field on $X$.
Assume that $|X|\ne |Y|$. Is it true that $\mathcal D_K(X)$ and
$\mathcal D_K(Y)$ are not ...

**3**

votes

**1**answer

153 views

### Infinite dimensional finitely generated algebraic division algebra

Is there a division algebra $D$ with center $K$ that satisfies the
following 3 conditions?
1) $D$ is of infinite dimension over $K$;
2) every element of $D$ is algebraic over $K$;
3) $D$ is ...

**4**

votes

**1**answer

71 views

### Left vs right degree of skew-field extensions

Artin in his book, Geometric Algebra, says the connection between the left
degree and right degree of a skew-field extension is unknown.
Since I'm not an expert, I was wondering if someone knew the ...

**5**

votes

**0**answers

147 views

### Projective modules over maximal orders of central simple algebras

In "Supersingular K3 surfaces" by TetsuJi Shioda, when proving Theorem 3.5 (Deligne) he considers a supersingular elliptic curve $C$ over an algebraic closed field of $\text{char}\ p>0$ and let $R ...

**0**

votes

**1**answer

192 views

### Classification of finite-dimensional real super C*-algebras

The title says it all. I feel like one should be able to find this somewhere, but every time I try to google, I just get results for "super Lie algebras". Does anybody know a reference? I am not so ...

**6**

votes

**1**answer

277 views

### Image of the norm map for degree $3$ galois extension over $\mathbb{Q}$

I want to construct a cyclic division algebra of degree $3$ over some degree $3$ Galois extension $E$ of $\mathbb{Q}$. So the construction is as follows:
As a set $D=E\oplus uE \oplus u^2 E$ where $u$...

**6**

votes

**0**answers

224 views

### Unital nonalternative real division algebras of dimension 8

Cross-posted from Math SE because I felt like it might be too obscure for there. I'm sorry if this is the wrong place for it.
EDIT: This question now has an answer over there
The finite-dimension ...

**6**

votes

**1**answer

215 views

### 3-torsion part of Brauer group

I want to solve this problem:
If in field $K$ we have sufficient n-th roots of unity then the 3-torsion part of Brauer group is generated by classes of cyclic algebras
I know that every element in 3-...

**3**

votes

**1**answer

145 views

### Hermitian forms over $K\times K$

Let $V$ be a finitely generated module over the ring $R=K\times K$ where $K$ is a field. We fix the switch involution on the ring $R$. Let $H$ be a hermitian form over $V$.
When $V$ is a free module, ...

**3**

votes

**0**answers

63 views

### Spliting of division algebras over a ring

Let $D$ be a central division algebra over $\mathbb{Q}_p$, of dimension $n^2$. For example, let $D=E_n(\Pi)$, where $E_n$ is the unramified degree extension of $\mathbb{Q}_p$ such that $\Pi^n=p$ and $\...

**8**

votes

**0**answers

263 views

### Finding a cyclic cubic extension of a field

Let $K$ be a field and let $E/K$ be a Galois extension of degree 6 with $\text{Gal}(E/K) = S_3$, the symmetric group on 3 letters. Pick two different transpositions $s_1, s_2$ in $S_3$ (hence $s_1s_2$ ...

**1**

vote

**0**answers

58 views

### Isotropy of skew-Hermitian forms over division algebras

Assume char(F) $\neq$ 2.
Let $D$ be a central division algebra over a field $F$ and $h: V \rightarrow D$ be an anisotropic skew-Hermitian form. We can easily see that $h_{\bar{F}}$ is totally ...

**-2**

votes

**1**answer

172 views

### When is the following fraction an integer $\frac{3^a}{2^b-3}[(\frac{2^b}{3})^c - 1]$ where $a,b,c \in \mathbb{Z}$? [closed]

I'm trying to evaluate the following fraction $\frac{3^a}{2^b-3}[(\frac{2^b}{3})^c - 1]$, but I'm getting stuck using gcd arguments or divisibility arguments. This is part of an ongoing research I'm ...

**4**

votes

**0**answers

82 views

### Is $x \in A_1$ left algebraic over the subalgebra generated by $p$ and $q$, $[q,p]=1$?

Let $A_1:=A_1(x,y,k)$ be the first Weyl algebra over a field $k$ of characteristic zero,
namely, the $k$-algebra generated by $x$ and $y$ with relation $yx-xy=1$.
Let $f:(x,y) \mapsto (p,q)$ be a $k$-...

**5**

votes

**0**answers

137 views

### Real endomorphism algebra of abelian surface is never $\mathbb{C}$?

I'm reading about the Sato Tate conjecture for genus 2, and I came to the paper here. This breaks the conjecture into 6 different parts, based on the real endomorphism algebra of the surface, or the ...

**6**

votes

**1**answer

338 views

### Octonion algebras over $\mathbb{F}_p(t)$

In their book Octonions, Jordan Algebras and Exceptional groups
Springer and Veldkamp have a subsection called 'Classification over special fields' in which they describe the number of division and ...

**3**

votes

**1**answer

110 views

### Idea of base change for Division algebras over local field

Let $F$ be a non-Archimedean local field of characteristic $0$ and $K/F$ be a finite extension. Let $D_F$ be the central division algebra of dimension $n^2$ over $F.$ Write $D_K=D_F\otimes_FK$, which ...

**5**

votes

**1**answer

186 views

### Endomorphism algebras of restricted representations

Let $G$ be a group, and
$$\rho:G\to \mathrm{GL}(V)$$
be an absolutely irreducible, finite-dimensional representation over a characteristic $0$ field $k$. For each finite index subgroup $H\le G$, let
$...

**8**

votes

**2**answers

220 views

### Representations of $SL_1(D),$ where $D$ a division algebra over a local field

Let $k$ be a local field of residue characteristic $p$, and let D be a central
division algebra over $k$ of index $n>2$. How to determine the irreducible complex representations of the group $SL_1(...

**4**

votes

**0**answers

235 views

### Dimension of the moduli space of abelian varieties with a prescribed endomorphism algebra

Let $D$ be a division algebra over a number field $K$, and consider abelian varieties $A$ over the complex numbers, of dimension $g$ with an action of (an order of) $D$. Is it known when this set is ...

**7**

votes

**1**answer

488 views

### When is $GL_m(R)$ generated by elementary and diagonal matrices?

Let $D$ be a division ring and $R=D[t_1,\ldots,t_n]$ the polynomial ring in $n$ variables. Now let $GL_m(R),\,E_m(R)$ be the usual general linear group and its subgroup generated by the elementary ...

**2**

votes

**1**answer

316 views

### Dimension of maximal tori in division algebras

Does there exist a field $K$ and a finite-dimensional $K$-division algebra $D$ possessing two maximal separable subfields of different dimensions?
Remark: If $D$ is separable ($Z(D)$ a separable ...

**0**

votes

**2**answers

342 views

### Counting Divisors in $\mathbb{Z}^n$

Basically, I'm looking for ways to multiply elements of $\mathbb{R}^n$ that allow me to count divisors in $\mathbb{Z}^n$.
For every positive integer $n$, I'm looking for an algebra structure on $\...

**10**

votes

**2**answers

829 views

### Are there nonlinear projective spaces?

This is actually a series of questions posed by Guram Berishvili about the structure he calls marao. Everything I am going to write here I took (and messed up) from his home page which is all in ...

**2**

votes

**1**answer

238 views

### cubic forms and finiteness of $k^*/(k^*)^3$

In some recent computation I came across certain cubic forms and was wondering about analogue of following result for quadratic forms.
If $k^*/(k^*)^2$ is finite then there are only finitely many ...

**6**

votes

**1**answer

212 views

### reduced norm from degree 3 division algebra

Let $D$ be a degree $3$ division algebra over a field $k$ of char not 2 and 3.
Any such division algebra is cyclic. I am interested in knowing the cases when the reduced norm map $Nrd : D^* \...

**4**

votes

**0**answers

288 views

### When is a crossed-product algebra a division algebra?

Let $L/K$ be a finite Galois extension with Galois group $G$. For every 2-cocycle $\gamma$ of $G$ with values in $L^\times$ there is the crossed-product $K$-algebra
$$S(L,G,\gamma) = \bigoplus_{g\in ...

**1**

vote

**2**answers

471 views

### Central division algebras and splitting fields

Let $K$ be a field and $D$ be a central division algebra over $K$ of degree $n$. Suppose that $L\subset D$ is a maximal subfield, so that $[L:K]=n$. Then we know that $L$ is a splitting field, so ...

**6**

votes

**1**answer

280 views

### Rational cohomology of the Rosenfeld projective planes

The bioctonionic plane $(\mathbb{C} \otimes \mathbb{O})\mathbb{P}^2$, the quarteroctonionic plane $(\mathbb{H} \otimes \mathbb{O})\mathbb{P}^2$ and the octooctonionic plane $(\mathbb{O} \otimes \...

**1**

vote

**0**answers

276 views

### Is there any construction of infinite dimensional algebraic division ring? [closed]

I know that there is a division algebra over $\mathbb{Q}$ such that it is algebraic and infinite dimensional over it's center i.e. $\mathbb{Q}$. But for construct this division algebra. we can use ...

**4**

votes

**3**answers

231 views

### Is an associative division algebra required for this phenomenon?

For which integers $d \geq 1$ can we find real matrices $R_1, \dotsc, R_d$ of size $d \times d$ such that for any unit vector $v \in \mathbb{R}^d$, $$R_1 v, \dotsc, R_d v$$ is an orthonormal basis? ...