Definition 10.49.1 (05DX)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.49: Geometrically integral algebras
Definition 10.49.1 (cite)

next lemma

numberstags

history
statistics

Definition 10.49.1. Let $k$ be a field. Let $S$ be a $k$ -algebra. We say $S$ is geometrically integral over $k$ if for every field extension $k'/k$ the ring of $S \otimes _ k k'$ is a domain.

Comments (1)

Comment #305 by UT on September 08, 2013 at 17:30

I think it should be $S \otimes_k k'$ instead of $R \otimes_k k'$ in the definition.

There are also:

6 comment(s) on Section 10.49: Geometrically integral algebras

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (1)

Post a comment