رضا میرزائی، مجتبی حیدری،
دوره ۳، شماره ۳ - ( ۹-۱۳۹۶ )
چکیده
فرض کنیم یک عمل دیفرانسیل‌پذیر گروه لی بر خمینۀ دیفرانسیل‌پذیر و فضای مداری حاصل با توپولوژی خارج قسمتی است. بعد نقص همگنی عمل بر نامیده می‌شود. اگر یک خمینه دیفرانسیل‌پذیر است و تحت عمل گروه لی همبند و فشرده از نقص همگنی یک باشد، آن‌گاه با یکی از فضاهای ، ، یا همانریخت است. در این مقاله فرض می‌کنیم که فضای هذلولوی تحت عمل زیرگروه بسته و همبند از نقص همگنی دو دارد. آن‌گاه ثابت می‌کنیم فضای مداری آن با یا همانریخت است. هم‌چنین ثابت می‌کنیم همۀ مدارها با وابرریخت هستند، یا اعداد صحیح و نامنفی و وجود دارند چنان‌که بعضی از مدارها با و سایر مدارها با وابرریخت هستند که یک کره یا یک ابررویه همگن از کره و یا یک مارپیچ در فضای اقلیدسی است.
