Table of Contents
Fetching ...

Schemes of Associative Algebras

Arvid Siqveland

Abstract

We give a definition of associative schemes, schemes of associative rings, over a field $k,$ using the definition of completion of an associative $k$-algebra in a finite set of simple modules. We start by giving a weaker but sufficient definition of ordinary schemes of commutative rings which can be generalized to associative rings.

Schemes of Associative Algebras

Abstract

We give a definition of associative schemes, schemes of associative rings, over a field using the definition of completion of an associative -algebra in a finite set of simple modules. We start by giving a weaker but sufficient definition of ordinary schemes of commutative rings which can be generalized to associative rings.

Paper Structure

This paper contains 7 sections, 17 theorems, 14 equations.

Key Result

Lemma 1

Let $X$ be a topological space and let $F$ be a presheaf on $X,$ that is a contravariant functor $F:\operatorname{Top}X\rightarrow\mathbf{Rings}.$ Then the functor is a sheaf on $X.$

Theorems & Definitions (47)

  • Definition 1
  • Example 1: Algebraic Varieties
  • Example 2: Projective Varieties
  • Lemma 1
  • proof
  • Definition 2
  • Definition 3
  • Definition 4
  • Theorem 1
  • proof
  • ...and 37 more