Questions tagged [central-simple-algebras]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
0answers
153 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
0answers
45 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/...
5
votes
1answer
422 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
1answer
207 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
0answers
159 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
2answers
105 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
1answer
240 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
0answers
60 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
1answer
67 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)...
5
votes
1answer
239 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
0answers
202 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
3answers
415 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
0answers
205 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
1answer
278 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
1answer
205 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
0answers
169 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/\...
13
votes
1answer
652 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
0answers
239 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
0answers
173 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
1answer
241 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
1answer
433 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
1answer
122 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
1answer
121 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
1answer
179 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
1answer
379 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
0answers
280 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
0answers
576 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 ...
12
votes
3answers
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
2answers
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
1answer
281 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
3answers
924 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
0answers
335 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
2answers
833 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 ...