# Questions tagged [separable-algebras]

For questions about separable algebras over commutative rings, separable ring extensions, Azumaya algebras, finite etale algebras.

28 questions
Filter by
Sorted by
Tagged with
1 vote
56 views

### Separable monads do not induce separable monoids

Let us first recall the categorical notion of monad: if we have a category $\mathcal{C}$ then a monad on it consists in an endofunctor $\mathbb{A}\colon \mathcal{C}\rightarrow \mathcal{C}$ together ...
• 717
390 views

### Is a "separable" algebra over a field finite-dimensional?

Let $k$ be a field and $A$ a unital associative (possibly non-commutative) $k$-algebra, and let $A^e$ denote the enveloping algebra of $A$, namely, $A^e = A \otimes_k A^{op}$. It seems that there are ...
• 109
57 views

• 2,603
400 views

### Separability of $\mathbb{C}[x]$ over its $\mathbb{C}$-subalgebras

For commutative rings $R \subseteq S$, recall that $S$ is separable over $R$, if $S$ is a projective $S \otimes_R S$-module, via $f: S \otimes_R S \to S$ given by: $f(s_1 \otimes_R s_2)=s_1s_2$. ...
• 2,603
100 views

• 2,603
75 views

### Separability of the ring extension $A \subset A[T]/(h_1,\ldots,h_n)$

Is there a generalization of Wang's known result, Corollary 8, which says the following: $A \subset B=A[T]/(h(T))=A[w]=B$ is a separable ring extension if and only if $h'(w)$, the formal derivative of ...
• 2,603
233 views

### What is the relationship between Frobenius extensions and Separable extensions

Let $R\to S$ be an extension of possibly non-commutative rings. I am interested in the relationship between $R\to S$ being Frobenius and it being separable. If it is a Frobenius extension, then there ...
• 9,399
533 views

### Is a "smooth" finite-dimensional algebra separable modulo its radical?

Let $k$ be a field, and let us write the "unadorned" tensor $\otimes$ in place of $\otimes_k$. For a unital finite-dimensional $k$-algebra $A$, let $A^e = A \otimes A^{op}$ denote the enveloping ...
• 4,907
1 vote
266 views

### Separability and smoothness

Let $A \subseteq B$ be commutative noetherian rings. I have found the following claim: "Separability implies smoothness" with the following explanation: "The natural thing is to prove that a separable ...
• 2,603
239 views

### Are the fibers of this morphism geometrically regular?

Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
• 255
459 views

### Is every separable algebra in a modular tensor category Morita equivalent to a commutative one?

Separable algebras in modular tensor categories are interesting algebraic structures, which have received significant attention because of their connection to conformal field theories. My ...
• 2,333
1k views

### Finite separable extension of fields imply the number of intermediate subfield is finite

The proof of statements either uses Galois theory or Artin primitive element theorem.I would like to know whether there is a proof without using these.The reason to avoid using Galois theory is that ...
• 1,656
233 views

### Non Commutative Hyperspaces

Let $X$ be a compact metric space. Recall that the hyperspace $2^{X}$ is the set of all non empty compact subsets of $X$ with the Hausdorff metric. Assume that $\mathcal{C}$ is the category of all ...
• 175
Hello everybody. I'm readying about derivations. It is very very known fact that all derivations $\delta: A\rightarrow M$ (A R-algebra, M A-module) are inner when the algebra is R-separable. ...