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

এফিন প্রতিসম গ্রুপ হলো একটি গাণিতিক কাঠামোর শ্রেণি, যা সংখ্যারেখা এবং সমতলের নিয়মিত ত্রিভুজাকার বিন্যাসের প্রতিসমতা বর্ণনা করে, পাশাপাশি সংশ্লিষ্ট উচ্চমাত্রিক বস্তুকেও অন্তর্ভুক্ত করে। এই জ্যামিতিক বিবরণের পাশাপাশি, এফিন প্রতিসম গ্রুপকে অন্যান্য উপায়েও সংজ্ঞায়িত করা যায়: এটি বিন্যাস (পূর্ণসংখ্যাগুলোর পুনর্বিন্যাস) এর একটি সমষ্টি, যা নির্দিষ্ট পর্যায়ক্রমিক বৈশিষ্ট্যযুক্ত (), অথবা খাঁটি বীজগাণিতিক পরিভাষায় এটি নির্দিষ্ট উৎপাদক ও সম্পর্কযুক্ত একটি গোষ্ঠী। এটি সমাবেশবিদ্যা এবং প্রতিনিধিত্ব তত্ত্বে অধ্যয়ন করা হয়।
একটি সসীম প্রতিসম গ্রুপ একটি সসীম সেটের সমস্ত বিন্যাসের সমষ্টি নিয়ে গঠিত। প্রতিটি এফিন প্রতিসম গ্রুপ একটি সসীম প্রতিসম গ্রুপের একটি অসীম সম্প্রসারণ। সসীম প্রতিসম গ্রুপগুলোর অনেক গুরুত্বপূর্ণ সমাবেশিক বৈশিষ্ট্য সংশ্লিষ্ট এফিন প্রতিসম গ্রুপগুলোর জন্যও সম্প্রসারিত করা যায়। বিন্যাস পরিসংখ্যান যেমন অবনমন এবং উলট এফিন ক্ষেত্রেও সংজ্ঞায়িত করা যায়। সসীম ক্ষেত্রের মতো, এই পরিসংখ্যানগুলোর জন্য প্রাকৃতিক সমাবেশিক সংজ্ঞাগুলোর একটি জ্যামিতিক ব্যাখ্যাও রয়েছে।
এফিন প্রতিসম গ্রুপের অন্যান্য গাণিতিক বস্তুর সাথে ঘনিষ্ঠ সম্পর্ক রয়েছে, যার মধ্যে জাগলিং প্যাটার্ন এবং নির্দিষ্ট জটিল প্রতিফলন গ্রুপ অন্তর্ভুক্ত। এদের অনেক সমাবেশগত এবং জ্যামিতিক বৈশিষ্ট্য বিস্তৃত এফিন কক্সেটার গ্রুপ পরিবারের ক্ষেত্রেও প্রযোজ্য।
এফিন প্রতিসম গ্রুপকে সমভাবে একটি বিমূর্ত গ্রুপ হিসেবে উৎপাদক ও সম্পর্কের মাধ্যমে সংজ্ঞায়িত করা যেতে পারে, অথবা এটি নির্দিষ্ট জ্যামিতিক ও সমাবেশগত মডেলের মাধ্যমে প্রকাশ করা যেতে পারে।
গ্রুপ সংজ্ঞায়িত করার একটি উপায় হল উৎপাদক ও সম্পর্ক ব্যবহার করা। এই সংজ্ঞায়, উৎপাদক হলো গ্রুপের এমন একটি উপসেট, যা বিভিন্ন উপায়ে সংযোজিত হয়ে গ্রুপের সমস্ত উপাদান উৎপন্ন করে। সংজ্ঞার সম্পর্কগুলো হলো একটি সমীকরণ ব্যবস্থা, যা নির্ধারণ করে কখন দুটি উৎপাদকের সংযোজন সমান হয়।
উপরে দেওয়া সম্পর্কগুলিতে সূচকগুলি মডুলো হিসেবে নেওয়া হয়, যাতে তৃতীয় সম্পর্কটি একটি বিশেষ ক্ষেত্রে অন্তর্ভুক্ত হয় formula_8। (দ্বিতীয় এবং তৃতীয় সম্পর্কগুলোকে কখনও কখনও ব্রেইড সম্পর্ক বলা হয়)।
) formula_9, এফিন প্রতিসম গ্রুপ formula_10 হল অসীম ডাইহেড্রাল গ্রুপ যা দুটি উপাদান formula_11 দ্বারা উৎপন্ন এবং শুধুমাত্র সম্পর্কগুলি অনুসরণ করে formula_12।
এই সম্পর্কগুলো বিশেষ রূপে পুনরায় লেখা যেতে পারে যা কক্সেটার গ্রুপকে সংজ্ঞায়িত করে, সুতরাং এফিন প্রতিসম গ্রুপগুলি কক্সেটার গ্রুপ, যেখানে formula_13 তাদের কক্সেটার উৎপাদক সেট হিসেবে কাজ করে। প্রতিটি কক্সেটার গ্রুপ একটি কক্সেটার-ডিনকিন চিত্র দ্বারা উপস্থাপিত হতে পারে, যেখানে শিখরগুলি উৎপাদকদের প্রতিনিধিত্ব করে এবং প্রান্তগুলি তাদের মধ্যে সম্পর্কগুলি এনকোড করে।
formula_14 এর জন্য, formula_15 এর কক্সেটার–ডিনকিন ডায়াগ্রাম হল একটি -চক্র (যেখানে প্রান্তগুলি সন্নিহিত উৎপাদকদের মধ্যে সম্পর্কগুলিকে উপস্থাপন করে এবং অন্য উৎপাদকদের মধ্যে প্রান্তের অভাব নির্দেশ করে যে তারা একে অপরের সাথে আবদ্ধ), যখন formula_9 এর জন্য এটি দুটি নোড নিয়ে গঠিত, যা একটি প্রান্ত দ্বারা যুক্ত এবং তার উপর formula_17 চিহ্নিত।
ইউক্লিডীয় স্থানে formula_18 এ formula_19 কোঅর্ডিনেট সহ, পয়েন্টগুলির সেট যার জন্য formula_20 একটি (হাইপার)প্লেন গঠন করে, একটি -মাত্রিক উপস্থান। প্রতিটি আলাদা উপাদান এবং এর জন্য formula_21 এবং প্রতিটি পূর্ণসংখ্যা , এর মধ্যে এমন পয়েন্টগুলির সেট যা formula_22 পূর্ণ করে, এর মধ্যে একটি -মাত্রিক উপস্থান গঠন করে, এবং এর একটি অনন্য প্রতিফলন রয়েছে যা এই উপস্থানটি স্থির রাখে। তাহলে এফিন প্রতিসম গ্রুপ formula_15 থেকে নিজে তার মধ্যে মানচিত্রের একটি সংগ্রহ হিসেবে জ্যামিতিকভাবে উপলব্ধি করা যেতে পারে, এই প্রতিফলনগুলির সংকলন।
এই প্রতিফলনের স্থির উপস্থানগুলি -কে একে অপরের সাদৃশ্যপূর্ণ সাম্প্লেক্স-এ বিভক্ত করে, যেগুলিকে "আলকোভ" বলা হয়। যখন formula_26 তখন পরিস্থিতিটি চিত্রে দেখানো হয়েছে; এই ক্ষেত্রে, রুট ল্যাটিস একটি ত্রিভুজাকার ল্যাটিস, প্রতিফলনকারী রেখাগুলি -কে সমবাহু ত্রিভুজ আলকোভে ভাগ করে, এবং রুটগুলি হলো ছয়টি ত্রিভুজ আলকোভ দ্বারা গঠিত অপর্যায়িত হেক্সাগনের কেন্দ্র।
জ্যামিতিক এবং বীজগণিতীয় সংজ্ঞাগুলির মধ্যে অনুবাদ করতে, একটি আলকোভ নির্ধারণ করা হয় এবং তার সীমানা গঠনকারী হাইপারপ্লেনগুলি বিবেচনা করা হয়। এই সীমানা হাইপারপ্লেনগুলির মাধ্যমে প্রতিফলনগুলি কোসেটার জেনারেটরের সাথে চিহ্নিত করা যেতে পারে। বিশেষভাবে, একটি অনন্য আলকোভ ("মৌলিক আলকোভ") রয়েছে যা এমন পয়েন্ট formula_19 নিয়ে গঠিত, যেখানে formula_28, যা হাইপারপ্লেনগুলি দ্বারা সীমানাবদ্ধ formula_29 formula_30 ..., এবং formula_31 formula_26 ক্ষেত্রে চিত্রিত। formula_33 এর জন্য, formula_34 এর মাধ্যমে প্রতিফলনকে কোসেটার জেনারেটর formula_13 এর সাথে চিহ্নিত করা যেতে পারে, এবং formula_36 এর মাধ্যমে প্রতিফলনকে জেনারেটর formula_37 এর সাথে চিহ্নিত করা যেতে পারে।
এফিন প্রতিসম গ্রুপের উপাদানগুলি পূর্ণসংখ্যার একটি আবর্তিত পারমুটেশন গ্রুপ হিসাবে বাস্তবায়িত হতে পারে। বিশেষত, বলুন যে একটি ফাংশন formula_38 একটি "এফিন পারমুটেশন" যদি
প্রতিটি এফিন পারমুটেশন, এবং আরও সাধারণভাবে প্রতিটি শিফট-একুইভেরিয়েন্ট বায়েকশন, সংখ্যাগুলি formula_45 অবশ্যই এর মডুলোর মধ্যে সব আলাদা হতে হবে। একটি এফিন পারমুটেশন তার "উইন্ডো নোটেশন" formula_46 দ্বারা এককভাবে নির্ধারিত, কারণ formula_47 এর অন্যান্য মান এই মানগুলিকে শিফট করে পাওয়া যেতে পারে। অতএব, এফিন পারমুটেশনগুলি এমন যুগল formula_46 হিসাবে চিহ্নিত করা যেতে পারে যা এর প্রতিটি কংগ্রুয়েন্স ক্লাস থেকে একটি উপাদান ধারণ করে এবং formula_49 এর সমান যোগফল থাকে।
কম্বিনেটোরিকাল এবং বীজগণিতিক সংজ্ঞাগুলির মধ্যে অনুবাদ করতে, formula_50 এর জন্য, কোসেটার জেনারেটর formula_13 কে সেই এফিন পারমুটেশন হিসেবে চিহ্নিত করা যেতে পারে যার উইন্ডো নোটেশন formula_52, এবং জেনারেটর formula_53 কে formula_54 এফিন পারমুটেশন হিসেবে চিহ্নিত করা যেতে পারে। আরও সাধারণভাবে, প্রতিটি প্রতিফলন (অর্থাৎ, কোসেটার জেনারেটরের একটি কনজুগেট) এককভাবে এইভাবে বর্ণনা করা যেতে পারে: formula_21 এর মধ্যে স্বতন্ত্র পূর্ণসংখ্যা , এবং যে কোনো পূর্ণসংখ্যা এর জন্য, এটি কে মানচিত্রে কে, কে মানচিত্রে রূপান্তরিত করে, এবং সমস্ত ইনপুট যা বা এর সাথে মডুলো সম্মত নয়, সেগুলি অপরিবর্তিত রাখে।
এফিন প্রতিসমগুলি অসীম পিরিয়ডিক পারমুটেশন ম্যাট্রিক্স হিসেবে উপস্থাপন করা যেতে পারে।
যদি formula_56 একটি এফিন প্রতিসম হয়, তবে সংশ্লিষ্ট ম্যাট্রিক্সটি অসীম গ্রিড formula_57 এ formula_58 অবস্থানে 1 এর মান থাকবে প্রতিটি পূর্ণসংখ্যার জন্য, এবং অন্যান্য সব মান 0 হবে। যেহেতু formula_47 একটি বাইজেকশন, ফলে ফলস্বরূপ ম্যাট্রিক্সে প্রতিটি সারি এবং কলামে ঠিক একটি 1 থাকবে। formula_47 মানচিত্রের পিরিয়ডিকিটি শর্ত নিশ্চিত করে যে, প্রতিটি formula_61 অবস্থানে থাকা মানটি formula_62 অবস্থানে থাকা মানের সমান হবে। যেমন উদাহরণস্বরূপ, formula_63 এর জন্য একটি অংশিক ম্যাট্রিক্স চিত্রে দেখানো হয়েছে। সারি 1-এ, কলাম 2-এ একটি 1 আছে; সারি 2-এ, কলাম 0-এ একটি 1 আছে; এবং সারি 3-এ, কলাম 4-এ একটি 1 আছে। ঐ সারি এবং কলামগুলোর বাকি সব মান 0, এবং ম্যাট্রিক্সের অন্যান্য সমস্ত মান পিরিয়ডিকিটি শর্ত দ্বারা স্থির থাকে।
এফিন প্রতিসম গ্রুপ formula_15 সসীম প্রতিসম গ্রুপ formula_65 কে অন্তর্ভুক্ত করে, যা formula_42 উপাদানের পারমুটেশন দ্বারা গঠিত। এটি উভয়ই একটি উপগুচ্ছ এবং একটি ভগ্নাংশ গ্রুপ হিসেবে কাজ করে। এই সংযোগগুলি এফিন প্রতিসম গ্রুপের সমন্বয় এবং জ্যামিতিক সংজ্ঞাগুলির মধ্যে একটি সরাসরি অনুবাদ সম্ভব করে।
এফিন প্রতিসম গ্রুপ formula_15 থেকে একটি সাবগ্রুপ নির্বাচন করার একটি প্রথাগত পদ্ধতি রয়েছে, যা সসামান্য প্রতিসম গ্রুপ formula_65 এর সাথে সমরূপ।
বীজগণিতীয় সংজ্ঞা অনুযায়ী, এটি formula_1 এর একটি সাবগ্রুপ, যা formula_70 দ্বারা উৎপন্ন (সরল প্রতিফলন formula_53 বাদে)। ভৌগোলিকভাবে, এটি সেই রূপান্তরের সাবগ্রুপের সাথে সম্পর্কিত যা উৎপত্তি বিন্দুকে রক্ষা করে, আর কম্বিনেটোরিক্যালভাবে এটি সেই উইন্ডো নোটেশনের সাথে সম্পর্কিত, যার জন্য formula_72 (অথবা, যেখানে উইন্ডো নোটেশনটি একটি সসামান্য প্রতিসম গ্রুপের একলাইন নোটেশন)।
যদি formula_73 একটি মানক formula_74 এর উপাদানের উইন্ডো নোটেশন হয়, তবে এর তে formula_75 হাইপারপ্লেনে ক্রিয়া হলো সমন্বয়ের মাধ্যমে সন্নিবেশ করা: formula_76। (এই প্রবন্ধে, পারমিউটেশন এবং এফিন পারমিউটেশনগুলির ভূগোলিক ক্রিয়া ডান দিকে হয়; অতএব, যদি এবং দুটি এফিন পারমিউটেশন হয়, তবে একটি বিন্দুর উপর এর ক্রিয়া প্রথমে প্রয়োগ করার পর, তারপর প্রয়োগ করার মাধ্যমে দেওয়া হয়।)
এছাড়াও formula_65-এর অনেক অ-মানক কপি formula_15-এর মধ্যে রয়েছে। একটি ভূগোলিক নির্মাণ হলো formula_79 তে কোনো একটি বিন্দু বেছে নেওয়া (অর্থাৎ, একটি পূর্ণসংখ্যার ভেক্টর যার সমন্বয় 0-এ যোগফল হয়); formula_80 সাবগ্রুপ যা formula_15-এর ইজোমেট্রি-গুলি নিয়ে গঠিত এবং যা -কে স্থির রাখে, তা formula_65-এর সাথে সমরূপ।
একটি সাধারণ মানচিত্র (প্রকৃতপক্ষে, একটি সার্জেকটিভ গ্রুপ হোমোমরফিজম) রয়েছে যা formula_15 কে সীমিত সিমেট্রিক গ্রুপ formula_65 তে ম্যাপ করে। সংমিশ্রণগত সংজ্ঞা অনুসারে, একটি অ্যাফাইন পারমিউটেশনকে একটি পারমিউটেশনে ম্যাপ করা যায় উইন্ডো এন্ট্রিগুলিকে মডুলো এর উপাদানে হ্রাস করে, যার ফলে একটি পারমিউটেশনের একলাইন নোটেশন রেখে দেওয়া হয়। এই প্রবন্ধে, একটি অ্যাফাইন পারমিউটেশনের ছবি formula_85 কে এর "অধীন পারমিউটেশন" বলা হয়।
মানচিত্র কক্সেটর জেনারেটর formula_86 কে সেই পারমিউটেশনে পাঠায়, যার একলাইন নোটেশন এবং সাইকেল নোটেশন যথাক্রমে formula_87 এবং formula_88।
আফাইন সিমেট্রিক গ্রুপ formula_15 কে একটি স্বাভাবিক উপগ্রুপ হিসেবে ধারণ করে, এবং এটি সেমিডিরেক্ট প্রোডাক্ট formula_95-এর সমমূর্তি, যেখানে formula_65-এর -এর উপর ক্রিয়া হল সমন্বয়গুলির পারমিউটেশন দ্বারা। অতএব, formula_15-এর প্রতিটি উপাদান এর একটি অনন্য বাস্তবায়ন রয়েছে যা একটি গুণফল হিসাবে প্রকাশ করা যায় formula_98, যেখানে formula_99 হল formula_65-এর মানক কপি থেকে একটি পারমিউটেশন এবং formula_101 হল -এর একটি অনুবাদ।
এই দৃষ্টিভঙ্গি formula_1 এর সম্মিলিত এবং জ্যামিতিক সংজ্ঞাগুলির মধ্যে সরাসরি অনুবাদ করার সুযোগ দেয়: যদি কেউ লিখে formula_103, যেখানে formula_104 এবং formula_105, তবে অ্যাফাইন পারমিউটেশন সংশ্লিষ্ট সাদৃশ্যগত গতি দ্বারা সংজ্ঞায়িত করা হয় formula_106
তদুপরি, প্রতিটি অ্যাফাইন কক্সটার গ্রুপের মতো, অ্যাফাইন সিমেট্রিক গ্রুপ ট্রানসিটিভভাবে এবং ফ্রি গ্রুপ অ্যাকশন দ্বারা অ্যালকোভগুলির সেটে কার্যকর হয়: প্রতি দুটি অ্যালকোভের জন্য, একটি অনন্য গ্রুপ উপাদান এক অ্যালকোভকে অন্যটিতে পরিণত করে। অতএব, একটি অবাধ অ্যালকোভ formula_107 বেছে নেওয়া গ্রুপকে অ্যালকোভগুলির একে অপরের সাথে সম্পর্কিত করে: পরিচিতি উপাদান formula_107 এর সাথে সম্পর্কিত এবং অন্যান্য প্রতিটি গ্রুপ উপাদান সম্পর্কিত অ্যালকোভ formula_109 এর সাথে যা formula_107 চিত্র formula_111 এর অ্যাকশনের অধীনে।
গণিতগতভাবে formula_10 হলো অসীম দিহেড্রাল গ্রুপ, যা দুটি উৎপাদক formula_11 দ্বারা উৎপন্ন, এবং সম্পর্কগুলি হলো formula_12। গ্রুপের প্রতিটি অন্যান্য উপাদান formula_115 এবং formula_116 এর কপি দ্বারা একটি পরিবর্তনশীল গুণফল হিসেবে লেখা যেতে পারে।
সম্মিলিতভাবে, এফিন পারমিউটেশন formula_116 এর উইন্ডো নোটেশন হলো formula_118, যা প্রতিটি পূর্ণসংখ্যা এর জন্য formula_119 বিজেকশনটির সাথে সম্পর্কিত। এফিন পারমিউটেশন formula_115 এর উইন্ডো নোটেশন হলো formula_121, যা প্রতিটি পূর্ণসংখ্যা এর জন্য formula_122 বিজেকশনটির সাথে সম্পর্কিত। অন্যান্য উপাদানগুলির উইন্ডো নোটেশনগুলি হলো:
জ্যামিতিকভাবে, স্থানটি যাহাতে formula_10 কাজ করে তা একটি রৈখিক স্থান, যেখানে অসীম সংখ্যক সমানভাবে স্পেসড প্রতিফলন রয়েছে। যতটুকু বলেছি, formula_10 যা কাজ করে এমন স্থান একটি রৈখিক স্থান, যেখানে অসীম সংখ্যক সমানভাবে স্পর্শক বিন্দু রয়েছে। এটি স্বাভাবিকভাবে রৈখিক স্থান -কে বাস্তব রেখা formula_126 এর সাথে সংযুক্ত করা যেতে পারে, যেখানে formula_115 বিন্দু এর চারপাশে প্রতিবিম্ব এবং formula_116 বিন্দু এর চারপাশে প্রতিবিম্ব। এই ক্ষেত্রে, প্রতিবিম্ব formula_129 বিন্দু এর চারপাশে প্রতিবিম্বিত করে যেকোনো পূর্ণসংখ্যা এর জন্য, formula_130 এর সমন্বয় রেখাকে দ্বারা স্থানান্তরিত করে এবং formula_131 এর সমন্বয় রেখাকে দ্বারা স্থানান্তরিত করে।
অনেক বিন্যাস পরিসংখ্যান এবং সীমানাবদ্ধ বিন্যাসের যৌগিকতার অন্যান্য বৈশিষ্ট্যগুলো এফিন পরিস্থিতিতে সম্প্রসারিত হতে পারে।
একটি কক্সেটার গ্রুপ এর একটি উপাদান এর "দৈর্ঘ্য" formula_132 হলো সর্বনিম্ন সংখ্যা , যাতে কে টি কক্সেটার উৎপাদক formula_133 হিসাবে লিখা যেতে পারে।
জ্যামিতিকভাবে, formula_1 এর একটি উপাদান এর দৈর্ঘ্য হলো সেই প্রতিফলিত হাইপারপ্লেনগুলির সংখ্যা যা formula_107 এবং formula_136 কে আলাদা করে, যেখানে formula_107 হলো মৌলিক এলকোভ (যা কক্সেটার উৎপাদক formula_138 দ্বারা সীমানাবদ্ধ একটি সিম্পলেক্স)।
যতটুকু গণনা করা যায়, একটি অভ্যন্তরীণ পরিবর্তনশীলতার দৈর্ঘ্য বিপরীততার একটি উপযুক্ত ধারণার মাধ্যমে সংকেতিত হয়: একটি অভ্যন্তরীণ পরিবর্তনশীলতার জন্য
, দৈর্ঘ্য হলো 
formula_139
অথবা, এটি সমতুল্য বর্গের সংখ্যা যা formula_140 এর জন্য, যেখানে formula_141 এবং formula_142, এবং সমতুল্য সম্পর্ক অনুযায়ী formula_143 যদি formula_144 কোনও পূর্ণসংখ্যার জন্য
দৈর্ঘ্যের জন্য জেনারেটিং ফাংশন
formula_15 হলো
formula_146
এছাড়াও, বিন্যাসে পতন এর একটি এফিন রূপ রয়েছে: একটি এফিন বিন্যাসে অবস্থানের পতন হয়ে থাকে যদি formula_147।
অনুরূপভাবে, বিন্যাসে অবতরণের একটি অভিক্ষিপ্ত সদৃশ রূপ রয়েছে: একটি অভিক্ষিপ্ত বিন্যাস। একটি অভিক্ষিপ্ত বিন্যাসে যদি formula_147 হয়, তবে অবস্থান এ একটি অবতরণ থাকে। (আবর্তনশীলতার কারণে, -এর অবস্থান তে একটি অবতরণ থাকবে যদি এবং কেবল যদি সকল পূর্ণসংখ্যার এর জন্য formula_149 অবস্থানেও অবতরণ থাকে।) বীজগাণিতিকভাবে, অবতরণগুলি কক্সেটার গোষ্ঠীর দৃষ্টিকোণ থেকে ‘‘ডানদিকের অবতরণ’’ এর সাথে সম্পর্কিত; অর্থাৎ, হল -এর একটি অবতরণ যদি এবং কেবল যদি formula_150. বামদিকের অবতরণ (অর্থাৎ, সেই সূচক যার জন্য formula_151) হল বিপরীত অভিক্ষিপ্ত বিন্যাস formula_152-এর অবতরণ। সমতুল্যভাবে, এগুলি সেই মান যেগুলি থেকে পূর্বে অবস্থান নেয় ধারাবাহিকতায়:
formula_153.
জ্যামিতিকভাবে, তখনই এবং শুধুমাত্র তখনই -এর একটি অবতরণ হবে যদি formula_13-এর স্থির সমতল formula_107 এবং formula_156 এর মধ্যবর্তী অঞ্চলকে বিভক্ত করে।
যেহেতু অভিক্ষিপ্ত বিন্যাসের অবতরণ সংখ্যার জন্য প্রতিসম সংখ্যক সম্ভাবনা রয়েছে, কিন্তু অভিক্ষিপ্ত বিন্যাস অসীম সংখ্যক, তাই অবতরণ সংখ্যার ভিত্তিতে অভিক্ষিপ্ত বিন্যাসের জন্য একটি উৎপাদক ফাংশন সরলভাবে গঠন করা সম্ভব নয় (যা ঐলারীয় বহুপদীগুলির একটি অভিক্ষিপ্ত সদৃশ রূপ)।
formula_159 যেখানে হলো অভিক্ষিপ্ত বিন্যাস -এর অবতরণের সংখ্যা এবং 
formula_160 হচ্ছে -সূচকীয় ফাংশন।
যেকোনো দ্বৈতএকসংকেতী প্রতিফলন formula_56 পূর্ণসংখ্যাগুলিকে (সম্ভাব্য অসীম) চক্রের একটি তালিকায় বিভক্ত করে। প্রতিটি পূর্ণসংখ্যা এর জন্য, -কে ধারণকারী চক্রটি হলো
formula_162 
যেখানে সূচকীয় রূপান্তর ফাংশনীয় সংযোজন নির্দেশ করে। 
একটি অভিক্ষিপ্ত বিন্যাস এর জন্য, নিম্নলিখিত শর্তগুলি একে অপরের সমান: -এর সমস্ত চক্র সসীম -এর সসীম অর্ডার আছে,এবং -এর ভৌত ক্রিয়া -এ কমপক্ষে একটি স্থির বিন্দু আছে।
একটি উপাদান এর "প্রতিচ্ছবি দৈর্ঘ্য" formula_163 হলো সর্বনিম্ন সংখ্যা , এমন যে সেখানে প্রতিচ্ছবিগুলি formula_164 আছে, যাতে formula_165 হয়। (প্রতিসম
গ্রুপে, প্রতিচ্ছবি হলো স্থানান্তর, এবং একটি বিন্যাস -এর প্রতিচ্ছবি দৈর্ঘ্য হলো formula_166, যেখানে formula_167 হলো -এর চক্রের সংখ্যা।) 
, অভিক্ষিপ্ত বিন্যাস এর জন্য নিম্নলিখিত সূত্র প্রমাণিত হয়েছে: -এর প্রতিটি চক্রের জন্য, "ওজন" হিসেবে সংজ্ঞায়িত করা হয়েছে সেই পূর্ণসংখ্যা "k" যা এমনভাবে সংজ্ঞায়িত হয় যে, পরপর তালিকাভুক্ত এন্ট্রিগুলি মডুলো অনুযায়ী কংগ্রুয়েন্ট থাকলেও তারা ঠিক দ্বারা পার্থক্য করে। -এর চক্রের ওজনগুলির একটি যুগ্ম তৈরি করুন (একই চক্রের অনুবাদগুলি -এর গুণফল দ্বারা শুধুমাত্র একবার গননা করা হবে), এবং "শূন্যতা" formula_168 সংজ্ঞায়িত করুন সেই যুগ্মের সর্বনিম্ন সেট বিভাজন হিসেবে, যাতে প্রতিটি অংশের যোগফল 0 হয়। তাহলে, -এর প্রতিচ্ছবি দৈর্ঘ্য হলো
formula_169
যেখানে formula_85 হলো -এর অন্তর্নিহিত বিন্যাস।
প্রতিটি অভিক্ষিপ্ত বিন্যাস -এর জন্য, এমন একটি উপগোষ্ঠী নির্বাচন করা হয় formula_15 -এর যা formula_172, formula_173, এবং এই সেমিডাইরেক্ট প্রোডাক্ট দ্বারা যা মানানসই মানক রূপ formula_174 এবং এই আধা-প্রত্যক্ষ পণ্য দ্বারা যা মানানসই মানক রূপ formula_174 নির্দেশিত হয়, প্রতিচ্ছবি দৈর্ঘ্যগুলো যোগফলযোগ্য, অর্থাৎ, formula_176।
একটি কক্সেটার গ্রুপের উপাদান -এর জন্য একটি "হ্রাসকৃত শব্দ" হলো formula_177 এর একটি যুগ্ম যা কক্সেটার উৎপাদকদের সর্বনিম্ন সম্ভব দৈর্ঘ্যের, এমনভাবে যে formula_178।
উদাহরণস্বরূপ, সমাপ্ত প্রতিসম
গ্রুপ formula_179 -এ, উপাদান formula_180 সম্পূর্ণভাবে আদান-প্রদানযোগ্য, কারণ এর দুটি হ্রাসকৃত শব্দ formula_181 এবং formula_182 একে অপরের সাথে আদান-প্রদান করে স্থানান্তরিত করা যায়, কিন্তু formula_183 সম্পূর্ণভাবে আদান-প্রদানযোগ্য নয়, কারণ formula_184 থেকে formula_185 হ্রাসকৃত শব্দে পৌঁছানোর জন্য কোন আদান-প্রদান সম্ভব নয়।
-এ এই ফলাফলটি অ্যাফাইন পারমুটেশনগুলিতে সম্প্রসারিত করা হয়েছে: একটি অ্যাফাইন পারমুটেশন সম্পূর্ণভাবে কমিউটেটিভ হয় যদি এবং শুধুমাত্র যদি এমন কোনো পূর্ণসংখ্যা , , এবং না থাকে, যাদের জন্য formula_187। 
যে কোনো একক প্যাটার্ন পরিহারকারী এফিন প্রতিসমের সংখ্যা সসীম হয় যদি এবং শুধু যদি 321 প্যাটার্নটি পরিহার করে, অতএব, বিশেষ করে, অনন্ত সংখ্যক পুরোপুরি কমিউটেটিভ এফিন প্রতিসম রয়েছে। এগুলি দৈর্ঘ্য অনুসারে গণনা করা হয়েছে ।
formula_15 এর পরাবৃত্তি উপগোষ্ঠীসমূহ এবং তাদের অংশ প্রতিনিধিগুলি একটি সমৃদ্ধ গাণিতিক কাঠামো প্রদান করে। প্রতিসম গ্রুপের অন্যান্য দিক যেমন তাদের ব্রুহাত আদেশ এবং প্রতিনিধিত্ব তত্ত্বও গাণিতিক পদ্ধতিসমূহের মাধ্যমে বোঝা যেতে পারে।
একটি "মানক প্যারাবোলিক উপগ্রিুপ" যা একটি কক্সেটার গ্রুপ এর একটি উপগ্রুপ, এটি তার কক্সেটার উত্পাদক সেটের একটি উপসেট দ্বারা উত্পন্ন একটি উপগ্রুপ। এফিম প্রতিসম গ্রুপের সর্বাধিক প্যারাবোলিক উপগ্রুপগুলো সেগুলি, যা একটি একক কক্সেটার উত্পাদক বাদ দিয়ে আসে formula_15 তে, সব সর্বাধিক প্যারাবোলিক উপগ্রুপ formula_65 সীমিত প্রতিসম গ্রুপের সমরূপ। উপগোষ্ঠীটি যা উপসেট formula_191 দ্বারা উত্পন্ন, এটি এমন সমস্ত এফিম পেরমুটেশন নিয়ে গঠিত যা সেগুলি স্থির রাখে অন্তর্বর্তীকালীন formula_192, অর্থাৎ, যেগুলি এই অন্তর্বর্তীকালীন প্রতিটি উপাদানকে অন্তর্বর্তীকালীন অন্য উপাদানে মানচিত্র করে।
একটি স্থির উপাদান যার মান formula_193 এর জন্য, ধরা যাক formula_194 কক্সেটার উত্পাদকগুলির সর্বাধিক সঠিক উপসেট যা formula_13 বাদ দিয়ে আসে, এবং formula_196 দ্বারা প্রকাশিত প্যারাবোলিক উপগোষ্ঠীটি বোঝানো হয় যা দ্বারা উত্পন্ন। প্রতিটি formula_197 এর একটি স্বতন্ত্র উপাদান রয়েছে যার দীর্ঘতায় সর্বনিম্ন মান। এমন প্রতিনিধিদের সংগ্রহ, যা formula_198 দ্বারা প্রকাশিত, নিম্নলিখিত এফিম পেরমুটেশনগুলি নিয়ে গঠিত:
formula_199
বিশেষ ক্ষেত্রে যেখানে formula_200, তাহলে formula_201 হলো formula_65 এর একটি মানক অনুলিপি formula_15 এর মধ্যে, formula_204 এর উপাদানগুলি প্রাকৃতিকভাবে "ব্যাকাস চিত্র" দ্বারা উপস্থাপিত হতে পারে: পূর্ণসংখ্যাগুলি একটি অসীম স্ট্রিপে প্রস্থে সাজানো থাকে, যা সারিতে ধারাবাহিকভাবে বাড়তে থাকে এবং তারপর উপরে থেকে নিচে চলে; পূর্ণসংখ্যাগুলি বৃত্তাকৃত হয় যদি সেগুলি মিনিমাম কোসেট প্রতিনিধির জানালা প্রবেশদ্বারের সঠিক উপরে থাকে।যেমন উদাহরণস্বরূপ, ন্যূনতম কোসেট প্রতিনিধি formula_205 সঠিক ব্যাকাস চিত্র দ্বারা ডানদিকে উপস্থাপিত হয়েছে। ব্যাকাস চিত্র থেকে প্রতিনিধি এর দৈর্ঘ্য হিসাব করতে, প্রতিটি সারিতে শেষ বৃত্তাকৃত উপাদানের থেকে ছোট যেসব বৃত্তহীন সংখ্যা আছে, সেগুলির মোট যোগফল করা হয়। (দেখানো উদাহরণে, এটি formula_206 প্রদান করে।)
formula_207এর জন্য অন্যান্য সংমিশ্রণ মডেলগুলি কোর পার্টিশন (যে পূর্ণসংখ্যা বিভাজনগুলিতে কোনো হুক দৈর্ঘ্য দ্বারা বিভাজ্য নয়) বা সীমানিত পার্টিশন (পূর্ণসংখ্যা বিভাজন যেখানে কোনো অংশ − 1 এর চেয়ে বড় নয়) এর মাধ্যমে প্রদান করা যেতে পারে। এই সম্বন্ধের অধীনে, এটি প্রমাণ করা যায় যে দুর্বল ব্রুহাত আদেশ formula_208 এর উপর একটি নির্দিষ্ট উপগোষ্ঠীর সমরূপ যা ইয়ং-এর স্তম্ভ এর একটি উপ-অংশের সমান।
ব্রুহাট ক্রমformula_15
এর উপর নিম্নলিখিত সংমিশ্রণমূলক বাস্তবায়ন রয়েছে। যদি একটি এফিম পেরমুটেশন হয় এবং এবং পূর্ণসংখ্যা হয়, তবে সংজ্ঞায়িত করা হয় formula_210 যে সংখ্যাটি এর সমষ্টি, যাতে formula_211 এবং formula_212। (যেমন, formula_213 হলে, formula_214: তিনটি প্রাসঙ্গিক মান হল formula_215, যেগুলি যথাক্রমে দ্বারা 1, 2 এবং 4 তে মানচিত্রিত হয়।) তারপর, দুটি এফিম পেরমুটেশন , এর জন্য, formula_216 হবে ব্রুহাত আদেশে যদি এবং শুধুমাত্র যদি formula_217 সমস্ত পূর্ণসংখ্যার জন্য , ।
সীমিত প্রতিসম গ্রুপ, রোবিনসন–শেনস্টেড সঙ্গতিপূর্ণতা গোষ্ঠী এবং একই আকারের স্ট্যান্ডার্ড ইয়ং টেবলোx এর জোড় formula_218 এর মধ্যে একটি বিয়েকশন প্রদান করে। এই বিয়েকশনটি কম্বিনেটোরিক্স এবং সিমেট্রিক গোষ্ঠীর উপস্থাপনা তত্ত্ব এ একটি কেন্দ্রীয় ভূমিকা পালন করে। উদাহরণস্বরূপ, কাজডান–লুসটিগ তত্ত্ব এর ভাষায়, দুটি পেরমুটেশন একে অপরের বাম কোষে থাকে যদি এবং শুধুমাত্র যদি তাদের রোবিনসন–শেনস্টেডের অধীনে চিত্রিত টেবলো একই হয়, এবং একই ডান কোষে থাকে যদি এবং শুধুমাত্র যদি তাদের চিত্রিত টেবলো একই হয়।-এ, জিয়ান-ই শি দেখিয়েছিলেন যে formula_15 এর বাম কোষগুলি এখন "ট্যাবলয়েড" দ্বারা সূচকিত হয়, এবং -এ, তিনি একটি অ্যালগরিদম প্রদান করেছিলেন যা একটি এফিম পেরমুটেশনের জন্য টেবলো এর সমতুল্য ট্যাবলয়েড গণনা করে। -এ, লেখকরা শি'র কাজ সম্প্রসারণ করে formula_15 এবং formula_221 এর মধ্যে একটি বিয়েক্টিভ মানচিত্র প্রদান করেন, যা একই আকারের দুটি ট্যাবলয়েড এবং একটি পূর্ণসংখ্যার ভেক্টর ধারণ করে, যার এন্ট্রিগুলি নির্দিষ্ট অগ্রাধিকার সম্পর্ক পূর্ণ করে। তাদের প্রক্রিয়া এফিম পেরমুটেশনের ম্যাট্রিক্স উপস্থাপনা ব্যবহার করে এবং ছায়া নির্মাণ কে সাধারণীকৃত করে, যা -এ পরিচিত হয়েছিল।
কিছু পরিস্থিতিতে, কেউ formula_222-এ অথবা এলকোভ এফিম প্রতিসম গ্রুপের ক্রিয়ার বিপরীত কার্যক্রম বিবেচনা করতে চায়, যা উপরে দেওয়া হয়েছে।
formula_15 এর formula_222 উপর কম্বিনেটোরিক্যাল ক্রিয়ায়, উৎপাদক formula_13 "মান" এবং পরিবর্তন করে কাজ করে। বিপরীত ক্রিয়ায়, এটি পরিবর্তে "অবস্থান" এবং এর মধ্যে প্রবেশস্থল পরিবর্তন করে। একইভাবে, একটি সাধারণ প্রতিফলনের ক্রিয়া হলো "অবস্থান" এবং এ প্রবেশস্থল পরিবর্তন করা, প্রতিটি এর জন্য, এমনকি সমস্ত ইনপুট যেগুলি অথবা এর সাথে মডুলো সমান নয়, সেগুলিকে অপরিবর্তিত রাখা।
formula_15 এর জ্যামিতিক ক্রিয়ায়, উৎপাদক formula_13 একটি আলকোভ -এর উপর কাজ করে এটি মৌলিক আলকোভ এর একটি সীমানা সমতলে প্রতিফলিত করে। বিপরীত ক্রিয়ায়, এটি -কে তার "নিজস্ব" সীমানা সমতলে প্রতিফলিত করে। এই দৃষ্টিভঙ্গি থেকে, একটি হ্রাসকৃত শব্দ একটি "আলকোভ হাঁটা"-এর সাথে সম্পর্কিত যা টেসেলেটেড স্পেস -এ ঘটে।
এফিম প্রতিসম গ্রুপগুলো অন্যান্য অনেক গাণিতিক অবজেক্টের সাথে ঘনিষ্ঠভাবে সম্পর্কিত।
-এ, একটি সম্পর্ক প্রদান করা হয়েছে যেখানে এফিম প্রতিসম গ্রুপের উপাদান এবং জাগলিং নকশাগুলো সাইটসওয়াপ নোটেশনএর একটি সংস্করণে এনকোড করা হয়েছে। এখানে, একটি জাগলিং নকশা যার পিরিয়ড, তা হলো একটি সিকোয়েন্স formula_24 যা অ-নেতিবাচক পূর্ণসংখ্যার (কিছু নির্দিষ্ট সীমাবদ্ধতার সাথে) একটি সিকোয়েন্স, যা একটি জাগলারের দ্বারা নিক্ষিপ্ত বলগুলির আচরণ বর্ণনা করে, যেখানে সংখ্যা formula_229 -তম নিক্ষেপের আকাশে থাকার সময় (অথবা, নিক্ষেপের উচ্চতা) নির্দেশ করে। নকশা বলের সংখ্যা হলো গড়। formula_230। 
এহেনবার্গ–রেডি সম্পর্ক প্রতিটি যুগের জাগলিং নকশা formula_231 এর সাথে সম্পর্কিত করে formula_232 ফাংশনটি, যা দ্বারা সংজ্ঞায়িত হয়
formula_233 যেখানে সিকোয়েন্সের সূচকগুলো মডুলো নেওয়া হয়। তারপর formula_234 একটি এফিন পেরমুটেশন formula_15 এর মধ্যে, এবং তদ্ব্যতীত, প্রতিটি এফিন পেরমুটেশন এইভাবে একটি জাগলিং নকশা থেকে উদ্ভূত হয়। এই বায়েকশনের অধীনে, এফিন পেরমুটেশনের দৈর্ঘ্য একটি প্রাকৃতিক পরিসংখ্যান দ্বারা জাগলিং প্যাটার্নে সংকেতিত হয়:
formula_236যেখানে formula_237 হলো a এর আর্ক চিত্রে (যতটা পরিধির মধ্যে) ক্রসিং এর সংখ্যা। এটি অ্যাফাইন পেরমুটেশনের জন্য দৈর্ঘ্য দ্বারা উৎপন্ন ফাংশনের একটি মৌলিক প্রমাণ প্রদান করে। যেমন উদাহরণস্বরূপ, জাগলিং নকশা 441 এর জন্য formula_26 এবং formula_239। অতএব, এটি এফিন পেরমুটেশন formula_240 এর সাথে সম্পর্কিত। এই জাগলিং নকশাতে চারটি ক্রসিং রয়েছে, এবং অ্যাফাইন পেরমুটেশনের দৈর্ঘ্য formula_241।
সামান্য কোসেট রিপ্রেজেন্টেটিভদের জন্য উৎপত্তি ফাংশন formula_207 এর দৈর্ঘ্য দ্বারা এই একই কৌশলগুলি ব্যবহার করা যেতে পারে।
একটি সসীম-মাত্রিক বাস্তব অন্তঃউৎপাদন স্থান-এ, একটি "প্রতিফলন" হলো একটি রৈখিক রূপান্তর যা একটি রৈখিক অতিরিক্ত সপাটকে বিন্দু-ভিত্তিকভাবে স্থির রাখে এবং সপাটের প্রতি আর্পিত ভেক্টরটিকে বিপরীত করে। এই ধারণাটি অন্যান্য ক্ষেত্র-এর জন্যও সম্প্রসারিত হতে পারে। বিশেষভাবে, একটি জটিল অন্তঃউৎপাদন স্থানে, একটি "প্রতিফলন" হলো একটি ঊনিটারি রূপান্তর যা সসীম আদেশ সহ একটি অতিরিক্ত সপাটকে স্থির রাখে। এটি নির্দেশ করে যে, যেসব ভেক্টর সপাটের প্রতি আর্জিত, সেগুলি এর ঊইজেনভেক্টর, এবং সংশ্লিষ্ট ঊইজেনমান হলো একটি জটিল ঊনিতির মূল। একটি "জটিল প্রতিফলন গোষ্ঠী" হল একটি সসীম গ্রুপ যা একটি জটিল ভেক্টর স্থানে প্রতিফলন দ্বারা সৃষ্ট রৈখিক রূপান্তরগুলির সমষ্টি।
জটিল প্রতিফলন গ্রুপগুলোকে সম্পূর্ণরূপে শ্রেণীবদ্ধ করা হয়েছে -এ: প্রতিটি জটিল প্রতিফলন গ্রুপ অমতান্ত্রিত জটিল প্রতিফলন গ্রুপগুলির একটি গুণফলসমূহের সাথে সমরূপ, এবং প্রতিটি অমতান্ত্রিত গ্রুপ বা একটি অসীম পরিবারে অন্তর্ভুক্ত formula_243 (যেখানে , , এবং হলো ধনাত্মক পূর্ণসংখ্যা, এবং কে বিভাজ্য) অথবা 34টি অন্যান্য (যেগুলোকে "অস্বাভাবিক" বলা হয়) উদাহরণের একটি। formula_244 গ্রুপ হলো সাধারণীকৃত প্রতিসম গ্রুপ: গণিতিকভাবে, এটি হলো রিথ পণ্য formula_245 যা চক্রীয় গোষ্ঠী formula_246 এবং প্রতিসম গ্রুপ formula_65 এর গুণফল। বাস্তবে, গ্রুপ উপাদানগুলি মনোমিয়াল ম্যাট্রিক্স দ্বারা উপস্থাপিত হতে পারে (যে ম্যাট্রিক্সের প্রতিটি সারি এবং কলামে একটি অ-শূন্য উপাদান থাকে) যাদের অ-শূন্য উপাদানগুলি সকলেই তম একক রুট। formula_243 গ্রুপগুলি হলো formula_244 এর উপগ্রুপ, এবং বিশেষভাবে formula_250 গ্রুপটি ঐসব ম্যাট্রিক্স দ্বারা গঠিত যেখানে অ-শূন্য উপাদানগুলির গুণফল 1 এর সমান।
-এ, শি প্রমাণ করেছেন যে, এফিন প্রতিসম গ্রুপ হলো formula_251 পরিবারটির একটি "সাধারণ আচ্ছাদন" পরবর্তী অর্থে: প্রতিটি ধনাত্মক পূর্ণসংখ্যা এর জন্য, formula_15 থেকে formula_250 এ একটি সার্জেকশন formula_254 বিদ্যমান, এবং এই মানচিত্রগুলি স্বাভাবিক সার্জেকশনগুলির সাথে সঙ্গতিপূর্ণ, যেমন formula_255 যখন formula_256, যা প্রতিটি উপাদানকে তম শক্তিতে উত্তোলন করা থেকে আসে। অতিরিক্তভাবে, এই প্রক্ষেপণগুলি প্রতিফলন গ্রুপ কাঠামোকে সম্মান করে, অর্থাৎ, formula_15 এর প্রতিটি প্রতিফলনের চিত্র formula_254 এর মাধ্যমে formula_250 এ একটি প্রতিফলন হবে; এবং একইভাবে, যখন formula_260, formula_1 এর মানক কক্সিটার উপাদান formula_262 এর চিত্র একটি কক্সিটার উপাদান হবে formula_263 এ।
প্রতিটি এফিন কক্সিটার গ্রুপ একটি অ্যাফাইন লাই অ্যালজেবরার সাথে সম্পর্কিত, যা একটি নির্দিষ্ট অসীম-মাত্রিক অ-সংযুক্ত অ্যালজেবরা, যার উপস্থাপনামূলক গুণাবলী অত্যন্ত সুন্দর এই সম্পর্কের মধ্যে, কক্সিটার গ্রুপটি লাই বীজগণিত রুট স্থান (যা কার্টান সাবঅ্যালজেবরার দ্বৈত) এর প্রতিসম গ্রুপ হিসেবে উদ্ভূত হয়। এফিন লাই বীজগণিত শ্রেণীবিভাগে, যা formula_1 এর সাথে সম্পর্কিত, এটি (অ-ঘূর্ণিত) ধরনের formula_265 এবং এর কার্টান ম্যাট্রিক্স হলো formula_266 যখন formula_267 এবং formula_268 for formula_267 and
formula_270 (একটি সার্কুল্যান্ট ম্যাট্রিক্স) যখন formula_271।
অন্যান্য ক্যাক–মুডি অ্যালজেবরার মতো, এফিন লাই বীজগণিতগুলো ওয়েইল–ক্যাক চরিত্র সূত্র পূর্ণ করে, যা বীজগণিতের চরিত্রগুলি তাদের সর্বোচ্চ ওজন এর দ্বারা প্রকাশ করে। অ্যাফাইন লাই অ্যালজেবরার ক্ষেত্রে, ফলস্বরূপ সৃষ্ট সনাক্তকরণগুলি ম্যাকডোনাল্ড সনাক্তকরণ এর সমতুল্য। বিশেষভাবে, formula_272 ধরনের এফিন লাই বীজগণিতের জন্য, যা এফিন প্রতিসম গ্রুপ formula_10 এর সাথে সম্পর্কিত, সংশ্লিষ্ট ম্যাকডোনাল্ড সনাক্তকরণটি জ্যাকোবি ত্রিপল পণ্য এর সমতুল্য।
কক্সিটার গ্রুপগুলোর কিছু বিশেষ গুণাবলী রয়েছে যা সব গ্রুপের মধ্যে ভাগ করা হয় না। এর মধ্যে রয়েছে যে তাদের গণিত বিষয়ক শব্দ সমস্যা অবিচ্ছেদ্য (অর্থাৎ, এমন একটি আলগোরিদম রয়েছে যা নির্ধারণ করতে পারে যে কোনো নির্দিষ্ট উৎপাদিত উপাদান একক উপাদান আইডেন্টিটি এর সমান কি না) এবং তারা রৈখিক গোষ্ঠী (অর্থাৎ, তারা একটি ক্ষেত্রের উপর বিপরীতযোগ্য ম্যাট্রিক্সের গ্রুপ দ্বারা উপস্থাপিত হতে পারে)।
প্রতিটি কক্সিটার গ্রুপ একটি আরটিন–টিটস গোষ্ঠী formula_274 এর সাথে সম্পর্কিত, যা একটি অনুরূপ উপস্থাপনা দ্বারা সংজ্ঞায়িত হয়, যেখানে প্রতিটি উৎপাদক এর জন্য formula_275 সম্পর্ক বাদ দেওয়া হয়। বিশেষভাবে, formula_1 এর সাথে সম্পর্কিত আরটিন–টিটস গোষ্ঠী টি উপাদান দ্বারা উৎপন্ন হয়, যা formula_277 দ্বারা প্রকাশিত হয় এবং সম্পর্কগুলির মধ্যে থাকে formula_278 যেখানে formula_279 (এবং অন্য কোনো সম্পর্ক নেই), যেখানে পূর্বের মতো সূচকগুলি দ্বারা মডুলো হিসাবে নেওয়া হয় (অতএব formula_280)। কক্সিটার গ্রুপের আর্টিন-টিটস গ্রুপগুলির অনেক সুন্দর বৈশিষ্ট্য রয়েছে বলে অনুমান করা হয়। উদাহরণস্বরূপ, এগুলি টর্শন-মুক্ত, এদের কেন্দ্র তুচ্ছ, শব্দ সমস্যা সমাধানযোগ্য এবং এরা formula_281 অনুমানকে সিদ্ধ করে বলে মনে করা হয়। এই অনুমানগুলি সমস্ত আর্টিন-টিটস গ্রুপের জন্য সত্য বলে জানা যায়নি, তবে সালে দেখিয়েছেন যে formula_282 এই বৈশিষ্ট্যগুলি ধারণ করে। (পরে, এইগুলি "এফিন" কক্সিটার গ্রুপের সাথে সম্পর্কিত আর্টিন-টিটস গ্রুপগুলির জন্য প্রমাণিত হয়েছে।) এফিন প্রতিসম গ্রুপ ক্ষেত্রে, এই প্রমাণগুলি আরটিন–টিটস গ্রুপের উপর সংশ্লিষ্ট গারসাইড কাঠামো ব্যবহার করে।
আরটিন–টিটস গোষ্ঠীগুলিকে কখনও কখনও "সাধারণীকৃত ব্রেইড গ্রুপ" হিসেবে অভিহিত করা হয়, কারণ (সীমিত) প্রতিসম গ্রুপ formula_283 এর আরটিন–টিটস গ্রুপ হচ্ছে ব্রেইড গ্রুপটি স্ত্রান্ডে।
সব আরটিন–টিটস গ্রুপের জন্য জ্যামিতিক ব্রেইডের মাধ্যমে একটি প্রাকৃতিক উপস্থাপনা নেই। তবে, হাইপেরোঅকটাহেড্রাল গোষ্ঠী formula_284 এর আরটিন–টিটস গোষ্ঠী (জ্যামিতিকভাবে, "n"-মাত্রিক হাইপারকিউব এর প্রতিসম গ্রুপ; সংযোজকভাবে, আকার "n" এর সাইনযুক্ত প্রতিস্থাপন গ্রুপ) এর একটি উপস্থাপনা রয়েছে: এটি ব্রেইড গ্রুপের একটি উপগ্রুপ দ্বারা প্রদত্ত, যা formula_285টি স্ত্রান্ডের ব্রেইড গ্রুপ থেকে গঠিত, যেখানে একটি নির্দিষ্ট স্ত্রান্ড শুরু অবস্থানে ফিরে আসে, অথবা সমতুল্যভাবে এটি টি স্ত্রান্ডের ব্রেইড গ্রুপ হিসেবে উপস্থাপিত হয় একটি অ্যানুলার অঞ্চলে। এছাড়াও, হাইপেরোঅকটাহেড্রাল গ্রুপ formula_286 এর আরটিন–টিটস গ্রুপ একটি সেমিডাইরেক্ট পণ্যের আকারে লেখা যেতে পারে, যা formula_287 এবং একটি অর্ন্তগত চক্রাকার গ্রুপ সমন্বয়ে গঠিত।এই অংশে, formula_282 কে জ্যামিতিক ব্রেইড নিয়ে গঠিত একটি নির্দিষ্ট উপগোষ্ঠী হিসাবে ব্যাখ্যা করা যেতে পারে এবং এটি একটি রৈখিক গোষ্ঠী হিসাবেও পরিচিত।
এফিন প্রতিসম গ্রুপ হলো "বিস্তৃত এফিন প্রতিসম গ্রুপ"র একটি উপগ্রুপ। বিস্তৃত গ্রুপটি ওথ প্রোডাক্ট formula_289 এর সাথে অনুরূপ। এর উপাদানগুলো হলো "বিস্তৃত এফিন প্রতিস্থাপন": formula_38 এর মতো bijections, যেখানে formula_41 সকল পূর্ণসংখ্যার জন্য সত্য।এফিন প্রতিসম গ্রুপের বিপরীতে, বিস্তৃত এফিন প্রতিসম গ্রুপ একটি কক্সেটর গ্রুপ নয়। তবে এর একটি প্রাকৃতিক উৎপাদন সেট রয়েছে, যা formula_1 এর জন্য কক্সেটর উৎপাদন সেটকে সম্প্রসারিত করে: "শিফট অপারেটর" formula_293, যার উইন্ডো সূচক হলো formula_294, এটি সরল প্রতিফলনের সাথে বিস্তৃত গ্রুপটি উৎপন্ন করে, অতিরিক্ত সম্পর্ক formula_295 এর অধীনে।
এফিন প্রতিসম গ্রুপ formula_15-এর জ্যামিতিক ক্রিয়া এটিকে প্রাকৃতিকভাবে এফিন কক্সেটার গ্রুপের একটি পরিবারে স্থান দেয়, যেগুলির প্রতিটি একটি অনুরূপ জ্যামিতিক ক্রিয়া একটি এফিন স্থানে সম্পাদন করে। formula_15-এর কম্বিনেটোরিয়াল বর্ণনাও এই গ্রুপগুলির অনেকের জন্য সম্প্রসারিত করা যেতে পারে:কিছু প্রতিস্থাপন গ্রুপের স্বতঃসিদ্ধ বর্ণনা দেন, যা formula_222-এর উপর কার্যক্রম চালায় (যা "জর্জ গোষ্ঠী" নামে পরিচিত, জর্জ লুস্জটিগের সম্মানে)। তিনি দেখান যে এই গোষ্ঠীগুলি ঠিক "ক্লাসিক্যাল" কক্সেটার গ্রুপ, যা সসীম এবং এফিন টাইপ A, B, C এবং D এর। (এফিন কক্সেটার গ্রুপগুলির শ্রেণিবিন্যাসে, এফিন প্রতিসম গ্রুপ হলো টাইপ A)। অতএব, অবতরণ, বিপর্যয় ইত্যাদির কম্বিনেটোরিয়াল ব্যাখ্যা এই ক্ষেত্রেও প্রযোজ্য। প্যারাবলিক কোশেন্টের সর্বনিম্ন দৈর্ঘ্যের কোসেট প্রতিনিধিদের অ্যাবাকাস প্রতিরূপগুলিও এই ক্ষেত্রে সম্প্রসারিত হয়েছে।
কক্সেটার গ্রুপের সাধারণ অধ্যয়নকে বলা যেতে পারে যে, এটি প্রাচীন গ্রীসে নিয়মিত পলিহেড্রা (প্ল্যাটনিক সলিডস) শ্রেণীবদ্ধ করার মাধ্যমে প্রথম শুরু হয়েছিল। আধুনিক পদ্ধতিগত অধ্যয়ন (যা গাণিতিক এবং ভৌত সংজ্ঞাগুলিকে সংযুক্ত করে সীমিত এবং এফিন কক্সেটার গ্রুপগুলির) কক্সেটারের ১৯৩০-এর দশকের কাজ থেকে শুরু হয়েছিল। এফিন প্রতিসম গ্রুপের কম্বিনেটোরিয়াল বর্ণনা প্রথম এর কাজে প্রকাশ পায়, এবং দ্বারা এর উপর বিস্তার ঘটানো হয়েছিল; উভয় লেখক কম্বিনেটোরিয়াল বর্ণনাটি ব্যবহার করেছিলেন formula_15 এর কজদান–লুসতিগ সেলগুলি অধ্যয়ন করতে। কম্বিনেটোরিয়াল সংজ্ঞাটি যে গাণিতিক সংজ্ঞার সাথে সঙ্গতিপূর্ণ, তার প্রমাণ প্রদান করেছিলেন।