دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Bentz W.
سری:
ناشر:
سال نشر: 2007
تعداد صفحات: 12
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 131 کیلوبایت
در صورت تبدیل فایل کتاب A characterization of T3 separation for a special class of varieties به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب توصیف جداسازی T3 برای یک کلاس خاص از انواع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این یک نتیجه شناخته شده در مطالعه گروه های توپولوژیکی است که هر گروه توپولوژیکی T0 نیز منظم است و اصل جدایی قوی تر T3 را برآورده می کند. همین امر در مورد شبه گروه های توپولوژیکی نیز صدق می کند. در حوزه جبر جهانی، تنها نتیجه شرط T3 به دلیل کلمن منفی است، که نشان میدهد جاودانگی همخوانی آنقدر قوی نیست که مفهوم T0=>T3 را برای جبرهای توپولوژیکی یک تنوع وادار کند. در مقاله، ما نتایج منفی مشابهی را برای یک کلاس بزرگ از انواع ارائه خواهیم کرد. در نتیجه، میتوانیم نتیجه بگیریم که اگر مفهوم T0=>T3 در یک واریته غیر پیش پا افتاده V وجود داشته باشد، هر مجموعه معادلات تعریفکننده برای V باید حداقل یک معادله با نمونهای از یک نماد تابع در موقعیت آرگومان داشته باشد. به نمونه دیگری از این دست
It is a well-known result in the study of topological groups that any T0-topological group is also regular and satisfies the stronger separation axiom T3. The same holds for topological quasi-groups. In the area of universal algebra, the only result on condition T3 is a negative one due to Coleman, showing that congruence permutability is not strong enough to force the implication T0=>T3 to be valid for the topological algebras of a variety.In this paper, we will provide similar negative results for a large class of varieties. As a consequence, we can conclude that if the implication T0=>T3 holds in a non-trivial variety V , each defining set of equations for V must contain at least one equation with an instance of a funtion symbol in the position of an argument to another such instance.