שיכון סגרה – הבדלי גרסאות

 

== הגדרה ==

יהי k [[שדה סגור אלגברית]] ויהיו <math>\mathbb{P}^n_k</math> ו-<math>\mathbb{P}^m_k</math> [[מרחב פרויקטיבי|המרחבים הפרויקטיבים]] מ[[ממד|מימדים]] n ו-m בהתאמה. נגדיר את העתקת סגרה:

<div style="text-align: center;">

 

== הוכחה שיריעת סגרה היא יריעה פרויקטיבית אי-פריקה ==

ישנה התאמה חח"ע ועל בין קבוצת הנקודות <math>\mathbb{P}^n_k \times \mathbb{P}^m_k</math> ליריעה

<center><math>\Sigma_{n,m} = \mathcal{V} \left( z_{ij} z_{rl} - z_{il} z_{rj} \ \mid \ 0 \le i,r \le n \ , \ 0 \le j,l \le m \right) </math>