এফিন প্রতিসম গ্রুপ

সমতলের নিয়মিত ত্রিভুজাকার টাইলসের সজ্জা, যার প্রতিসাম্য অ্যাফাইন প্রতিসম গ্রুপ দ্বারা বর্ণিত।টেমপ্লেট:Math

এফিন প্রতিসম গ্রুপ হলো একটি গাণিতিক কাঠামোর শ্রেণি, যা সংখ্যারেখা এবং সমতলের নিয়মিত ত্রিভুজাকার বিন্যাসের প্রতিসমতা বর্ণনা করে, পাশাপাশি সংশ্লিষ্ট উচ্চমাত্রিক বস্তুকেও অন্তর্ভুক্ত করে। এই জ্যামিতিক বিবরণের পাশাপাশি, এফিন প্রতিসম গ্রুপকে অন্যান্য উপায়েও সংজ্ঞায়িত করা যায়: এটি বিন্যাস (পূর্ণসংখ্যাগুলোর পুনর্বিন্যাস) এর একটি সমষ্টি, যা নির্দিষ্ট পর্যায়ক্রমিক বৈশিষ্ট্যযুক্ত (টেমপ্লেট:Math), অথবা খাঁটি বীজগাণিতিক পরিভাষায় এটি নির্দিষ্ট উৎপাদক ও সম্পর্কযুক্ত একটি গোষ্ঠী। এটি সমাবেশবিদ্যা এবং প্রতিনিধিত্ব তত্ত্বে অধ্যয়ন করা হয়। একটি সসীম প্রতিসম গ্রুপ একটি সসীম সেটের সমস্ত বিন্যাসের সমষ্টি নিয়ে গঠিত। প্রতিটি এফিন প্রতিসম গ্রুপ একটি সসীম প্রতিসম গ্রুপের একটি অসীম সম্প্রসারণ। সসীম প্রতিসম গ্রুপগুলোর অনেক গুরুত্বপূর্ণ সমাবেশিক বৈশিষ্ট্য সংশ্লিষ্ট এফিন প্রতিসম গ্রুপগুলোর জন্যও সম্প্রসারিত করা যায়। বিন্যাস পরিসংখ্যান যেমন অবনমন এবং উলট এফিন ক্ষেত্রেও সংজ্ঞায়িত করা যায়। সসীম ক্ষেত্রের মতো, এই পরিসংখ্যানগুলোর জন্য প্রাকৃতিক সমাবেশিক সংজ্ঞাগুলোর একটি জ্যামিতিক ব্যাখ্যাও রয়েছে।

এফিন প্রতিসম গ্রুপের অন্যান্য গাণিতিক বস্তুর সাথে ঘনিষ্ঠ সম্পর্ক রয়েছে, যার মধ্যে জাগলিং প্যাটার্ন এবং নির্দিষ্ট জটিল প্রতিফলন গ্রুপ অন্তর্ভুক্ত। এদের অনেক সমাবেশগত এবং জ্যামিতিক বৈশিষ্ট্য বিস্তৃত এফিন কক্সেটার গ্রুপ পরিবারের ক্ষেত্রেও প্রযোজ্য।

সংজ্ঞা

এফিন প্রতিসম গ্রুপকে সমভাবে একটি বিমূর্ত গ্রুপ হিসেবে উৎপাদক ও সম্পর্কের মাধ্যমে সংজ্ঞায়িত করা যেতে পারে, অথবা এটি নির্দিষ্ট জ্যামিতিক ও সমাবেশগত মডেলের মাধ্যমে প্রকাশ করা যেতে পারে। টেমপ্লেট:Sfnp

বীজগণিতীয় সংজ্ঞা

২ এবং ২ এর বেশি উৎপাদক বিশিষ্ট অ্যাফাইন প্রতিসম গ্রুপের জন্য ডিনকিন রেখাচিত্র।

গ্রুপ সংজ্ঞায়িত করার একটি উপায় হল উৎপাদক ও সম্পর্ক ব্যবহার করা। এই সংজ্ঞায়, উৎপাদক হলো গ্রুপের এমন একটি উপসেট, যা বিভিন্ন উপায়ে সংযোজিত হয়ে গ্রুপের সমস্ত উপাদান উৎপন্ন করে। সংজ্ঞার সম্পর্কগুলো হলো একটি সমীকরণ ব্যবস্থা, যা নির্ধারণ করে কখন দুটি উৎপাদকের সংযোজন সমান হয়। টেমপ্লেট:Efn টেমপ্লেট:Sfnp এইভাবে, এফিন প্রতিসম গ্রুপ $\tilde{S}n$ একটি সেট $$s_0,s_1,\dots ,sn-1$$ দ্বারা উৎপন্ন হয় যা টেমপ্লেট:Mvar উপাদান ধারণ করে এবং নিচের সম্পর্কগুলো পূর্ণ করে: যখন $n\ge 3$,

1. $s_i^2=1$ (যেমন, উৎপাদকগুলি উলটন হয়),
2. $s_i{s}_j=s_j{s}_i$ যদি টেমপ্লেট:Mvar $i-1,i,i+1$ এর মধ্যে না হয়, এর মানে হচ্ছে যে, এই উৎপাদকগুলির জন্য গ্রুপ অপারেশন যোগসূত্রীয় গুণনফল এবং
3. $s_i{s}_{i+1}{s}_i=s_{i+1}{s}_i{s}_{i+1}$।

উপরে দেওয়া সম্পর্কগুলিতে সূচকগুলি [[মডুলার অঙ্কগণনা|মডুলো টেমপ্লেট:Mvar]] হিসেবে নেওয়া হয়, যাতে তৃতীয় সম্পর্কটি একটি বিশেষ ক্ষেত্রে অন্তর্ভুক্ত হয় $s_0{s}_{n-1}{s}_0=s_{n-1}{s}_0{s}_{n-1}$। (দ্বিতীয় এবং তৃতীয় সম্পর্কগুলোকে কখনও কখনও ব্রেইড সম্পর্ক বলা হয়)। টেমপ্লেট:Sfnp) $n=2$, এফিন প্রতিসম গ্রুপ ${\tilde{S}}_2$ হল অসীম ডাইহেড্রাল গ্রুপ যা দুটি উপাদান $s_0,s_1$ দ্বারা উৎপন্ন এবং শুধুমাত্র সম্পর্কগুলি অনুসরণ করে $s_0^2=s_1^2=1$। টেমপ্লেট:Sfnp

এই সম্পর্কগুলো বিশেষ রূপে পুনরায় লেখা যেতে পারে যা কক্সেটার গ্রুপকে সংজ্ঞায়িত করে, সুতরাং এফিন প্রতিসম গ্রুপগুলি কক্সেটার গ্রুপ, যেখানে $s_i$ তাদের কক্সেটার উৎপাদক সেট হিসেবে কাজ করে।টেমপ্লেট:Sfnp প্রতিটি কক্সেটার গ্রুপ একটি কক্সেটার-ডিনকিন চিত্র দ্বারা উপস্থাপিত হতে পারে, যেখানে শিখরগুলি উৎপাদকদের প্রতিনিধিত্ব করে এবং প্রান্তগুলি তাদের মধ্যে সম্পর্কগুলি এনকোড করে।টেমপ্লেট:Sfnp $n\ge 3$ এর জন্য, ${\tilde{S}}_n$ এর কক্সেটার–ডিনকিন ডায়াগ্রাম হল একটি [[সাইকেল গ্রাফ|টেমপ্লেট:Mvar-চক্র]] (যেখানে প্রান্তগুলি সন্নিহিত উৎপাদকদের মধ্যে সম্পর্কগুলিকে উপস্থাপন করে এবং অন্য উৎপাদকদের মধ্যে প্রান্তের অভাব নির্দেশ করে যে তারা একে অপরের সাথে আবদ্ধ), যখন $n=2$ এর জন্য এটি দুটি নোড নিয়ে গঠিত, যা একটি প্রান্ত দ্বারা যুক্ত এবং তার উপর $\mathrm{\infty }$ চিহ্নিত। টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

জ্যামিতিক সংজ্ঞা

যখন টেমপ্লেট:Math, তখন স্থান টেমপ্লেট:Mvar একটি দ্বিমাত্রিক সমতল এবং প্রতিফলনগুলি রেখার মাধ্যমে হয়। মূল ল্যাটিস টেমপ্লেট:Math-এর বিন্দুগুলি বৃত্তাবদ্ধ করা হয়েছে।

ইউক্লিডীয় স্থানে ${ℝ}^n$ এ $(x_1,\dots ,x_n)$ কোঅর্ডিনেট সহ, টেমপ্লেট:Mvar পয়েন্টগুলির সেট যার জন্য $x_1+x_2+\cdots +x_n=0$ একটি (হাইপার)প্লেন গঠন করে, একটি টেমপ্লেট:Math-মাত্রিক উপস্থান। প্রতিটি আলাদা উপাদান টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar এর জন্য $1,\dots ,n$ এবং প্রতিটি পূর্ণসংখ্যা টেমপ্লেট:Mvar, টেমপ্লেট:Mvar এর মধ্যে এমন পয়েন্টগুলির সেট যা $x_i-x_j=k$ পূর্ণ করে, টেমপ্লেট:Mvar এর মধ্যে একটি টেমপ্লেট:Math-মাত্রিক উপস্থান গঠন করে, এবং টেমপ্লেট:Mvar এর একটি অনন্য প্রতিফলন রয়েছে যা এই উপস্থানটি স্থির রাখে। তাহলে এফিন প্রতিসম গ্রুপ ${\tilde{S}}_n$ টেমপ্লেট:Mvar থেকে নিজে তার মধ্যে মানচিত্রের একটি সংগ্রহ হিসেবে জ্যামিতিকভাবে উপলব্ধি করা যেতে পারে, এই প্রতিফলনগুলির সংকলন। টেমপ্লেট:Sfnp টেমপ্লেট:Mvar এর মধ্যে, পূর্ণসংখ্যার সহিত সন্নিবেশিত বিন্দুগুলির উপসেট মূল গ্রিড টেমপ্লেট:Math গঠন করে। এটি সব পূর্ণসংখ্যা ভেক্টরগুলির সেট $(a_1,\dots ,a_n)$ যেমন $a_1+\cdots +a_n=0$।টেমপ্লেট:Sfnp প্রতিটি প্রতিফলন এই নেটটি সংরক্ষণ করে, এবং তাই পুরো গ্রুপ দ্বারা নেটটি সংরক্ষিত থাকে।টেমপ্লেট:Sfnp

এই প্রতিফলনের স্থির উপস্থানগুলি টেমপ্লেট:Mvar-কে একে অপরের সাদৃশ্যপূর্ণ সাম্প্লেক্স-এ বিভক্ত করে, যেগুলিকে আলকোভ বলা হয়।টেমপ্লেট:Sfnp যখন $n=3$ তখন পরিস্থিতিটি চিত্রে দেখানো হয়েছে; এই ক্ষেত্রে, রুট ল্যাটিস একটি ত্রিভুজাকার ল্যাটিস, প্রতিফলনকারী রেখাগুলি টেমপ্লেট:Mvar-কে সমবাহু ত্রিভুজ আলকোভে ভাগ করে, এবং রুটগুলি হলো ছয়টি ত্রিভুজ আলকোভ দ্বারা গঠিত অপর্যায়িত হেক্সাগনের কেন্দ্র। টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

অ্যাফাইন প্রতিসম গ্রুপের জন্য প্রতিফলন এবং অ্যালকভ। মৌলিক অ্যালকভটি ছায়াযুক্ত।

জ্যামিতিক এবং বীজগণিতীয় সংজ্ঞাগুলির মধ্যে অনুবাদ করতে, একটি আলকোভ নির্ধারণ করা হয় এবং তার সীমানা গঠনকারী টেমপ্লেট:Mvar হাইপারপ্লেনগুলি বিবেচনা করা হয়। এই সীমানা হাইপারপ্লেনগুলির মাধ্যমে প্রতিফলনগুলি কোসেটার জেনারেটরের সাথে চিহ্নিত করা যেতে পারে। বিশেষভাবে, একটি অনন্য আলকোভ (মৌলিক আলকোভ) রয়েছে যা এমন পয়েন্ট $(x_1,\dots ,x_n)$ নিয়ে গঠিত, যেখানে $x_1\ge x_2\ge \cdots \ge x_n\ge x_1-1$, যা হাইপারপ্লেনগুলি দ্বারা সীমানাবদ্ধ $x_1-x_2=0,$ $x_2-x_3=0,$ ..., এবং $x_1-x_n=1,$ $n=3$ ক্ষেত্রে চিত্রিত। $i=1,\dots ,n-1$ এর জন্য, $x_i-x_{i+1}=0$ এর মাধ্যমে প্রতিফলনকে কোসেটার জেনারেটর $s_i$ এর সাথে চিহ্নিত করা যেতে পারে, এবং $x_1-x_n=1$ এর মাধ্যমে প্রতিফলনকে জেনারেটর $s_0=s_n$ এর সাথে চিহ্নিত করা যেতে পারে। টেমপ্লেট:Sfnp

সম্মিলিত সংজ্ঞা

এফিন প্রতিসম গ্রুপের উপাদানগুলি পূর্ণসংখ্যার একটি আবর্তিত পারমুটেশন গ্রুপ হিসাবে বাস্তবায়িত হতে পারে। বিশেষত, বলুন যে একটি ফাংশন $u:\mathbb{Z}\to \mathbb{Z}$ একটি এফিন পারমুটেশন যদি

• এটি একটি বিজেকশন (প্রতিটি পূর্ণসংখ্যা একটি নির্দিষ্ট $x$ এর জন্য ঠিক একবার $u(x)$ এর মান হিসাবে উপস্থিত হয়),
• $u(x+n)=u(x)+n$ সকল পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য (ফাংশনটি $n$ দ্বারা স্থানান্তরের অধীনে ইকুইভেরিয়ান্ট) এবং
• $u(1)+u(2)+\cdots +u(n)=1+2+\cdots +n=\frac{n(n+1)}{2}$, $n$তম ত্রিভুজসংখ্যা।

প্রতিটি এফিন পারমুটেশন, এবং আরও সাধারণভাবে প্রতিটি শিফট-একুইভেরিয়েন্ট বায়েকশন, সংখ্যাগুলি $u(1),\dots ,u(n)$ অবশ্যই টেমপ্লেট:Mvar এর মডুলোর মধ্যে সব আলাদা হতে হবে। একটি এফিন পারমুটেশন তার উইন্ডো নোটেশন $[u(1),\dots ,u(n)]$ দ্বারা এককভাবে নির্ধারিত, কারণ $u$ এর অন্যান্য মান এই মানগুলিকে শিফট করে পাওয়া যেতে পারে। অতএব, এফিন পারমুটেশনগুলি এমন যুগল $[u(1),\dots ,u(n)]$ হিসাবে চিহ্নিত করা যেতে পারে যা টেমপ্লেট:Mvar এর প্রতিটি কংগ্রুয়েন্স ক্লাস থেকে একটি উপাদান ধারণ করে এবং $1+2+\cdots +n$ এর সমান যোগফল থাকে। টেমপ্লেট:Sfnp

কম্বিনেটোরিকাল এবং বীজগণিতিক সংজ্ঞাগুলির মধ্যে অনুবাদ করতে, $i=1,\dots ,n-1$ এর জন্য, কোসেটার জেনারেটর $s_i$ কে সেই এফিন পারমুটেশন হিসেবে চিহ্নিত করা যেতে পারে যার উইন্ডো নোটেশন $[1,2,\dots ,i-1,i+1,i,i+2,\dots ,n]$, এবং জেনারেটর $s_0=s_n$ কে $[0,2,3,\dots ,n-2,n-1,n+1]$ এফিন পারমুটেশন হিসেবে চিহ্নিত করা যেতে পারে। আরও সাধারণভাবে, প্রতিটি প্রতিফলন (অর্থাৎ, কোসেটার জেনারেটরের একটি কনজুগেট) এককভাবে এইভাবে বর্ণনা করা যেতে পারে: $1,\dots ,n$ এর মধ্যে স্বতন্ত্র পূর্ণসংখ্যা টেমপ্লেট:Mvar, টেমপ্লেট:Mvar এবং যে কোনো পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য, এটি টেমপ্লেট:Mvar কে টেমপ্লেট:Math মানচিত্রে টেমপ্লেট:Mvar কে, টেমপ্লেট:Mvar কে টেমপ্লেট:Math মানচিত্রে রূপান্তরিত করে, এবং সমস্ত ইনপুট যা টেমপ্লেট:Mvar বা টেমপ্লেট:Mvar এর সাথে মডুলো টেমপ্লেট:Mvar সম্মত নয়, সেগুলি অপরিবর্তিত রাখে। টেমপ্লেট:Sfnp

ম্যাট্রিক্স হিসেবে উপস্থাপনা

অ্যাফাইন পারমুটেশন [2, 0, 4] এর ম্যাট্রিক্স উপস্থাপনা, যেখানে 1 এর পরিবর্তে • এবং 0 বাদ দেওয়ার প্রথা অনুসরণ করা হয়েছে। সারি এবং কলামের লেবেল দেখানো হলো।

এফিন প্রতিসমগুলি অসীম পিরিয়ডিক পারমুটেশন ম্যাট্রিক্স হিসেবে উপস্থাপন করা যেতে পারে।টেমপ্লেট:Sfnp

যদি $u:\mathbb{Z}\to \mathbb{Z}$ একটি এফিন প্রতিসম হয়, তবে সংশ্লিষ্ট ম্যাট্রিক্সটি অসীম গ্রিড $\mathbb{Z}\times \mathbb{Z}$ এ $(i,u(i))$ অবস্থানে 1 এর মান থাকবে প্রতিটি পূর্ণসংখ্যার জন্য, এবং অন্যান্য সব মান 0 হবে। যেহেতু $u$ একটি বাইজেকশন, ফলে ফলস্বরূপ ম্যাট্রিক্সে প্রতিটি সারি এবং কলামে ঠিক একটি 1 থাকবে। $u$ মানচিত্রের পিরিয়ডিকিটি শর্ত নিশ্চিত করে যে, প্রতিটি $(a,b)$ অবস্থানে থাকা মানটি $(a+n,b+n)$ অবস্থানে থাকা মানের সমান হবে।টেমপ্লেট:Sfnp যেমন উদাহরণস্বরূপ, $[2,0,4]\in {\tilde{S}}_3$ এর জন্য একটি অংশিক ম্যাট্রিক্স চিত্রে দেখানো হয়েছে। সারি 1-এ, কলাম 2-এ একটি 1 আছে; সারি 2-এ, কলাম 0-এ একটি 1 আছে; এবং সারি 3-এ, কলাম 4-এ একটি 1 আছে। ঐ সারি এবং কলামগুলোর বাকি সব মান 0, এবং ম্যাট্রিক্সের অন্যান্য সমস্ত মান পিরিয়ডিকিটি শর্ত দ্বারা স্থির থাকে।

সসীম প্রতিসম গ্রুপের সাথে সম্পর্ক

এফিন প্রতিসম গ্রুপ ${\tilde{S}}_n$ সসীম প্রতিসম গ্রুপ $S_n$ কে অন্তর্ভুক্ত করে, যা $n$ উপাদানের পারমুটেশন দ্বারা গঠিত। এটি উভয়ই একটি উপগুচ্ছ এবং একটি ভগ্নাংশ গ্রুপ হিসেবে কাজ করে।টেমপ্লেট:Sfnp এই সংযোগগুলি এফিন প্রতিসম গ্রুপের সমন্বয় এবং জ্যামিতিক সংজ্ঞাগুলির মধ্যে একটি সরাসরি অনুবাদ সম্ভব করে।

একটি উপগ্রুপ হিসেবে

এফিন প্রতিসম গ্রুপ ${\tilde{S}}_n$ থেকে একটি সাবগ্রুপ নির্বাচন করার একটি প্রথাগত পদ্ধতি রয়েছে, যা সসামান্য প্রতিসম গ্রুপ $S_n$ এর সাথে সমরূপ। বীজগণিতীয় সংজ্ঞা অনুযায়ী, এটি $\tilde{S}n$ এর একটি সাবগ্রুপ, যা $s_1,\dots ,sn-1$ দ্বারা উৎপন্ন (সরল প্রতিফলন $s_0=s_n$ বাদে)। ভৌগোলিকভাবে, এটি সেই রূপান্তরের সাবগ্রুপের সাথে সম্পর্কিত যা উৎপত্তি বিন্দুকে রক্ষা করে, আর কম্বিনেটোরিক্যালভাবে এটি সেই উইন্ডো নোটেশনের সাথে সম্পর্কিত, যার জন্য $u(1),\dots ,u(n)=1,2,\dots ,n$ (অথবা, যেখানে উইন্ডো নোটেশনটি একটি সসামান্য প্রতিসম গ্রুপের একলাইন নোটেশন)। টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

যদি $u=[u(1),u(2),\dots ,u(n)]$ একটি মানক $S_n\subset \tilde{S}n$ এর উপাদানের উইন্ডো নোটেশন হয়, তবে এর টেমপ্লেট:Mvar তে ${ℝ}^n$ হাইপারপ্লেনে ক্রিয়া হলো সমন্বয়ের মাধ্যমে সন্নিবেশ করা: $(x_1,x_2,\dots ,x_n)\cdot u=(xu(1),x_{u(2)},\dots ,x_{u(n)})$।টেমপ্লেট:Sfnp (এই প্রবন্ধে, পারমিউটেশন এবং এফিন পারমিউটেশনগুলির ভূগোলিক ক্রিয়া ডান দিকে হয়; অতএব, যদি টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar দুটি এফিন পারমিউটেশন হয়, তবে একটি বিন্দুর উপর টেমপ্লেট:Math এর ক্রিয়া প্রথমে টেমপ্লেট:Mvar প্রয়োগ করার পর, তারপর টেমপ্লেট:Mvar প্রয়োগ করার মাধ্যমে দেওয়া হয়।)

এছাড়াও $S_n$-এর অনেক অ-মানক কপি ${\tilde{S}}_n$-এর মধ্যে রয়েছে। একটি ভূগোলিক নির্মাণ হলো $\mathrm{\Lambda }$ তে কোনো একটি বিন্দু টেমপ্লেট:Mvar বেছে নেওয়া (অর্থাৎ, একটি পূর্ণসংখ্যার ভেক্টর যার সমন্বয় 0-এ যোগফল হয়); $({\tilde{S}}_n{)}_a$ সাবগ্রুপ যা ${\tilde{S}}_n$-এর ইজোমেট্রি-গুলি নিয়ে গঠিত এবং যা টেমপ্লেট:Mvar-কে স্থির রাখে, তা $S_n$-এর সাথে সমরূপ।টেমপ্লেট:Sfnp

ভাগফল হিসেবে

একটি সাধারণ মানচিত্র (প্রকৃতপক্ষে, একটি সার্জেকটিভ গ্রুপ হোমোমরফিজম) টেমপ্লেট:Mvar রয়েছে যা ${\tilde{S}}_n$ কে সীমিত সিমেট্রিক গ্রুপ $S_n$ তে ম্যাপ করে। সংমিশ্রণগত সংজ্ঞা অনুসারে, একটি অ্যাফাইন পারমিউটেশনকে একটি পারমিউটেশনে ম্যাপ করা যায় উইন্ডো এন্ট্রিগুলিকে মডুলো টেমপ্লেট:Mvar এর উপাদানে হ্রাস করে, যার ফলে একটি পারমিউটেশনের একলাইন নোটেশন রেখে দেওয়া হয়।টেমপ্লেট:Sfnp এই প্রবন্ধে, একটি অ্যাফাইন পারমিউটেশনের টেমপ্লেট:Mvar ছবি $\pi (u)$ কে টেমপ্লেট:Mvar এর অধীন পারমিউটেশন বলা হয়।

মানচিত্র টেমপ্লেট:Mvar কক্সেটর জেনারেটর $s_0=[0,2,3,4,\dots ,n-2,n-1,n+1]$ কে সেই পারমিউটেশনে পাঠায়, যার একলাইন নোটেশন এবং সাইকেল নোটেশন যথাক্রমে $[n,2,3,4,\dots ,n-2,n-1,1]$ এবং $(1;n)$। টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

টেমপ্লেট:Mvar এর কর্ণেল সংজ্ঞা অনুযায়ী, এটি সেই আফাইন পারমিউটেশনগুলির সেট, যার অধীনস্থ পারমিউটেশন হল ঐক্য। এমন আফাইন পারমিউটেশনগুলির উইন্ডো নোটেশনগুলি $[1-a_1\cdot n,2-a_2\cdot n,\dots ,n-a_n\cdot n]$ আকারে থাকে, যেখানে $(a_1,a_2,\dots ,a_n)$ একটি পূর্ণসংখ্যা ভেক্টর যা $a_1+a_2+\dots +a_n=0$, অর্থাৎ যেখানে $(a_1,\dots ,a_n)\in \mathrm{\Lambda }$। জ্যামিতিকভাবে, এই কর্ণেলটি অনুবাদগুলি গঠিত, যে গুলি সম্পূর্ণ টেমপ্লেট:Mvar স্থানটি ঘুরানো বা প্রতিফলিত না করেই স্থানান্তরিত করে। টেমপ্লেট:Sfnp একটি লিখনগত ভুল হিসাবে, এই প্রবন্ধে চিহ্ন টেমপ্লেট:Math ব্যবহার করা হয় এই তিনটি সেটের জন্য (টেমপ্লেট:Mvar-এর পূর্ণসংখ্যার ভেক্টর, আফাইন পারমিউটেশনগুলির অধীনস্থ পারমিউটেশন যা ঐক্য, এবং অনুবাদ); এই তিনটি পরিবেশে, প্রাকৃতিক গ্রুপ অপারেশন টেমপ্লেট:Math-কে একটি অ্যাবেলিয়ান গ্রুপে পরিণত করে, যা টেমপ্লেট:Math ভেক্টর $(1,-1,0,\dots ,0),(0,1,-1,\dots ,0),\dots ,(0,\dots ,0,1,-1)$ দ্বারা স্বাধীনভাবে উৎপন্ন। টেমপ্লেট:Sfnp

জ্যামিতিক এবং সম্মিলিত সংজ্ঞার মধ্যে সংযোগ

অ্যাফাইন পারমুটেশন দ্বারা লেবেলযুক্ত ${\tilde{S}}_3$-এর জন্য অ্যালকভ। একটি অ্যালকভ টেমপ্লেট:Mvar একটি পারমুটেশন টেমপ্লেট:Mvar-এর উইন্ডো নোটেশন দ্বারা লেবেল করা হয় যদি টেমপ্লেট:Mvar মৌলিক অ্যালকভকে (ছায়াযুক্ত) টেমপ্লেট:Mvar-তে পাঠায়। ঋণাত্মক সংখ্যাগুলিকে ওভারবার দ্বারা চিহ্নিত করা হয়।

আফাইন সিমেট্রিক গ্রুপ ${\tilde{S}}_n$ টেমপ্লেট:Math কে একটি স্বাভাবিক উপগ্রুপ হিসেবে ধারণ করে, এবং এটি সেমিডিরেক্ট প্রোডাক্ট $${\tilde{S}}_n\cong S_n⋉\mathrm{\Lambda }$$-এর সমমূর্তি, যেখানে $S_n$-এর টেমপ্লেট:Math-এর উপর ক্রিয়া হল সমন্বয়গুলির পারমিউটেশন দ্বারা। অতএব, ${\tilde{S}}_n$-এর প্রতিটি উপাদান টেমপ্লেট:Mvar এর একটি অনন্য বাস্তবায়ন রয়েছে যা একটি গুণফল হিসাবে প্রকাশ করা যায় $u=r\cdot t$, যেখানে $r$ হল $S_n$-এর মানক কপি থেকে একটি পারমিউটেশন এবং $t$ হল টেমপ্লেট:Math-এর একটি অনুবাদ। টেমপ্লেট:Sfnp

এই দৃষ্টিভঙ্গি $\tilde{S}n$ এর সম্মিলিত এবং জ্যামিতিক সংজ্ঞাগুলির মধ্যে সরাসরি অনুবাদ করার সুযোগ দেয়: যদি কেউ লিখে $[u(1),\dots ,u(n)]=[r_1-a_1\cdot n,\dots ,r_n-a_n\cdot n]$, যেখানে $r=[r_1,\dots ,r_n]=\pi (u)$ এবং $(a_1,a_2,\dots ,a_n)\in \mathrm{\Lambda }$, তবে অ্যাফাইন পারমিউটেশন টেমপ্লেট:Mvar সংশ্লিষ্ট সাদৃশ্যগত গতি টেমপ্লেট:Mvar দ্বারা সংজ্ঞায়িত করা হয় টেমপ্লেট:Sfnp $$(x_1,\dots ,x_n)\cdot u=(xr(1)+a_1,\dots ,x_{r(n)}+a_n).$$

তদুপরি, প্রতিটি অ্যাফাইন কক্সটার গ্রুপের মতো, অ্যাফাইন সিমেট্রিক গ্রুপ ট্রানসিটিভভাবে এবং ফ্রি গ্রুপ অ্যাকশন দ্বারা অ্যালকোভগুলির সেটে কার্যকর হয়: প্রতি দুটি অ্যালকোভের জন্য, একটি অনন্য গ্রুপ উপাদান এক অ্যালকোভকে অন্যটিতে পরিণত করে।টেমপ্লেট:Sfnp অতএব, একটি অবাধ অ্যালকোভ $A_0$ বেছে নেওয়া গ্রুপকে অ্যালকোভগুলির একে অপরের সাথে সম্পর্কিত করে: পরিচিতি উপাদান $A_0$ এর সাথে সম্পর্কিত এবং অন্যান্য প্রতিটি গ্রুপ উপাদান টেমপ্লেট:Mvar সম্পর্কিত অ্যালকোভ $A=A_0\cdot g$ এর সাথে যা $A_0$ চিত্র $g$ এর অ্যাকশনের অধীনে। টেমপ্লেট:Sfnp

উদাহরণ: টেমপ্লেট:Math

অ্যাফাইন প্রতিসম গ্রুপ ${\tilde{S}}_2$ ইউক্লিডীয় সমতলে রেখা টেমপ্লেট:Mvar-এর উপর কাজ করে। প্রতিফলনগুলি ড্যাশযুক্ত রেখাগুলির মাধ্যমে হয়। মূল ল্যাটিস টেমপ্লেট:Math-এর ভেক্টরগুলি চিহ্নিত করা হয়েছে।

গণিতগতভাবে ${\tilde{S}}_2$ হলো অসীম দিহেড্রাল গ্রুপ, যা দুটি উৎপাদক $s_0,s_1$ দ্বারা উৎপন্ন, এবং সম্পর্কগুলি হলো $s_0^2=s_1^2=1$।টেমপ্লেট:Sfnp গ্রুপের প্রতিটি অন্যান্য উপাদান $s_0$ এবং $s_1$ এর কপি দ্বারা একটি পরিবর্তনশীল গুণফল হিসেবে লেখা যেতে পারে।টেমপ্লেট:Sfnp

সম্মিলিতভাবে, এফিন পারমিউটেশন $s_1$ এর উইন্ডো নোটেশন হলো $[2,1]$, যা প্রতিটি পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য $2k\mapsto 2k-1,2k-1\mapsto 2k$ বিজেকশনটির সাথে সম্পর্কিত। এফিন পারমিউটেশন $s_0$ এর উইন্ডো নোটেশন হলো $[0,3]$, যা প্রতিটি পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য $2k\mapsto 2k+1,2k+1\mapsto 2k$ বিজেকশনটির সাথে সম্পর্কিত। অন্যান্য উপাদানগুলির উইন্ডো নোটেশনগুলি হলো:

$\begin{array}{cc}\stackrel{2k\text{ factors}}{\overbrace{s_0{s}_1\cdots s_0{s}_1}}& =[1+2k,2-2k],\\ \stackrel{2k\text{ factors}}{\overbrace{s_1{s}_0\cdots s_1{s}_0}}& =[1-2k,2+2k],\\ \stackrel{2k+1\text{ factors}}{\overbrace{s_0{s}_1\cdots s_0}}& =[2+2k,1-2k],\\ \stackrel{2k+1\text{ factors}}{\overbrace{s_1{s}_0\cdots s_1}}& =[2-2(k+1),1+2(k+1)].\end{array}$

জ্যামিতিকভাবে, টেমপ্লেট:Mvar স্থানটি যাহাতে ${\tilde{S}}_2$ কাজ করে তা একটি রৈখিক স্থান, যেখানে অসীম সংখ্যক সমানভাবে স্পেসড প্রতিফলন রয়েছে।টেমপ্লেট:Sfnp যতটুকু বলেছি, ${\tilde{S}}_2$ যা কাজ করে এমন স্থান টেমপ্লেট:Mvar একটি রৈখিক স্থান, যেখানে অসীম সংখ্যক সমানভাবে স্পর্শক বিন্দু রয়েছে। এটি স্বাভাবিকভাবে রৈখিক স্থান টেমপ্লেট:Mvar-কে বাস্তব রেখা ${ℝ}^1$ এর সাথে সংযুক্ত করা যেতে পারে, যেখানে $s_0$ বিন্দু টেমপ্লেট:Math এর চারপাশে প্রতিবিম্ব এবং $s_1$ বিন্দু টেমপ্লেট:Math এর চারপাশে প্রতিবিম্ব। এই ক্ষেত্রে, প্রতিবিম্ব $(s_0{s}_1{)}^k{s}_0$ বিন্দু টেমপ্লেট:Math এর চারপাশে প্রতিবিম্বিত করে যেকোনো পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য, $s_0{s}_1$ এর সমন্বয় রেখাকে টেমপ্লেট:Math দ্বারা স্থানান্তরিত করে এবং $s_1{s}_0$ এর সমন্বয় রেখাকে টেমপ্লেট:Math দ্বারা স্থানান্তরিত করে।টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

বিন্যাস পরিসংখ্যান ও বিন্যাস ধরন

অনেক বিন্যাস পরিসংখ্যান এবং সীমানাবদ্ধ বিন্যাসের যৌগিকতার অন্যান্য বৈশিষ্ট্যগুলো এফিন পরিস্থিতিতে সম্প্রসারিত হতে পারে। টেমপ্লেট:Sfnp

অবতরণ, দৈর্ঘ্য, এবং বিপরীতক্রম

একটি কক্সেটার গ্রুপ টেমপ্লেট:Mvar এর একটি উপাদান টেমপ্লেট:Mvar এর দৈর্ঘ্য $\ell (g)$ হলো সর্বনিম্ন সংখ্যা টেমপ্লেট:Mvar, যাতে টেমপ্লেট:Mvar কে টেমপ্লেট:Mvar টি কক্সেটার উৎপাদক $g=s_{i_1}\cdots s_{i_k}$ হিসাবে লিখা যেতে পারে।টেমপ্লেট:Sfnp জ্যামিতিকভাবে, $\tilde{S}n$ এর একটি উপাদান টেমপ্লেট:Mvar এর দৈর্ঘ্য হলো সেই প্রতিফলিত হাইপারপ্লেনগুলির সংখ্যা যা $A_0$ এবং $A_0\cdot g$ কে আলাদা করে, যেখানে $A_0$ হলো মৌলিক এলকোভ (যা কক্সেটার উৎপাদক $s_0,s_1,\dots ,sn-1$ দ্বারা সীমানাবদ্ধ একটি সিম্পলেক্স)। টেমপ্লেট:Efn টেমপ্লেট:Sfnp যতটুকু গণনা করা যায়, একটি অভ্যন্তরীণ পরিবর্তনশীলতার দৈর্ঘ্য বিপরীততার একটি উপযুক্ত ধারণার মাধ্যমে সংকেতিত হয়: একটি অভ্যন্তরীণ পরিবর্তনশীলতার জন্য টেমপ্লেট:Mvar, দৈর্ঘ্য হলো টেমপ্লেট:Sfnp $$\ell (u)=\mathrm{\#}\{(i,j):i\in \{1,\dots ,n\},j\in \mathbb{Z},i<j,\text{ and }u(i)>u(j)\}.$$ অথবা, এটি সমতুল্য বর্গের সংখ্যা যা $(i,j)\in \mathbb{Z}\times \mathbb{Z}$ এর জন্য, যেখানে $i<j$ এবং $u(i)>u(j)$, এবং সমতুল্য সম্পর্ক অনুযায়ী $(i,j)\equiv (i^{\prime },j^{\prime })$ যদি $(i-i^{\prime },j-j^{\prime })=(kn,kn)$ কোনও পূর্ণসংখ্যার জন্য টেমপ্লেট:Mvar। দৈর্ঘ্যের জন্য জেনারেটিং ফাংশন ${\tilde{S}}_n$ হলো টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp $$\sum _{g\in {\tilde{S}}_n}{q}^{\ell (g)}=\frac{1-q^n}{(1-q{)}^n}.$$ এছাড়াও, বিন্যাসে পতন এর একটি এফিন রূপ রয়েছে: একটি এফিন বিন্যাসে টেমপ্লেট:Mvar অবস্থানের পতন হয়ে থাকে যদি টেমপ্লেট:Mvar $u(i)>u(i+1)$।

অনুরূপভাবে, বিন্যাসে অবতরণের একটি অভিক্ষিপ্ত সদৃশ রূপ রয়েছে: একটি অভিক্ষিপ্ত বিন্যাস। টেমপ্লেট:Mvar একটি অভিক্ষিপ্ত বিন্যাসে যদি $u(i)>u(i+1)$ হয়, তবে অবস্থান টেমপ্লেট:Mvar এ একটি অবতরণ থাকে। (আবর্তনশীলতার কারণে, টেমপ্লেট:Mvar-এর অবস্থান টেমপ্লেট:Mvar তে একটি অবতরণ থাকবে যদি এবং কেবল যদি সকল পূর্ণসংখ্যার টেমপ্লেট:Mvar এর জন্য $i+kn$ অবস্থানেও অবতরণ থাকে।) বীজগাণিতিকভাবে, অবতরণগুলি কক্সেটার গোষ্ঠীর দৃষ্টিকোণ থেকে ‘‘ডানদিকের অবতরণ’’ এর সাথে সম্পর্কিত; অর্থাৎ, টেমপ্লেট:Mvar হল টেমপ্লেট:Mvar-এর একটি অবতরণ যদি এবং কেবল যদি $\ell (u\cdot s_i)<\ell (u)$.টেমপ্লেট:Sfnp বামদিকের অবতরণ (অর্থাৎ, সেই সূচক টেমপ্লেট:Mvar যার জন্য $\ell (s_i\cdot u)<\ell (u)$) হল বিপরীত অভিক্ষিপ্ত বিন্যাস $u^{-1}$-এর অবতরণ। সমতুল্যভাবে, এগুলি সেই মান টেমপ্লেট:Mvar যেগুলি টেমপ্লেট:Mvar থেকে পূর্বে টেমপ্লেট:Math অবস্থান নেয় ধারাবাহিকতায়: $\dots ,u(-2),u(-1),u(0),u(1),u(2),\dots$.টেমপ্লেট:Sfnp জ্যামিতিকভাবে, টেমপ্লেট:Mvar তখনই এবং শুধুমাত্র তখনই টেমপ্লেট:Mvar-এর একটি অবতরণ হবে যদি $s_i$-এর স্থির সমতল $A_0$ এবং $A_0\cdot u$ এর মধ্যবর্তী অঞ্চলকে বিভক্ত করে। টেমপ্লেট:Sfnp

যেহেতু অভিক্ষিপ্ত বিন্যাসের অবতরণ সংখ্যার জন্য প্রতিসম সংখ্যক সম্ভাবনা রয়েছে, কিন্তু অভিক্ষিপ্ত বিন্যাস অসীম সংখ্যক, তাই অবতরণ সংখ্যার ভিত্তিতে অভিক্ষিপ্ত বিন্যাসের জন্য একটি উৎপাদক ফাংশন সরলভাবে গঠন করা সম্ভব নয় (যা ঐলারীয় বহুপদীগুলির একটি অভিক্ষিপ্ত সদৃশ রূপ)। টেমপ্লেট:Sfnp একটি সম্ভাব্য সমাধান হলো সীমিত প্রতিসম গ্রুপ $S_n$-এর মধ্যে অভিক্ষিপ্ত অবতরণ (সমতুল্যভাবে, আবর্তিত অবতরণ) বিবেচনা করা। টেমপ্লেট:Sfnp এর আরেকটি সম্ভাব্য পদ্ধতি হলো অভিক্ষিপ্ত বিন্যাসের দৈর্ঘ্য এবং অবতরণের সংখ্যা একসঙ্গে বিবেচনা করা। সীমিত প্রতিসম গ্রুপ ${\tilde{S}}_n$-এর জন্য এই পরিসংখ্যানগুলোর বহুচর উৎপাদক ফাংশন একসঙ্গে সমস্ত টেমপ্লেট:Mvar এর জন্য প্রকাশ করা হয়: $$\sum _{n\ge 1}\frac{x^n}{1-q^n}\sum _{w\in {\tilde{S}}_n}{t}^{\mathrm{des}(w)}{q}^{\ell (w)}={\left[\frac{x\cdot \frac{\partial }{\partial x}\log (\exp (x;q))}{1-t\exp (x;q)}\right]}_{x\mapsto x\frac{1-t}{1-q}}$$ যেখানে টেমপ্লেট:Math হলো অভিক্ষিপ্ত বিন্যাস টেমপ্লেট:Mvar-এর অবতরণের সংখ্যা এবং $\exp (x;q)=\sum _{n\ge 0}\frac{x^n(1-q{)}^n}{(1-q)(1-q^2)\cdots (1-q^n)}$ হচ্ছে টেমপ্লেট:Mvar-সূচকীয় ফাংশন। টেমপ্লেট:Sfnp

চক্রের ধরন এবং প্রতিফলন দৈর্ঘ্য

যেকোনো দ্বৈতএকসংকেতী প্রতিফলন $u:\mathbb{Z}\to \mathbb{Z}$ পূর্ণসংখ্যাগুলিকে (সম্ভাব্য অসীম) চক্রের একটি তালিকায় বিভক্ত করে। প্রতিটি পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য, টেমপ্লেট:Mvar-কে ধারণকারী চক্রটি হলো $(\dots ,u^{-2}(i),u^{-1}(i),i,u(i),u^2(i),\dots )$ যেখানে সূচকীয় রূপান্তর ফাংশনীয় সংযোজন নির্দেশ করে।

একটি অভিক্ষিপ্ত বিন্যাস টেমপ্লেট:Mvar এর জন্য, নিম্নলিখিত শর্তগুলি একে অপরের সমান: টেমপ্লেট:Mvar-এর সমস্ত চক্র সসীম টেমপ্লেট:Mvar-এর সসীম অর্ডার আছে,এবং টেমপ্লেট:Mvar-এর ভৌত ক্রিয়া টেমপ্লেট:Mvar-এ কমপক্ষে একটি স্থির বিন্দু আছে। টেমপ্লেট:Sfnp

একটি উপাদান টেমপ্লেট:Mvar এর "প্রতিচ্ছবি দৈর্ঘ্য" ${\ell }_R(u)$ হলো সর্বনিম্ন সংখ্যা টেমপ্লেট:Mvar, এমন যে সেখানে প্রতিচ্ছবিগুলি $r_1,\dots ,r_k$ আছে, যাতে $u=r_1\cdots r_k$ হয়। (প্রতিসম গ্রুপে, প্রতিচ্ছবি হলো স্থানান্তর, এবং একটি বিন্যাস টেমপ্লেট:Mvar-এর প্রতিচ্ছবি দৈর্ঘ্য হলো $n-c(u)$, যেখানে $c(u)$ হলো টেমপ্লেট:Mvar-এর চক্রের সংখ্যা।)টেমপ্লেট:Sfnp টেমপ্লেট:Harv, অভিক্ষিপ্ত বিন্যাস টেমপ্লেট:Mvar এর জন্য নিম্নলিখিত সূত্র প্রমাণিত হয়েছে: টেমপ্লেট:Mvar-এর প্রতিটি চক্রের জন্য, ওজন হিসেবে সংজ্ঞায়িত করা হয়েছে সেই পূর্ণসংখ্যা k যা এমনভাবে সংজ্ঞায়িত হয় যে, পরপর তালিকাভুক্ত এন্ট্রিগুলি টেমপ্লেট:Mvar মডুলো অনুযায়ী কংগ্রুয়েন্ট থাকলেও তারা ঠিক টেমপ্লেট:Math দ্বারা পার্থক্য করে। টেমপ্লেট:Mvar-এর চক্রের ওজনগুলির একটি যুগ্ম তৈরি করুন (একই চক্রের অনুবাদগুলি টেমপ্লেট:Mvar-এর গুণফল দ্বারা শুধুমাত্র একবার গননা করা হবে), এবং শূন্যতা $\nu (u)$ সংজ্ঞায়িত করুন সেই যুগ্মের সর্বনিম্ন সেট বিভাজন হিসেবে, যাতে প্রতিটি অংশের যোগফল 0 হয়। তাহলে, টেমপ্লেট:Mvar-এর প্রতিচ্ছবি দৈর্ঘ্য হলো $${\ell }_R(u)=n-2\nu (u)+c(\pi (u)),$$ যেখানে $\pi (u)$ হলো টেমপ্লেট:Mvar-এর অন্তর্নিহিত বিন্যাস।টেমপ্লেট:Sfnp

প্রতিটি অভিক্ষিপ্ত বিন্যাস টেমপ্লেট:Mvar-এর জন্য, এমন একটি উপগোষ্ঠী টেমপ্লেট:Mvar নির্বাচন করা হয় ${\tilde{S}}_n$ -এর যা $W\cong S_n$, ${\tilde{S}}_n=W⋉\mathrm{\Lambda }$, এবং এই সেমিডাইরেক্ট প্রোডাক্ট দ্বারা যা মানানসই মানক রূপ $u=w\cdot t$ এবং এই আধা-প্রত্যক্ষ পণ্য দ্বারা যা মানানসই মানক রূপ $u=w\cdot t$ নির্দেশিত হয়, প্রতিচ্ছবি দৈর্ঘ্যগুলো যোগফলযোগ্য, অর্থাৎ, ${\ell }_R(u)={\ell }_R(w)+{\ell }_R(t)$। টেমপ্লেট:Sfnp

সম্পূর্ণরূপে বিনিময়যোগ্য উপাদান এবং প্যাটার্ন পরিহার

একটি কক্সেটার গ্রুপের উপাদান টেমপ্লেট:Mvar-এর জন্য একটি হ্রাসকৃত শব্দ হলো $(s_{i_1},\dots ,s_{i_{\ell (g)}})$ এর একটি যুগ্ম যা কক্সেটার উৎপাদকদের সর্বনিম্ন সম্ভব দৈর্ঘ্যের, এমনভাবে যে $g=s_{i_1}\cdots s_{i_{\ell (g)}}$। টেমপ্লেট:Sfnp টেমপ্লেট:Mvar উপাদানটি সম্পূর্ণভাবে আদান-প্রদানযোগ্য বলা হয় যদি কোন হ্রাসকৃত শব্দটি যেকোনো অন্য শব্দে পরিণত হতে পারে শুধুমাত্র যেসব উপাদান একে অপরের সাথে আদান-প্রদান করে, তাদের জোড়াগুলি একে অপরের সাথে স্থানান্তরিত করে।টেমপ্লেট:Sfnp উদাহরণস্বরূপ, সমাপ্ত প্রতিসম গ্রুপ $S_4$ -এ, উপাদান $2143=(12)(34)$ সম্পূর্ণভাবে আদান-প্রদানযোগ্য, কারণ এর দুটি হ্রাসকৃত শব্দ $(s_1,s_3)$ এবং $(s_3,s_1)$ একে অপরের সাথে আদান-প্রদান করে স্থানান্তরিত করা যায়, কিন্তু $4132=(142)(3)$ সম্পূর্ণভাবে আদান-প্রদানযোগ্য নয়, কারণ $(s_2,s_3,s_2,s_1)$ থেকে $(s_3,s_2,s_3,s_1)$ হ্রাসকৃত শব্দে পৌঁছানোর জন্য কোন আদান-প্রদান সম্ভব নয়।টেমপ্লেট:Sfnp

টেমপ্লেট:Harvtxt প্রমাণিত হয়েছে যে,প্রতিসম গ্রুপ $S_n$ এ, একটি পারমুটেশন সম্পূর্ণভাবে কমিউটেটিভ হলে এবং কেবল তখনই যদি এটি পারমুটেশন প্যাটার্ন 321 থেকে বিরত থাকে, অর্থাৎ, এর এক-লাইন নোটেশনটিতে কোনো তিন-টার্ম ডিক্রিজিং সাবসিকোয়েন্স না থাকে। টেমপ্লেট:Harv-এ এই ফলাফলটি অ্যাফাইন পারমুটেশনগুলিতে সম্প্রসারিত করা হয়েছে: একটি অ্যাফাইন পারমুটেশন টেমপ্লেট:Mvar সম্পূর্ণভাবে কমিউটেটিভ হয় যদি এবং শুধুমাত্র যদি এমন কোনো পূর্ণসংখ্যা টেমপ্লেট:Mvar, টেমপ্লেট:Mvar, এবং টেমপ্লেট:Mvar না থাকে, যাদের জন্য $u(i)>u(j)>u(k)$। টেমপ্লেট:Efnটেমপ্লেট:Sfnp

যে কোনো একক প্যাটার্ন টেমপ্লেট:Mvar পরিহারকারী এফিন প্রতিসমের সংখ্যা সসীম হয় যদি এবং শুধু যদি টেমপ্লেট:Mvar 321 প্যাটার্নটি পরিহার করে,টেমপ্লেট:Sfnp অতএব, বিশেষ করে, অনন্ত সংখ্যক পুরোপুরি কমিউটেটিভ এফিন প্রতিসম রয়েছে। এগুলি দৈর্ঘ্য অনুসারে গণনা করা হয়েছে টেমপ্লেট:Harv।

প্যারাবলিক উপগ্রুপ এবং অন্যান্য গঠন

${\tilde{S}}_n$ এর পরাবৃত্তি উপগোষ্ঠীসমূহ এবং তাদের অংশ প্রতিনিধিগুলি একটি সমৃদ্ধ গাণিতিক কাঠামো প্রদান করে। প্রতিসম গ্রুপের অন্যান্য দিক যেমন তাদের ব্রুহাত আদেশ এবং প্রতিনিধিত্ব তত্ত্বও গাণিতিক পদ্ধতিসমূহের মাধ্যমে বোঝা যেতে পারে। টেমপ্লেট:Sfnp

প্যারাবলিক উপগ্রুপ, অংশ প্রতিনিধি

এফিম পেরমুটেশন [-5, 0, 6, 9] এর ব্যাকাস চিত্র]

একটি মানক প্যারাবোলিক উপগ্রিুপ যা একটি কক্সেটার গ্রুপ এর একটি উপগ্রুপ, এটি তার কক্সেটার উত্পাদক সেটের একটি উপসেট দ্বারা উত্পন্ন একটি উপগ্রুপ।টেমপ্লেট:Sfnp এফিম প্রতিসম গ্রুপের সর্বাধিক প্যারাবোলিক উপগ্রুপগুলো সেগুলি, যা একটি একক কক্সেটার উত্পাদক বাদ দিয়ে আসে ${\tilde{S}}_n$ তে, সব সর্বাধিক প্যারাবোলিক উপগ্রুপ $S_n$ সীমিত প্রতিসম গ্রুপের সমরূপ। উপগোষ্ঠীটি যা উপসেট $\{s_0,\dots ,s_{n-1}\}\setminus \{s_i\}$ দ্বারা উত্পন্ন, এটি এমন সমস্ত এফিম পেরমুটেশন নিয়ে গঠিত যা সেগুলি স্থির রাখে অন্তর্বর্তীকালীন $[i+1,i+n]$, অর্থাৎ, যেগুলি এই অন্তর্বর্তীকালীন প্রতিটি উপাদানকে অন্তর্বর্তীকালীন অন্য উপাদানে মানচিত্র করে।টেমপ্লেট:Sfnp

একটি স্থির উপাদান টেমপ্লেট:Mvar যার মান $0,\dots ,n-1$ এর জন্য, ধরা যাক $J=s_0,\dots ,s_{n-1}\setminus s_i$ কক্সেটার উত্পাদকগুলির সর্বাধিক সঠিক উপসেট যা $s_i$ বাদ দিয়ে আসে, এবং $({\tilde{S}}_n{)}_J$ দ্বারা প্রকাশিত প্যারাবোলিক উপগোষ্ঠীটি বোঝানো হয় যা টেমপ্লেট:Mvar দ্বারা উত্পন্ন। প্রতিটি $g\cdot ({\tilde{S}}_n{)}_J$ এর একটি স্বতন্ত্র উপাদান রয়েছে যার দীর্ঘতায় সর্বনিম্ন মান। এমন প্রতিনিধিদের সংগ্রহ, যা $({\tilde{S}}_n{)}^J$ দ্বারা প্রকাশিত, নিম্নলিখিত এফিম পেরমুটেশনগুলি নিয়ে গঠিত: টেমপ্লেট:Sfnp $$({\tilde{S}}_n{)}^J=\{u\in {\tilde{S}}_n:u(i-n+1)<u(i-n+2)<\cdots <u(i-1)<u(i)\}.$$

বিশেষ ক্ষেত্রে যেখানে $J=s_1,\dots ,s_{n-1}$, তাহলে $({\tilde{S}}_n{)}_J\cong S_n$ হলো $S_n$ এর একটি মানক অনুলিপি ${\tilde{S}}_n$ এর মধ্যে, $({\tilde{S}}_n{)}^J\cong {\tilde{S}}_n/S_n$ এর উপাদানগুলি প্রাকৃতিকভাবে ব্যাকাস চিত্র দ্বারা উপস্থাপিত হতে পারে: পূর্ণসংখ্যাগুলি একটি অসীম স্ট্রিপে টেমপ্লেট:Mvar প্রস্থে সাজানো থাকে, যা সারিতে ধারাবাহিকভাবে বাড়তে থাকে এবং তারপর উপরে থেকে নিচে চলে; পূর্ণসংখ্যাগুলি বৃত্তাকৃত হয় যদি সেগুলি মিনিমাম কোসেট প্রতিনিধির জানালা প্রবেশদ্বারের সঠিক উপরে থাকে।যেমন উদাহরণস্বরূপ, ন্যূনতম কোসেট প্রতিনিধি $u=[-5,0,6,9]$ সঠিক ব্যাকাস চিত্র দ্বারা ডানদিকে উপস্থাপিত হয়েছে। ব্যাকাস চিত্র থেকে প্রতিনিধি এর দৈর্ঘ্য হিসাব করতে, প্রতিটি সারিতে শেষ বৃত্তাকৃত উপাদানের থেকে ছোট যেসব বৃত্তহীন সংখ্যা আছে, সেগুলির মোট যোগফল করা হয়। (দেখানো উদাহরণে, এটি $5+3+0+1=9$ প্রদান করে।) টেমপ্লেট:Sfnp

${\tilde{S}}_n/S_n$এর জন্য অন্যান্য সংমিশ্রণ মডেলগুলি কোর পার্টিশন (যে পূর্ণসংখ্যা বিভাজনগুলিতে কোনো হুক দৈর্ঘ্য টেমপ্লেট:Mvar দ্বারা বিভাজ্য নয়) বা সীমানিত পার্টিশন (পূর্ণসংখ্যা বিভাজন যেখানে কোনো অংশ টেমপ্লেট:Mvar − 1 এর চেয়ে বড় নয়) এর মাধ্যমে প্রদান করা যেতে পারে। এই সম্বন্ধের অধীনে, এটি প্রমাণ করা যায় যে দুর্বল ব্রুহাত আদেশ ${\tilde{S}}_n/S_n$ এর উপর একটি নির্দিষ্ট উপগোষ্ঠীর সমরূপ যা ইয়ং-এর স্তম্ভ এর একটি উপ-অংশের সমান। টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

ব্রুহাট ক্রম

ব্রুহাট ক্রম${\tilde{S}}_n$ এর উপর নিম্নলিখিত সংমিশ্রণমূলক বাস্তবায়ন রয়েছে। যদি টেমপ্লেট:Mvar একটি এফিম পেরমুটেশন হয় এবং টেমপ্লেট:Mvar এবং টেমপ্লেট:Mvar পূর্ণসংখ্যা হয়, তবে সংজ্ঞায়িত করা হয় $u[i,j]$ যে সংখ্যাটি টেমপ্লেট:Mvar এর সমষ্টি, যাতে $a\le i$ এবং $u(a)\ge j$। (যেমন, $u=[2,0,4]\in {\tilde{S}}_3$ হলে, $u[3,1]=3$: তিনটি প্রাসঙ্গিক মান হল $a=0,1,3$, যেগুলি যথাক্রমে টেমপ্লেট:Mvar দ্বারা 1, 2 এবং 4 তে মানচিত্রিত হয়।) তারপর, দুটি এফিম পেরমুটেশন টেমপ্লেট:Mvar, টেমপ্লেট:Mvar এর জন্য, $u\le v$ হবে ব্রুহাত আদেশে যদি এবং শুধুমাত্র যদি $u[i,j]\le v[i,j]$ সমস্ত পূর্ণসংখ্যার জন্য টেমপ্লেট:Mvar, টেমপ্লেট:Mvar। টেমপ্লেট:Sfnp

উপস্থাপনা তত্ত্ব এবং একটি এফিম রোবিনসন–শেনস্টেড সঙ্গতিপূর্ণতা

সীমিত প্রতিসম গ্রুপ, রোবিনসন–শেনস্টেড সঙ্গতিপূর্ণতা গোষ্ঠী এবং একই আকারের স্ট্যান্ডার্ড ইয়ং টেবলোx এর জোড় $(P,Q)$ এর মধ্যে একটি বিয়েকশন প্রদান করে। এই বিয়েকশনটি কম্বিনেটোরিক্স এবং সিমেট্রিক গোষ্ঠীর উপস্থাপনা তত্ত্ব এ একটি কেন্দ্রীয় ভূমিকা পালন করে। উদাহরণস্বরূপ, কাজডান–লুসটিগ তত্ত্ব এর ভাষায়, দুটি পেরমুটেশন একে অপরের বাম কোষে থাকে যদি এবং শুধুমাত্র যদি তাদের রোবিনসন–শেনস্টেডের অধীনে চিত্রিত টেবলো টেমপ্লেট:Mvar একই হয়, এবং একই ডান কোষে থাকে যদি এবং শুধুমাত্র যদি তাদের চিত্রিত টেবলো টেমপ্লেট:Mvar একই হয়।টেমপ্লেট:Harv-এ, জিয়ান-ই শি দেখিয়েছিলেন যে ${\tilde{S}}_n$ এর বাম কোষগুলি এখন ট্যাবলয়েড দ্বারা সূচকিত হয়,টেমপ্লেট:Efn এবং টেমপ্লেট:Harv-এ, তিনি একটি অ্যালগরিদম প্রদান করেছিলেন যা একটি এফিম পেরমুটেশনের জন্য টেবলো টেমপ্লেট:Mvar এর সমতুল্য ট্যাবলয়েড গণনা করে। টেমপ্লেট:Harv-এ, লেখকরা শি'র কাজ সম্প্রসারণ করে ${\tilde{S}}_n$ এবং $(P,Q,\rho )$ এর মধ্যে একটি বিয়েক্টিভ মানচিত্র প্রদান করেন, যা একই আকারের দুটি ট্যাবলয়েড এবং একটি পূর্ণসংখ্যার ভেক্টর ধারণ করে, যার এন্ট্রিগুলি নির্দিষ্ট অগ্রাধিকার সম্পর্ক পূর্ণ করে। তাদের প্রক্রিয়া এফিম পেরমুটেশনের ম্যাট্রিক্স উপস্থাপনা ব্যবহার করে এবং ছায়া নির্মাণ কে সাধারণীকৃত করে, যা টেমপ্লেট:Harv-এ পরিচিত হয়েছিল।

বিপরীত বাস্তবায়ন

${\tilde{S}}_3$-এর জন্য এলকোভগুলো, যা এফিম প্রতিসম গ্রুপ দ্বারা চিহ্নিত করা হয়েছে, উপরে উল্লেখিত চিহ্নিতকরণের বিপরীতে।

কিছু পরিস্থিতিতে, কেউ $\mathbb{Z}$-এ অথবা এলকোভ এফিম প্রতিসম গ্রুপের ক্রিয়ার বিপরীত কার্যক্রম বিবেচনা করতে চায়, যা উপরে দেওয়া হয়েছে। টেমপ্লেট:Efn এই বিকল্প বাস্তবায়নগুলি নিচে বর্ণিত হয়েছে।

${\tilde{S}}_n$ এর $\mathbb{Z}$ উপর কম্বিনেটোরিক্যাল ক্রিয়ায়, উৎপাদক $s_i$ মান টেমপ্লেট:Mvar এবং টেমপ্লেট:Math পরিবর্তন করে কাজ করে। বিপরীত ক্রিয়ায়, এটি পরিবর্তে অবস্থান টেমপ্লেট:Mvar এবং টেমপ্লেট:Math এর মধ্যে প্রবেশস্থল পরিবর্তন করে। একইভাবে, একটি সাধারণ প্রতিফলনের ক্রিয়া হলো অবস্থান টেমপ্লেট:Math এবং টেমপ্লেট:Math এ প্রবেশস্থল পরিবর্তন করা, প্রতিটি টেমপ্লেট:Mvar এর জন্য, এমনকি সমস্ত ইনপুট যেগুলি টেমপ্লেট:Mvar অথবা টেমপ্লেট:Mvar এর সাথে টেমপ্লেট:Mvar মডুলো সমান নয়, সেগুলিকে অপরিবর্তিত রাখা।টেমপ্লেট:Sfnpটেমপ্লেট:Efn

${\tilde{S}}_n$ এর জ্যামিতিক ক্রিয়ায়, উৎপাদক $s_i$ একটি আলকোভ টেমপ্লেট:Mvar-এর উপর কাজ করে এটি মৌলিক আলকোভ টেমপ্লেট:Math এর একটি সীমানা সমতলে প্রতিফলিত করে। বিপরীত ক্রিয়ায়, এটি টেমপ্লেট:Mvar-কে তার নিজস্ব সীমানা সমতলে প্রতিফলিত করে। এই দৃষ্টিভঙ্গি থেকে, একটি হ্রাসকৃত শব্দ একটি আলকোভ হাঁটা-এর সাথে সম্পর্কিত যা টেসেলেটেড স্পেস টেমপ্লেট:Mvar-এ ঘটে।

অন্যান্য গাণিতিক বস্তুর সাথে সম্পর্ক

এফিম প্রতিসম গ্রুপগুলো অন্যান্য অনেক গাণিতিক অবজেক্টের সাথে ঘনিষ্ঠভাবে সম্পর্কিত।

জাগলিং নকশা

জাগলিং প্যাটার্ন 441

টেমপ্লেট:Harv-এ, একটি সম্পর্ক প্রদান করা হয়েছে যেখানে এফিম প্রতিসম গ্রুপের উপাদান এবং জাগলিং নকশাগুলো সাইটসওয়াপ নোটেশনএর একটি সংস্করণে এনকোড করা হয়েছে।টেমপ্লেট:Sfnp এখানে, একটি জাগলিং নকশা যার টেমপ্লেট:Mvar পিরিয়ড, তা হলো একটি সিকোয়েন্স $(a_1,\dots ,a_n)$ যা অ-নেতিবাচক পূর্ণসংখ্যার (কিছু নির্দিষ্ট সীমাবদ্ধতার সাথে) একটি সিকোয়েন্স, যা একটি জাগলারের দ্বারা নিক্ষিপ্ত বলগুলির আচরণ বর্ণনা করে, যেখানে সংখ্যা $a_i$ টেমপ্লেট:Mvar-তম নিক্ষেপের আকাশে থাকার সময় (অথবা, নিক্ষেপের উচ্চতা) নির্দেশ করে।টেমপ্লেট:Efn নকশা বলের সংখ্যা টেমপ্লেট:Mvar হলো গড়। $b=\frac{a_1+\cdots +a_n}{n}$।টেমপ্লেট:Sfnp এহেনবার্গ–রেডি সম্পর্ক প্রতিটি টেমপ্লেট:Mvar যুগের জাগলিং নকশা $𝐚=(a_1,\dots ,a_n)$ এর সাথে সম্পর্কিত করে $w_{𝐚}:\mathbb{Z}\to \mathbb{Z}$ ফাংশনটি, যা দ্বারা সংজ্ঞায়িত হয় $$w_{𝐚}(i)=i+a_i-b,$$ যেখানে সিকোয়েন্সের সূচকগুলো টেমপ্লেট:Mvar মডুলো নেওয়া হয়। তারপর $w_{𝐚}$ একটি এফিন পেরমুটেশন ${\tilde{S}}_n$ এর মধ্যে, এবং তদ্ব্যতীত, প্রতিটি এফিন পেরমুটেশন এইভাবে একটি জাগলিং নকশা থেকে উদ্ভূত হয়।টেমপ্লেট:Sfnp এই বায়েকশনের অধীনে, এফিন পেরমুটেশনের দৈর্ঘ্য একটি প্রাকৃতিক পরিসংখ্যান দ্বারা জাগলিং প্যাটার্নে সংকেতিত হয়: $$\ell (w_{𝐚})=(b-1)n-\mathrm{cross}(𝐚),$$যেখানে $\mathrm{cross}(𝐚)$ হলো a এর আর্ক চিত্রে (যতটা পরিধির মধ্যে) ক্রসিং এর সংখ্যা। এটি অ্যাফাইন পেরমুটেশনের জন্য দৈর্ঘ্য দ্বারা উৎপন্ন ফাংশনের একটি মৌলিক প্রমাণ প্রদান করে।টেমপ্লেট:Sfnp যেমন উদাহরণস্বরূপ, জাগলিং নকশা 441 এর জন্য $n=3$ এবং $b=\frac{4+4+1}{3}=3$। অতএব, এটি এফিন পেরমুটেশন $w_{441}=[1+4-3,2+4-3,3+1-3]=[2,3,1]$ এর সাথে সম্পর্কিত। এই জাগলিং নকশাতে চারটি ক্রসিং রয়েছে, এবং অ্যাফাইন পেরমুটেশনের দৈর্ঘ্য $\ell (w_{441})=(3-1)\cdot 3-4=2$।টেমপ্লেট:Sfnp

সামান্য কোসেট রিপ্রেজেন্টেটিভদের জন্য উৎপত্তি ফাংশন ${\tilde{S}}_n/S_n$ এর দৈর্ঘ্য দ্বারা এই একই কৌশলগুলি ব্যবহার করা যেতে পারে।টেমপ্লেট:Sfnp

জটিল প্রতিফলন গ্রুপ

একটি সসীম-মাত্রিক বাস্তব অন্তঃউৎপাদন স্থান-এ, একটি প্রতিফলন হলো একটি রৈখিক রূপান্তর যা একটি রৈখিক অতিরিক্ত সপাটকে বিন্দু-ভিত্তিকভাবে স্থির রাখে এবং সপাটের প্রতি আর্পিত ভেক্টরটিকে বিপরীত করে। এই ধারণাটি অন্যান্য ক্ষেত্র-এর জন্যও সম্প্রসারিত হতে পারে। বিশেষভাবে, একটি জটিল অন্তঃউৎপাদন স্থানে, একটি প্রতিফলন হলো একটি ঊনিটারি রূপান্তর টেমপ্লেট:Mvar যা সসীম আদেশ সহ একটি অতিরিক্ত সপাটকে স্থির রাখে।টেমপ্লেট:Efn এটি নির্দেশ করে যে, যেসব ভেক্টর সপাটের প্রতি আর্জিত, সেগুলি টেমপ্লেট:Mvar এর ঊইজেনভেক্টর, এবং সংশ্লিষ্ট ঊইজেনমান হলো একটি জটিল ঊনিতির মূল। একটি জটিল প্রতিফলন গোষ্ঠী হল একটি সসীম গ্রুপ যা একটি জটিল ভেক্টর স্থানে প্রতিফলন দ্বারা সৃষ্ট রৈখিক রূপান্তরগুলির সমষ্টি। টেমপ্লেট:Sfnp

জটিল প্রতিফলন গ্রুপগুলোকে সম্পূর্ণরূপে শ্রেণীবদ্ধ করা হয়েছে টেমপ্লেট:Harvtxt-এ: প্রতিটি জটিল প্রতিফলন গ্রুপ অমতান্ত্রিত জটিল প্রতিফলন গ্রুপগুলির একটি গুণফলসমূহের সাথে সমরূপ, এবং প্রতিটি অমতান্ত্রিত গ্রুপ বা একটি অসীম পরিবারে অন্তর্ভুক্ত $G(m,p,n)$ (যেখানে টেমপ্লেট:Mvar, টেমপ্লেট:Mvar, এবং টেমপ্লেট:Mvar হলো ধনাত্মক পূর্ণসংখ্যা, এবং টেমপ্লেট:Mvar টেমপ্লেট:Mvar কে বিভাজ্য) অথবা 34টি অন্যান্য (যেগুলোকে "অস্বাভাবিক" বলা হয়) উদাহরণের একটি। $G(m,1,n)$ গ্রুপ হলো সাধারণীকৃত প্রতিসম গ্রুপ: গণিতিকভাবে, এটি হলো রিথ পণ্য $(\mathbb{Z}/m\mathbb{Z})\wr S_n$ যা চক্রীয় গোষ্ঠী $\mathbb{Z}/m\mathbb{Z}$ এবং প্রতিসম গ্রুপ $S_n$ এর গুণফল। বাস্তবে, গ্রুপ উপাদানগুলি মনোমিয়াল ম্যাট্রিক্স দ্বারা উপস্থাপিত হতে পারে (যে ম্যাট্রিক্সের প্রতিটি সারি এবং কলামে একটি অ-শূন্য উপাদান থাকে) যাদের অ-শূন্য উপাদানগুলি সকলেই টেমপ্লেট:Mvarতম একক রুট। $G(m,p,n)$ গ্রুপগুলি হলো $G(m,1,n)$ এর উপগ্রুপ, এবং বিশেষভাবে $G(m,m,n)$ গ্রুপটি ঐসব ম্যাট্রিক্স দ্বারা গঠিত যেখানে অ-শূন্য উপাদানগুলির গুণফল 1 এর সমান। টেমপ্লেট:Sfnp

টেমপ্লেট:Harv-এ, শি প্রমাণ করেছেন যে, এফিন প্রতিসম গ্রুপ হলো $\{G(m,m,n):m\ge 1\}$ পরিবারটির একটি সাধারণ আচ্ছাদন পরবর্তী অর্থে: প্রতিটি ধনাত্মক পূর্ণসংখ্যা টেমপ্লেট:Mvar এর জন্য, ${\tilde{S}}_n$ থেকে $G(m,m,n)$ এ একটি সার্জেকশন ${\pi }_m$ বিদ্যমান, এবং এই মানচিত্রগুলি স্বাভাবিক সার্জেকশনগুলির সাথে সঙ্গতিপূর্ণ, যেমন $G(m,m,n)\twoheadrightarrow G(p,p,n)$ যখন $p\mid m$, যা প্রতিটি উপাদানকে টেমপ্লেট:Mathতম শক্তিতে উত্তোলন করা থেকে আসে। অতিরিক্তভাবে, এই প্রক্ষেপণগুলি প্রতিফলন গ্রুপ কাঠামোকে সম্মান করে, অর্থাৎ, ${\tilde{S}}_n$ এর প্রতিটি প্রতিফলনের চিত্র ${\pi }_m$ এর মাধ্যমে $G(m,m,n)$ এ একটি প্রতিফলন হবে; এবং একইভাবে, যখন $m>1$, $\tilde{S}n$ এর মানক কক্সিটার উপাদান $s_0\cdot s_1\cdots sn-1$ এর চিত্র একটি কক্সিটার উপাদান হবে $G(m,m,n)$ এ। টেমপ্লেট:Sfnp

এফিন লাই বীজগণিতগুলো

প্রতিটি এফিন কক্সিটার গ্রুপ একটি অ্যাফাইন লাই অ্যালজেবরার সাথে সম্পর্কিত, যা একটি নির্দিষ্ট অসীম-মাত্রিক অ-সংযুক্ত অ্যালজেবরা, যার উপস্থাপনামূলক গুণাবলী অত্যন্ত সুন্দরটেমপ্লেট:Efn এই সম্পর্কের মধ্যে, কক্সিটার গ্রুপটি লাই বীজগণিত রুট স্থান (যা কার্টান সাবঅ্যালজেবরার দ্বৈত) এর প্রতিসম গ্রুপ হিসেবে উদ্ভূত হয়।টেমপ্লেট:Sfnp এফিন লাই বীজগণিত শ্রেণীবিভাগে, যা $\tilde{S}n$ এর সাথে সম্পর্কিত, এটি (অ-ঘূর্ণিত) ধরনের $A{n-1}^{(1)}$ এবং এর কার্টান ম্যাট্রিক্স হলো $\left[\begin{array}{ccc}2& -2-2& 2\end{array}\right]$ যখন $n=2$ এবং $\left[\begin{array}{cc}2& -2\\ -2& 2\end{array}\right]$ for $n=2$ and $$\left[\begin{array}{cccccc}2& -1& 0& \cdots & 0& -1\\ -1& 2& -1& \cdots & 0& 0\\ 0& -1& 2& \cdots & 0& 0\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& 0& \cdots & 2& -1\\ -1& 0& 0& \cdots & -1& 2\end{array}\right]$$ (একটি সার্কুল্যান্ট ম্যাট্রিক্স) যখন $n>2$।

অন্যান্য ক্যাক–মুডি অ্যালজেবরার মতো, এফিন লাই বীজগণিতগুলো ওয়েইল–ক্যাক চরিত্র সূত্র পূর্ণ করে, যা বীজগণিতের চরিত্রগুলি তাদের সর্বোচ্চ ওজন এর দ্বারা প্রকাশ করে।টেমপ্লেট:Sfnp অ্যাফাইন লাই অ্যালজেবরার ক্ষেত্রে, ফলস্বরূপ সৃষ্ট সনাক্তকরণগুলি ম্যাকডোনাল্ড সনাক্তকরণ এর সমতুল্য। বিশেষভাবে, $A_1^{(1)}$ ধরনের এফিন লাই বীজগণিতের জন্য, যা এফিন প্রতিসম গ্রুপ ${\tilde{S}}_2$ এর সাথে সম্পর্কিত, সংশ্লিষ্ট ম্যাকডোনাল্ড সনাক্তকরণটি জ্যাকোবি ত্রিপল পণ্য এর সমতুল্য।

ব্রেইড গ্রুপ এবং গ্রুপ-তাত্ত্বিক গুণাবলী

কক্সিটার গ্রুপগুলোর কিছু বিশেষ গুণাবলী রয়েছে যা সব গ্রুপের মধ্যে ভাগ করা হয় না। এর মধ্যে রয়েছে যে তাদের গণিত বিষয়ক শব্দ সমস্যা অবিচ্ছেদ্য (অর্থাৎ, এমন একটি আলগোরিদম রয়েছে যা নির্ধারণ করতে পারে যে কোনো নির্দিষ্ট উৎপাদিত উপাদান একক উপাদান আইডেন্টিটি এর সমান কি না) এবং তারা রৈখিক গোষ্ঠী (অর্থাৎ, তারা একটি ক্ষেত্রের উপর বিপরীতযোগ্য ম্যাট্রিক্সের গ্রুপ দ্বারা উপস্থাপিত হতে পারে)।টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

প্রতিটি কক্সিটার গ্রুপ টেমপ্লেট:Mvar একটি আরটিন–টিটস গোষ্ঠী $B_W$ এর সাথে সম্পর্কিত, যা একটি অনুরূপ উপস্থাপনা দ্বারা সংজ্ঞায়িত হয়, যেখানে প্রতিটি উৎপাদক টেমপ্লেট:Mvar এর জন্য $s^2=1$ সম্পর্ক বাদ দেওয়া হয়।টেমপ্লেট:Sfnp বিশেষভাবে, $\tilde{S}n$ এর সাথে সম্পর্কিত আরটিন–টিটস গোষ্ঠী টেমপ্লেট:Mvarটি উপাদান দ্বারা উৎপন্ন হয়, যা ${\sigma }_0,{\sigma }_1,\dots ,\sigma n-1$ দ্বারা প্রকাশিত হয় এবং সম্পর্কগুলির মধ্যে থাকে ${\sigma }_i{\sigma }_{i+1}{\sigma }_i={\sigma }_{i+1}{\sigma }_i{\sigma }_{i+1}$ যেখানে $i=0,\dots ,n-1$ (এবং অন্য কোনো সম্পর্ক নেই), যেখানে পূর্বের মতো সূচকগুলি টেমপ্লেট:Mvar দ্বারা মডুলো হিসাবে নেওয়া হয় (অতএব ${\sigma }_n={\sigma }_0$)।টেমপ্লেট:Sfnp কক্সিটার গ্রুপের আর্টিন-টিটস গ্রুপগুলির অনেক সুন্দর বৈশিষ্ট্য রয়েছে বলে অনুমান করা হয়। উদাহরণস্বরূপ, এগুলি টর্শন-মুক্ত, এদের কেন্দ্র তুচ্ছ, শব্দ সমস্যা সমাধানযোগ্য এবং এরা $K(\pi ,1)$ অনুমানকে সিদ্ধ করে বলে মনে করা হয়। এই অনুমানগুলি সমস্ত আর্টিন-টিটস গ্রুপের জন্য সত্য বলে জানা যায়নি, তবে টেমপ্লেট:Harvসালে দেখিয়েছেন যে $B_{{\tilde{S}}_n}$ এই বৈশিষ্ট্যগুলি ধারণ করে। (পরে, এইগুলি "এফিন" কক্সিটার গ্রুপের সাথে সম্পর্কিত আর্টিন-টিটস গ্রুপগুলির জন্য প্রমাণিত হয়েছে।)টেমপ্লেট:Sfnpটেমপ্লেট:Sfnpটেমপ্লেট:Sfnp এফিন প্রতিসম গ্রুপ ক্ষেত্রে, এই প্রমাণগুলি আরটিন–টিটস গ্রুপের উপর সংশ্লিষ্ট গারসাইড কাঠামো ব্যবহার করে।টেমপ্লেট:Sfnp

এফিন প্রতিসম গ্রুপের সাথে সম্পর্কিত আরটিন–টিটস গ্রুপের জেনারেটরগুলি, যা একটানা স্ত্রান্ড সহ ব্রেইড হিসেবে উপস্থাপিত হয়েছে (যখন টেমপ্লেট:Math) এবং সিলিন্ডারের উপর অঙ্কিত ব্রেইড হিসেবে (যখন টেমপ্লেট:Math)।

আরটিন–টিটস গোষ্ঠীগুলিকে কখনও কখনও সাধারণীকৃত ব্রেইড গ্রুপ হিসেবে অভিহিত করা হয়, কারণ (সীমিত) প্রতিসম গ্রুপ $B_{S_n}$ এর আরটিন–টিটস গ্রুপ হচ্ছে ব্রেইড গ্রুপটেমপ্লেট:Mvarটি স্ত্রান্ডে।টেমপ্লেট:Sfnp সব আরটিন–টিটস গ্রুপের জন্য জ্যামিতিক ব্রেইডের মাধ্যমে একটি প্রাকৃতিক উপস্থাপনা নেই। তবে, হাইপেরোঅকটাহেড্রাল গোষ্ঠী $S_n^{\pm }$ এর আরটিন–টিটস গোষ্ঠী (জ্যামিতিকভাবে, n-মাত্রিক হাইপারকিউব এর প্রতিসম গ্রুপ; সংযোজকভাবে, আকার n এর সাইনযুক্ত প্রতিস্থাপন গ্রুপ) এর একটি উপস্থাপনা রয়েছে: এটি ব্রেইড গ্রুপের একটি উপগ্রুপ দ্বারা প্রদত্ত, যা $n+1$টি স্ত্রান্ডের ব্রেইড গ্রুপ থেকে গঠিত, যেখানে একটি নির্দিষ্ট স্ত্রান্ড শুরু অবস্থানে ফিরে আসে, অথবা সমতুল্যভাবে এটি টেমপ্লেট:Mvarটি স্ত্রান্ডের ব্রেইড গ্রুপ হিসেবে উপস্থাপিত হয় একটি অ্যানুলার অঞ্চলে।টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp এছাড়াও, হাইপেরোঅকটাহেড্রাল গ্রুপ $S^{\pm }n$ এর আরটিন–টিটস গ্রুপ একটি সেমিডাইরেক্ট পণ্যের আকারে লেখা যেতে পারে, যা $B{\tilde{S}}_n$ এবং একটি অর্ন্তগত চক্রাকার গ্রুপ সমন্বয়ে গঠিত।টেমপ্লেট:Sfnpএই অংশে, $B_{{\tilde{S}}_n}$ কে জ্যামিতিক ব্রেইড নিয়ে গঠিত একটি নির্দিষ্ট উপগোষ্ঠী হিসাবে ব্যাখ্যা করা যেতে পারে এবং এটি একটি রৈখিক গোষ্ঠী হিসাবেও পরিচিত।টেমপ্লেট:Sfnpটেমপ্লেট:Sfnpটেমপ্লেট:Sfnp

বর্ধিত এফিন প্রতিসম গ্রুপ

এফিন প্রতিসম গ্রুপ হলো বিস্তৃত এফিন প্রতিসম গ্রুপর একটি উপগ্রুপ। বিস্তৃত গ্রুপটি ওথ প্রোডাক্ট $\mathbb{Z}\wr S_n$ এর সাথে অনুরূপ। এর উপাদানগুলো হলো বিস্তৃত এফিন প্রতিস্থাপন: $u:\mathbb{Z}\to \mathbb{Z}$ এর মতো bijections, যেখানে $u(x+n)=u(x)+n$ সকল পূর্ণসংখ্যার জন্য সত্য।এফিন প্রতিসম গ্রুপের বিপরীতে, বিস্তৃত এফিন প্রতিসম গ্রুপ একটি কক্সেটর গ্রুপ নয়। তবে এর একটি প্রাকৃতিক উৎপাদন সেট রয়েছে, যা $\tilde{S}n$ এর জন্য কক্সেটর উৎপাদন সেটকে সম্প্রসারিত করে: শিফট অপারেটর $\tau$, যার উইন্ডো সূচক হলো $\tau =[2,3,\dots ,n,n+1]$, এটি সরল প্রতিফলনের সাথে বিস্তৃত গ্রুপটি উৎপন্ন করে, অতিরিক্ত সম্পর্ক $\tau s_i{\tau }^{-1}=si+1$ এর অধীনে। টেমপ্লেট:Sfnp

অন্যান্য এফিন কক্সিটার গ্রুপের সমন্বয়শাস্ত্র

এফিন প্রতিসম গ্রুপ ${\tilde{S}}_n$-এর জ্যামিতিক ক্রিয়া এটিকে প্রাকৃতিকভাবে এফিন কক্সেটার গ্রুপের একটি পরিবারে স্থান দেয়, যেগুলির প্রতিটি একটি অনুরূপ জ্যামিতিক ক্রিয়া একটি এফিন স্থানে সম্পাদন করে। ${\tilde{S}}_n$-এর কম্বিনেটোরিয়াল বর্ণনাও এই গ্রুপগুলির অনেকের জন্য সম্প্রসারিত করা যেতে পারে:টেমপ্লেট:Harvtxtকিছু প্রতিস্থাপন গ্রুপের স্বতঃসিদ্ধ বর্ণনা দেন, যা $\mathbb{Z}$-এর উপর কার্যক্রম চালায় (যা "জর্জ গোষ্ঠী" নামে পরিচিত, জর্জ লুস্জটিগের সম্মানে)। তিনি দেখান যে এই গোষ্ঠীগুলি ঠিক "ক্লাসিক্যাল" কক্সেটার গ্রুপ, যা সসীম এবং এফিন টাইপ A, B, C এবং D এর। (এফিন কক্সেটার গ্রুপগুলির শ্রেণিবিন্যাসে, এফিন প্রতিসম গ্রুপ হলো টাইপ A)। অতএব, অবতরণ, বিপর্যয় ইত্যাদির কম্বিনেটোরিয়াল ব্যাখ্যা এই ক্ষেত্রেও প্রযোজ্য।টেমপ্লেট:Sfnp প্যারাবলিক কোশেন্টের সর্বনিম্ন দৈর্ঘ্যের কোসেট প্রতিনিধিদের অ্যাবাকাস প্রতিরূপগুলিও এই ক্ষেত্রে সম্প্রসারিত হয়েছে।টেমপ্লেট:Sfnp

ইতিহাস

কক্সেটার গ্রুপের সাধারণ অধ্যয়নকে বলা যেতে পারে যে, এটি প্রাচীন গ্রীসে নিয়মিত পলিহেড্রা (প্ল্যাটনিক সলিডস) শ্রেণীবদ্ধ করার মাধ্যমে প্রথম শুরু হয়েছিল। আধুনিক পদ্ধতিগত অধ্যয়ন (যা গাণিতিক এবং ভৌত সংজ্ঞাগুলিকে সংযুক্ত করে সীমিত এবং এফিন কক্সেটার গ্রুপগুলির) কক্সেটারের ১৯৩০-এর দশকের কাজ থেকে শুরু হয়েছিল।টেমপ্লেট:Sfnp এফিন প্রতিসম গ্রুপের কম্বিনেটোরিয়াল বর্ণনা প্রথম টেমপ্লেট:Harvtxt এর কাজে প্রকাশ পায়, এবং টেমপ্লেট:Harvtxt দ্বারা এর উপর বিস্তার ঘটানো হয়েছিল; উভয় লেখক কম্বিনেটোরিয়াল বর্ণনাটি ব্যবহার করেছিলেন ${\tilde{S}}_n$ এর কজদান–লুসতিগ সেলগুলি অধ্যয়ন করতে।টেমপ্লেট:Sfnpটেমপ্লেট:Sfnp কম্বিনেটোরিয়াল সংজ্ঞাটি যে গাণিতিক সংজ্ঞার সাথে সঙ্গতিপূর্ণ, তার প্রমাণ টেমপ্লেট:Harvtxt প্রদান করেছিলেন।টেমপ্লেট:Sfnp

তথ্যসূত্র

উদ্ধৃতি

• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation