# Questions tagged [central-simple-algebras]

The central-simple-algebras tag has no usage guidance.

39
questions

**5**

votes

**1**answer

108 views

### Hasse invariant and the Clifford algbera

Let
$$q = a_1 x_1^2 + \cdots + a_n x_n^2$$
be a quadratic form over some $p$-adic field $\mathbb{Q}_p$. We thus have its Hasse invariant
$$\mathcal{h}(q) = \prod_{1 \leq i < j \leq n} (a_i,a_j)_p \...

**4**

votes

**0**answers

173 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

**0**answers

60 views

### The type number of an algebra

I've been reading On the existence of maximal orders, by C.F. Yu, in which he discusses maximal $R$-orders in semisimple algebras over a field $K$, where $R$ is a Noetherian integral domain and $K = \...

**3**

votes

**0**answers

116 views

### Central simple algebras via cohomology

I am following the book Central Simple Algebras and Galois Cohomology, by Gille and Szamuely (I am using the second edition). In section 2.4, the authors remark that the tensor product induces a ...

**3**

votes

**1**answer

209 views

### Elementary classification of division rings

Are there examples (other than the two mentioned below) of fields $K$ such that the classification of all finite dimensional division $K$-algebras is possible using only elementary theory (lets say a ...

**3**

votes

**0**answers

91 views

### Multiplicative structure of the K-theory of Severi-Brauer varieties

There is a well-known result by Quillen stating that if $X_A$ is the Severi-Brauer variety of a central simple algebra $A$ of degree $d$ over a field $k$, then its (Quillen) K-theory decomposes as
$$...

**2**

votes

**0**answers

190 views

### Azumaya algebra and central separable algebra over local rings

let be $R$ a commutative ring
Auslander and Goldman define a central separabl $R$-algebra $A$ as a faithful $R$-module with $Z(A) = R$ , and such that $A$ is a projective $A\otimes_R A^{\mathrm{op}}$-...

**3**

votes

**0**answers

50 views

### Splitting of central simple algebras in the Schur subgroup over residue fields of places

Recall that a valuation domain of a field extension $K/k$ is a $k$-subalgebra $V$ of $K$ not equal to $K$ such that for every $a\in K$ at least one of $a$ and $a^{-1}$ is in $V$.
A place of $K/...

**6**

votes

**1**answer

515 views

### Example of a central simple algebra

Let $A$ be a finite dimensional central simple algebra over a field $F$ of characteristic $0$. So by Weddernburn's theorem, $A\cong M_n(D)$ for some division algebra $D$ over $F$. Let $\dim_F(D)=m^2$....

**2**

votes

**1**answer

229 views

### Cyclotomic fields and splitting of central simple algebras

Let $K$ be a cyclotomic field of degree $n$ and $A$ a central simple algebra over $\mathbb{Q}$ of dimension $n^2$. How can one determine whether there is a $\mathbb{Q}$-algebra embedding $K \...

**4**

votes

**0**answers

269 views

### Jacobson radical of a tensor product

Let $R$ be a commutative ring and $A_1$, $A_2$ be $R$-algebras. Is there any general mean to compute the Jacobson radical of the tensor product $A_1\otimes_R A_2$ in terms of ${\rm Rad}(A_i )$, $i=1,2$...

**2**

votes

**2**answers

122 views

### Crossed product division algebra

Let $k$ be a field, $D$ be a crossed product division algebra over $k$, namely $D$ has a maximal subfield which is Galois over $k$. Is it possible $D$ contain some other maximal subfield which is non-...

**4**

votes

**1**answer

296 views

### Elementary proof that a central simple algebra over a field having a maximal subfield is a cyclic algebra

I'm currently reading the book "Central Simple Algebras and Galois Cohomology" written by Philippe Gille and Tamas Szamuely.
In the book, I don't understand a computational proof of the theorem that ...

**3**

votes

**0**answers

61 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 $\...

**4**

votes

**1**answer

71 views

### Splitting variety for bicyclic algebras

Let $F$ be a field contains a primitive root of unity of order $p$, where $p$ is a prime number. Let $a,b \in F^\times$, then one can look at the cyclic algebra $(a,b)_p \in {_p}Br(F)$ where ${_p}Br(F)...

**6**

votes

**1**answer

265 views

### Brauer groups and field extensions

Let $k$ be a field and $\mathrm{Br}(k)$ the Brauer group of $k$. Let $k \subset L$ be a field extension. Let $b \in \mathrm{Br}(k)$ and denote by $b \otimes L \in \mathrm{Br}(L)$ the base-change of $b$...

**3**

votes

**0**answers

237 views

### Interaction between the Brauer group and abelian extensions

If $k$ is a field of characteristic zero and $k$ has no (non-trivial) abelian extensions (e.g. the composite of all solvable extensions of $\mathbb{Q}$), then $\text{Br(k)} = 0$ by the norm residue ...

**5**

votes

**3**answers

453 views

### Reference request: correspondence between central simple algebras and quadratic forms

Let $A$ be an algebra over $k$, $\operatorname{tr_A}(x, y):=\operatorname{tr}(m_{xy})$ be a trace form on $A$, and $V_A$ be its restriction on the orthogonal complement to $1$. I wonder why a map $A \...

**4**

votes

**0**answers

222 views

### Is a central simple algebra necessarily cyclic if it splits after a cyclic Galois extension?

Let $A$ be a central simple algebra of degree $n$ over $k$, $\dim_kA=n^2$, let $K/k$ be a cyclic galois extension of degree $n$. Suppose $A\times_kK\cong M_n(K)$, does this imply that $A$ is a cyclic ...

**2**

votes

**1**answer

296 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 ...

**1**

vote

**1**answer

233 views

### Constructing groups of Type E^{66}_{7,1} having non trivial Tits algebra

This can be considered as a continuation of my last useful question:
Constructing groups of Type E7 with certain Tits Index
It is known that a quadratic form $q$ of dimension $12$, having splitting ...

**3**

votes

**0**answers

232 views

### Reference for classification of positive involutions

An involution on a finite dimensional algebra $A$ over $\mathbb{Q}$ is an involutive anti-automorphism of $A$. If $\sigma$ is an involution on $A$, we say that $\sigma$ is positive if $\mathrm{Tr}_{A/\...

**14**

votes

**1**answer

781 views

### Non-commutative Galois theory

Recall that an finite-dimensional algebra $A$ over a field $k$ is central simple iff there is an iso
$A \otimes_k A^{op} \cong M_n(k)$
where $A^{op}$ is the opposite ring and $M_n(k)$ is the matrix ...

**4**

votes

**0**answers

272 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

**0**answers

182 views

### Dimension of the center of a subalgebra of a simple algebra

Let $F$ be a field. Let $A$ be a simple (associative unital) $F$-algebra with center reduced to $F$. Let $B$ be a $F$-subalgebra of $A$;
assume that $A$ is can be generated as left $B$-module by $n$ ...

**3**

votes

**1**answer

248 views

### On conductors, levels and traces on quaternion algebras

I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and $\mathcal{O}...

**9**

votes

**1**answer

465 views

### Orders in Central Simple Algebras. Applications

It is known that orders in quaternion algebras (over a number field) are used for constructing geometric objects like hyperbolic orbifolds and Shimura curves. Moreover, if one knows embedding ...

**4**

votes

**1**answer

143 views

### Let $A\in\operatorname{M}_n(F)$ be a matrix, how to prove $\bigcap_{X\in C(A)}C(X)=F[A]=\frac{F[x]}{(m_A(x))}$

I asked the following question on Math Stack Exchange, but no people reply. I know MO is more professional and it is for mathematicians to discuss research problems. Maybe this question is unsuitable ...

**4**

votes

**1**answer

133 views

### Does every equivalence class in a Brauer-Wall group have a (graded) division algebra?

It is known that each equivalence class in a Brauer group has a division algebra (or, in other words, every central simple algebra is isomorphic to $\mathrm{Mat}(D)$ for some division algebra $D$). Is ...

**6**

votes

**1**answer

192 views

### Infinite dimensional simple algebras of finite degree

Let $F$ be a field and let $B$ be an $F$-algebra. The degree of $B$ over $F$ is the smallest positive integer $\deg_F B = d \geq 1$ such that every element of $B$ satisfies a (monic) polynomial of ...

**4**

votes

**1**answer

432 views

### Regular or elliptic elements in the multiplicative group of central division algebra

For an element $g$ of a connected reductive group $G$ over a field $F$,
$g$ is called $regular$ if the dimension of the centralizer of $g$ is equal to the rank of the algebraic group $G$,
$g$ is ...

**3**

votes

**0**answers

297 views

### Discussion of specific arithmetic triangle groups?

Arithmetic triangle groups were classified in Takeuchi, Arithmetic triangle groups, J. Math. Soc. Japan Volume 29, Number 1 (1977), 91-106. The (2,3,7) case was discussed in detail in a number of ...

**10**

votes

**0**answers

606 views

### What does the tensor product of two central simple algebras correspond to geometrically?

Let $k$ be a field, assumed to have characteristic $0$ for simplicity (though this probably isn't necessary).
Let $A$ be a central simple algebra over $k$ of dimension $n^2$. Then the collection of ...

**14**

votes

**3**answers

1k views

### How to distinguish division algebras from matrix algebras?

Suppose $D$ is an explicitly given rank 9 central simple algebra over ${\mathbb Q}$ (or a number field). For example it could be specified by two cubic subfields ${\mathbb Q}(a), {\mathbb Q}(b)\subset ...

**4**

votes

**2**answers

1k views

### Galois theory of endomorphism rings of irreducible representations

Let $k$ be a field which I don't suppose to be algebraically closed. Then, the endomorphism ring of any irreducible representation of a finite group over $k$ is a division ring.
What is known about ...

**3**

votes

**1**answer

294 views

### Special subalgebras of central simple algebras

In this question F is a field and all algebras are finite dimensional F algebras.
Let X be the set of all F algebras A for which there exist an F algebra B and an F division algebra D such that F is ...

**18**

votes

**3**answers

939 views

### units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups?

This is really an irrelevant question in the sense that the answer isn't remotely "logically crucial for the Langlands programme" or whatever---it's just something that occurred to me when writing ...

**4**

votes

**0**answers

342 views

### “Cholesky decomposition” X=YY* for p-adic matrices?

Let $E/F$ be a quadratic extension of $p$-adic fields. Consider $M_n(E)$ with the unitary (aka 2nd kind) involution $X \mapsto \sigma(X)^{tr}$, where $\sigma(X)$ denotes the entry-wise application of $...

**14**

votes

**2**answers

896 views

### Central simple algebras approach to classfield theory, Merits of.

As noted earlier, I found reading Weil's book "Basic Number Theory" to be a harrowing experience, and I find his writing to be intrinsically hard to understand, though it is perfectly rigorous and ...