আসুন একটি সীমাবদ্ধ আবেলীয় গোষ্ঠী হোন, এবং পি কে আর এর বহুভুজ হতে দিন x নীচের অক্ষমতাগুলিকে সন্তুষ্ট করার পয়েন্ট হিসাবে সংজ্ঞায়িত :
যেখানে মানে জি একটি উপদলের হয় Γ । পি কি অবিচ্ছেদ্য? যদি তা হয় তবে আমরা কি এর শিখরগুলি চিহ্নিত করতে পারি?
আমার প্রশ্ন মূলত সঙ্গে উঠে , যেখানে কিছু ছোট উদাহরণ ( এন = 2 , 3 ) যে সুপারিশ উত্তর "হ্যাঁ" এবং "হয়তো, কিন্তু এটা না সহজ"। আমি 9 এবং 10 টি উপাদান, পাশাপাশি F 2 3 তে চক্রাকার গোষ্ঠীটিও চেষ্টা করেছি , যেখানে আবার পলিটোপ অবিচ্ছেদ্য। Polytope হয় না যখন অবিচ্ছেদ্য Γ কোন হল এস 3 , ডি 4 , এবং ডি 5 , তাই abelianness দৃশ্যত অপরিহার্য।
আমার উল্লেখ করা উচিত যে আপনি যদি প্রথম সেট সমীকরণগুলিকে হিসাবে লিখেন তবে A এ অগত্যা সম্পূর্ণ একমোডুলার নয় (যা বোঝায় যে বহুভুজটি অবিচ্ছেদ্য)। যখন Γ = এফ 3 2 , আপনি তিন সুসংগত স্বাধীন নির্বাচন করতে পারবেন ছ এবং তিনটি নেওয়া জি 'নির্বাচিত উপাদানের প্রতিটি জোড়া দ্বারা দৃশ্যও র ছ । ফলে submatrix হয় [ 0 1 1 1 0 1 1 1 0 ] আপ বিন্যাস থেকে, তাই নির্ধারক হয়েছে ± 2 ।
প্রাইম-অর্ডার গোষ্ঠীগুলির জন্য শীর্ষ শিখরগুলি চিহ্নিত করা এবং তারা অবিচ্ছেদ্য বলে পর্যবেক্ষণ করা খুব সহজ (যদি ক্লান্তিকর হয়)। আমি নিশ্চিত যে এটি চক্রীয় গোষ্ঠীগুলিতে প্রাইম-পাওয়ার অর্ডার দিয়ে বাড়ানো যেতে পারে pretty আমি নিশ্চিত না যে পণ্য নেওয়ার সময় কী ঘটে।
এই সিস্টেমটি পলিমাট্রয়েডগুলি সংজ্ঞায়িতকারীদের খুব স্মরণীয় , তবে একটি সাবমডুলার সেট ফাংশন না করে, সীমাবদ্ধতাগুলি একটি "সাবগ্রুপ ফাংশন" যা আমার সন্দেহ হয় যে একবার সঠিক উপায়ে সংজ্ঞায়িত হয়ে গেলে এটি 'সাবমডুলার' is তবুও, কিছু পলিম্যাট্রয়েডগুলি অবিচ্ছেদ্য দেখানোর কৌশলগুলি এখানেও কাজ করতে পারে তবে আমি কীভাবে তা দেখছি না।