نامعین (متغیر)

یک نامعین  در ریاضیات، مخصوصاً در جبر صوری، نمادی است که به شکل یک متغیر رفتار می‌کند (جای چیز دیگری غیر از خودش نیست) و معمولاً به صورت یک یک جایگاه‌دار در اشیایی مثل چندجمله‌ای و سری توانی صوری استفاده می‌شود. مخصوصاً
 یک ثابت یا پارامتر مسئله را تعیین نمی‌کند.
 یک ناشناخته نیست که برای تعیین آن، قابل اثبات باشد.
 متغیری نیست که آرگومان تابع را تعیین کند، یا یک متغیر نیست که روی آن جمع‌بندی شود یا روی آن انتگرال‌گیری شود.
 نوعی متغیر مقید نیست.
 فقط یک نماد است که به روش کاملاً صوری از آن استفاده می‌شود.

چندجمله‌ای‌ها 
یک چندجمله‌ای در یک نامعین  یک عبارت از حالت  است که در آن به ‌ها ضرایب چندجمله‌ای گفته می‌شود. دو تا از این چندجمله‌ای‌ها فقط در صورتی برابرند که ضرایب متناظرشان برابر باشند. در مقابل، دو تابع چندجمله‌ای در یک متغیر  در یک مقدار بخصوص از  می‌توانند برابر باشند یا نباشند.

برای مثال توابع

وقتیکه  است برابر و در غیر اینصورت نابرابرند. اما دو چندجمله‌ای

برابر نیستند؛ زیرا ۲ برابر ۵ نیست، و ۳ برابر ۲ نیست. در واقع

برقرار نیست مگر آنکه  و  باشد. به این دلیل است که  عدد نیست و یک عدد را تعیین نمی‌کند.

این تمایز نامحسوس است، زیرا یک چندجمله‌ای در  را می‌توان به یک تابع در  با جایگزینی تغییر داد. اما این تمایز مهم است زیرا موقعی که جایگزینی انجام می‌شود، ممکن است که اطلاعات از بین برود؛ مثلاً موقعی که در پیمانه ۲ کار می‌کنیم، این تساوی را داریم:

از این رو تابع چندجمله‌ای  برای  که هر مقداری در سامانه پیمانه-۲ دارد به صورت همانی برابر صفر است. با این حال، چندجمله‌ای  چندجمله‌ای صفر نیست، زیرا ضرایب ۰، ۱ و -۱، به ترتیب، همه صفر نیستند.

پانویس

منابع 

جبر مجرد
چندجمله‌ای‌ها
سری‌های ریاضی