אלגבריות
מתוך ויקיפדיה, האנציקלופדיה החופשית
במתמטיקה, אלגבריות היא תכונה המתייחסת לאיברים בשדה K מעל תת-שדה F, ובאופן כללי יותר לכל איבר של אלגברה A המוגדרת מעל חוג קומוטטיבי C. איבר המקיים תכונה זו נקרא איבר אלגברי, ואיבר שאינו מקיים אותה הוא טרנסצנדנטי.
ההגדרה מכלילה את ההגדרה המקובלת למספר אלגברי, באופן שמספרים אלגבריים הם האיברים האלגבריים של שדה המספרים המרוכבים מעל שדה המספרים הרציונליים. מושג דומה, ועדין יותר, הוא זה של איבר שלם - כל איבר שלם הוא אלגברי, אבל לא להיפך. אם C הוא שדה, שני המושגים מתלכדים. המושגים מוגדרים כך: איבר a של אלגברה A מעל חוג קומוטטיבי C הוא אלגברי (מעל C) אם הוא מאפס פולינום שכל מקדמיו שייכים ל- C. איבר המאפס פולינום מתוקן הוא איבר שלם.
באלגברה מממד סופי, כמו למשל אלגברת מטריצות מעל שדה, כל איבר הוא אלגברי. אלגבריות בהרחבת שדות קשורה קשר הדוק לממד. אם K/F היא הרחבה כזו, אז
הוא אלגברי אם ורק אם השדה
הנוצר על-ידי a מעל F הוא בעל ממד סופי. באלגברה כללית A, איבר a הוא שלם אם ורק אם
נוצר סופית כמודול מעל R. מזה נובעת תכונה חשובה: אם a מאפס פולינום שכל מקדמיו שלמים, אז הוא שלם בעצמו. מכאן נובע שאוסף כל האברים של A שהם שלמים מעל C הוא תת-אלגברה (הנקראת 'הסגור האלגברי' של C בתוך A).
את מושג הטרנסצנדנטיות אפשר להכליל כדי לטפל בכמה איברים.
הם איברים בלתי תלויים אלגברית אם לא קיים אף פולינום ב- n משתנים
מעל חוג הבסיס C, פרט לפולינום האפס, כך ש-
. המספר הגדול ביותר של איברים בלתי תלויים אלגברית נקרא דרגת הטרנסצנדנטיות של A מעל C.

