Questions tagged [central-simple-algebras]
The central-simple-algebras tag has no usage guidance.
50
questions
3
votes
1
answer
205
views
Unitary involutions on a simple central algebra after a scalar extension
$\DeclareMathOperator{id}{id}$
Let $L/K$ be a quadratic separable extension of fields. Let $A$ be a central simple algebra over $L$ such that its norm $N_{L/K}(A)$ splits. Then we know that there ...
5
votes
0
answers
157
views
Essence of relations between central simple algebras and Galois cohomology in canonical morphism of class field theory
I was somewhat puzzled after I finished learning class field theory for several times. My question is about the relations between "classical simple algebras, Brauer groups" and "modern ...
2
votes
0
answers
58
views
What is the relationship between ramification in central simple algebras and in fields?
Suppose $K$ is the field of fractions of a Dedekind domain $R$, and let $L$ be a finite extension of $K$. There is a notion of ramification of primes of $K$ in $L$, which describes how $\mathfrak p \...
5
votes
1
answer
655
views
Brauer group of rational numbers
Reading about the calculation of the Brauer group of rational numbers, the calculations of the group are extremely lengthy and technical. First of all, it will be very helpful to me if someone can ...
9
votes
2
answers
254
views
What is the quotient group $D^*/{F^*(1+P_D)}$ for a quaternion division algebra $D$ over a local field $F$?
Let $F$ be the non-archimedean local field $\mathbb{Q}_p$ for some prime $p$ and $D$ be a quaternion division algebra over $F$. Let $\mathcal{O}_D$ and $\mathcal{P}_D$ denote the ring of integers of $...
0
votes
2
answers
180
views
Are there any central simple algebras admitting a standard basis?
Are there any central simple algebras admitting a standard basis?
By a standard basis I mean a normal basis that has a cyclic property generalizing that of the familiar basis $1, i, j, k$ for ...
2
votes
0
answers
46
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 ...
3
votes
0
answers
150
views
The Brauer group and the second Galois cohomology group
I know that for any finite Galois extension K of $\mathbb{Q}$ the group $H^2(Gal(K/\mathbb{Q}),K^*)$ is isomorphic to the Brauer group $Br(K/\mathbb{Q})$. The isomorphism goes as follows: to a 2-...
3
votes
0
answers
91
views
Multiplication law in a central simple algebra of dimension 9 over a global field
Let $k$ be a global field, for example $k=\Bbb Q$.
Let $D$ denote the central simple algebra of dimension 9 over $k$ with given local invariants $i_v$.
Here $v$ runs over the set $\Omega_f(k)$ of ...
2
votes
0
answers
66
views
Equivalence classes of Hermitian elements in a central simple algebra with an involution of second kind
Let $k_0$ be a field of characteristic 0, $k/k_0$ be a quadratic extension,
and $A/k$ be a central simple algebra over $k$ of dimension $9=3^2$ with an involution of second kind $\sigma$.
Then $^\...
1
vote
0
answers
57
views
Maximal orders separable over their centre
Let $\mathcal{A}$ be a central simple $K$-algebra, where $K$ is an algebraic number field. It is known that $\mathcal{A}$ is separable over $K$ (following the definition of DeMeyer and Ingraham's book)...
6
votes
1
answer
189
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
212
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 ...
3
votes
0
answers
78
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
139
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
242
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
129
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
276
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
62
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
656
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$....
3
votes
1
answer
280
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 \...
5
votes
0
answers
564
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
157
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
417
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
64
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 $\...
3
votes
1
answer
74
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
324
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
296
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
513
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
275
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
368
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
313
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 ...
4
votes
0
answers
336
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/\...
17
votes
1
answer
999
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
324
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
203
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
291
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
554
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
174
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
160
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
242
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
679
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
325
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
688
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 ...
15
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
323
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
965
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
347
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 $...
16
votes
2
answers
1k
views
Central simple algebras approach to class field 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 ...