Ìܼ¡

½ä²ó·²

[ÄêµÁ]·²G¤Î¸µa¤ËÂФ·¤Æ¡¢an¤Î·Á¤Î¸µ(n¤ÏÀ°¿ô¡ËÁ´ÂΤκî¤ë½¸¹ç¤ò<a>¤Çɽ¤¹¡£

a>={¡Ä, a-3, a-2, a-1, a0, a1, a2, a3, ¡Ä}

[ÄêµÁ]G=<a>¤¬¤¢¤ë¤È¤­¡¢<a>¤Ï½ä²ó·²¤Ç¤¢¤ë¤È¤¤¤¤¡¢a¤Ï¤½¤ÎÀ¸À®¸µ¤È¤¤¤¦¡£

¡¡À¸À®¸µ¤Ï1¤Ä¤È¤Ï¸Â¤é¤Ê¤¤¡£

[Îã]Z¤Ï²ÃË¡¤Ë´Ø¤·¤ÆÌµ¸Â½ä²ó·²¤Ç¡¢¤½¤ÎÀ¸À®¸µ¤Ï1,-1¤Ç¤¢¤ë¡£¡¡¡þ

½ä²óÉôʬ·²

[ÄêÍý]<a>¤ÏG¤ÎÉôʬ·²¤Ç¤¢¤ë¡£

[¾ÚÌÀ¤ÎÊý¿Ë]<a>¤ÏG¤Î¸µ¤«¤éÀ®¤ë½¸¹ç¤Ç¤¢¤ë¤¿¤á¡¢Éôʬ·²¤ÎȽÄêË¡¤òÍѤ¤¤ë¡£

[¾ÚÌÀ]

[1]¤Þ¤º¡¢<a>¤¬ÀѤËÊĤ¸¤Æ¤¤¤ë¤³¤È¤ò¼¨¤¹¡£

a>¤Ë°¤¹¤ë¸µ¤Ïa¤ÎÎß¾è¤Ç¤¢¤ë¤¿¤á¡¢2¤Ä¤«¤±¤ë¤Èaman=am+n¤È¤Ê¤ê¡¢·ë¶Éa¤ÎÎß¾è¤Ç¤¢¤ë¡£

¤è¤Ã¤Æ¡¢<a>¤ÏÀѤˤĤ¤¤ÆÊĤ¸¤Æ¤¤¤ë¡£

[2]a¤Î0¾è¤Ïñ°Ì¸µ¤À¤«¤é¡¢Ã±°Ì¸µ¤Ï<a>¤Ë°¤¹¤ë¡£

[3](an)-1=a-n¤À¤«¤é¡¢<a>¤Ë°¤¹¤ë¸µ¤ÎµÕ¸µ¤Ï¡¢¤Þ¤¿<a>¤Ë°¤¹¤ë¡£

¤æ¤¨¤Ë¡¢[1]¡Á[3]¤è¤ê¡¢<a>¤ÏG¤ÎÉôʬ·²¤Ç¤¢¤ë¡£¡¡¢¢

[ÄêµÁ]·²G¤ÎÉôʬ·²¤ÎÃæ¤Ç<a>¤Î·Á¤Î¤â¤Î¤ò¡¢G¤Î½ä²óÉôʬ·²¤È¤¤¤¦¡£

[ÄêµÁ]G¼«¿È¤¬¤¢¤ë½ä²óÉôʬ·²¤ËÅù¤·¤¤¤È¤­¡¢Â¨¤ÁG=<a>¤Ç¤¢¤ë¤È¤­¡¢G¤Ï½ä²ó·²¤È¤¤¤¦¡£
¤³¤Î¤È¤­¡¢a¤Ï½ä²ó·²G¤ÎÀ¸À®¸µ¤È¤¤¤¦¡£

½ä²ó·²¤È¥¢¡¼¥Ù¥ë·²¤Î´Ø·¸

[ÄêµÁ]½ä²ó·²¤Ï¥¢¡¼¥Ù¥ë·²¤Ç¤¢¤ë¡£

[¾ÚÌÀ¤ÎÊý¿Ë]½ä²ó·²¤Ï·²¤Ç¤¢¤ë¤¿¤á¡¢¸ò´¹Ë¡Â§¤À¤±¤ò³Îǧ¤¹¤ì¤Ð¤è¤¤¡£

[¾ÚÌÀ]G=<a>¤ò½ä²ó·²¤È¤¹¤ë¡£

2¤Ä¤Î¸µam¤Èan¤ò¼è¤ë¤È¡¢

  • aman=am+n
  • anam=an+m

¤³¤³¤Ç¡¢m+n=n+n¤Ç¤¢¤ë¤³¤È¤òÍѤ¤¤ë¤È¡¢aman=anam¤¬À®¤êΩ¤Ä¡£¤Ä¤Þ¤ê¡¢¸ò´¹Ë¡Â§¤¬À®¤êΩ¤Ä¡£

¤æ¤¨¤Ë¡¢½ä²ó·²G¤Ï¥¢¡¼¥Ù¥ë·²¤Ç¤¢¤ë¡£¡¡¢¢

½ä²ó·²¤Î°Ì¿ô

[ÄêÍý]·²G¤Î¸µa¤Î°Ì¿ô¤Ï¡¢½ä²óÉôʬ·²<a>¤Î°Ì¿ô¤Ë°ìÃפ¹¤ë¡£
|a|=|<a>|

[¾ÚÌÀ¤ÎÊý¿Ë]

[1]·²G¤Î¸µa¤Î°Ì¿ô¤¬Í­¸Â¤Î¾ì¹ç

a¤Î°Ì¿ô¤òk¤È¤¹¤ë¡£

a>={e,a,a2,¡Ä,ak-1}

|<a>|=k

[2]·²G¤Î¸µa¤Î°Ì¿ô¤¬Ìµ¸Â¤Î¾ì¹ç

a>={¡Ä,a-2,a-1e,a,a1,a2,¡Ä}

|<a>|=¡ç

½ä²ó·²¤ÎÉôʬ·²

[ÄêÍý]½ä²ó·²¤ÎÉôʬ·²¤Ï¡¢½ä²ó·²¤Ç¤¢¤ë¡£

[¾ÚÌÀ]G¤ò½ä²ó·²¡¢a¤ò¤½¤ÎÀ¸À®¸µ¤È¤¹¤ë¡£Â¨¤Á¡¢G=<a>¤È¤¹¤ë¡£

H¤òG¤ÎÉôʬ·²¤È¤¹¤ë¡£

[1]H¤¬Ã±°Ì·²¤Î¾ì¹ç¡¢Â¨¤ÁH={e}¤Î¾ì¹ç

H={e}=<e>

¤è¤Ã¤Æ¡¢H¤Ï(e¤òÀ¸À®¸µ¤È¤¹¤ë¡Ë½ä²ó·²¤È¤Ê¤ë¡£

[2]H¤¬Ã±°Ì·²¤Ç¤Ï¤Ê¤¤¾ì¹ç

H¤¬Ã±°Ì·²¤Ç¤Ê¤±¤ì¤Ð¡¢e°Ê³°¤Î¸µ¤¬¾¯¤Ê¤¯¤È¤â1¤ÄH¤Ë°¤¹¤ë¡£

H¤Î¸µ¤ÏG=<a>¤Î¸µ¤Ç¤â¤¢¤ë¤¿¤á¡¢¤½¤Î¸µ¤ÏaM (M¤ÏÀ°¿ô)¤Î·Á¤Ë¤Ê¤ê¡¢¤·¤«¤âM¤Ï0¤Ç¤Ï¤Ê¤¤(¢èa0=e)¡£

H¤ÏÉôʬ·²¤Ê¤Î¤Ç¡¢aM¤ÎµÕ¸µ(aM)-1=a-M¤âH¤Ë°¤¹¤ë¡£

M¤Ï0¤Ç¤Ê¤¤¤«¤é¡¢M¤È-M¤Î¤É¤Á¤é¤«°ìÊý¤ÏÀµ¤ÎÀ°¿ô¤È¤¹¤ë¡£

¤Ä¤Þ¤ê¡¢a1,a2,¡Ä¤È¤¤¤¦G¤Î¸µ¤ÎÎó¤ÎÃæ¤Ë¡¢H¤Ë°¤¹¤ë¤â¤Î¤¬É¬¤º½Ð¤Æ¤¯¤ë¡£ ¤½¤³¤Ç¡¢a1,a2,¡Ä¤ÎÃæ¤ÇºÇ½é¤ËH¤Ë°¤¹¤ë¤â¤Î¤òak¤È¤¹¤ë¡£

¤Þ¤º¡¢H¤¬Éôʬ·²¤Çak¤¬H¤Î¸µ¤À¤«¤é¡¢<ak>¤Î¸µ¤Ï¤¹¤Ù¤ÆH¤Î¸µ¤Ë¤Ê¤ë¡£

µÕ¤Ë¡¢x¤òH¤Î¸µ¤È¤¹¤ë¤È¡¢H¤Î¸µ¤ÏG=<a>¤Î¸µ¤Ç¤â¤¢¤ë¤«¤é¡¢x=an¤È½ñ¤±¤ë¡Ên¤Ï¤¢¤ëÀ°¿ô¡Ë¡£

¤³¤³¤Ç¡¢n¤òk¤Ç³ä¤Ã¤Æ¾¦¤òq,;¤ê¤òr¤È¤¹¤ë¤È¡¢n=kq+r, 0¡år¡ãk¤È¤Ê¤ë¡£

¤è¤Ã¤Æ¡¢

x
=an
=akq+r
=(ak)qar

¡èx=(ak)qar¡¡¢«(*)

¤³¤³¤Ç¡¢(ak)q¤ÏH¤Î¸µ¤À¤«¤é¡¢¤½¤ÎµÕ¸µ¤âH¤Î¸µ¤Ç¤¢¤ë¡£

¤½¤ì¤ò(*)¤Îº¸¤«¤é¤«¤±¤ë¤È¡¢x¤ÏH¤Î¸µ¤À¤«¤é¡¢ar¤¬H¤Î¸µ¤Ë¤Ê¤ë¡£

r¤Ïn¤òk¤Ç³ä¤Ã¤¿Í¾¤ê¤Ç¡¢0¡år¡ãk¤È¤¤¤¦ÉÔÅù¼°¤òËþ¤¿¤·¤Æ¤¤¤ë¡£

¤â¤·¡¢r¤¬0¤Ç¤Ï¤Ê¤¤¤È²¾Äꤹ¤ë¤È¡¢0¡ãr¡ãk¤È¤Ê¤ë¤¬¡¢¤³¤ì¤Ïa1,a2,¡Ä¤ÎÃæ¤ÇºÇ½é¤ËH¤Ë°¤¹¤ë¤â¤Î¤òak¤È¤·¤¿¤Î¤Ë¡¢¤½¤ì¤è¤êÁ°¤Ëar¤¬H¤Ë°¤·¤Æ¤·¤Þ¤¦¤Î¤Ç¡¢Ì·½â¤¬À¸¤¸¤ë¡£

¤è¤Ã¤Æ¡¢r=0¤Ç¤¢¤ë¤¿¤á¡¢n=kq+r=kq¤È¤Ê¤ë¡£

¤Ä¤Þ¤ê¡¢

x=an=akq(ak)q¤È¤Ê¤ê¡¢<ak>¤Ë°¤¹¤ë¤³¤È¤¬¤ï¤«¤ë¡£

H¤Î¸µ¤Ï¤¹¤Ù¤Æ<ak>¤Ë°¤·¡¢µÕ¤Ë<ak>¤Î¸µ¤Ï¤¹¤Ù¤ÆH¤Ë°¤¹¤ë¤Î¤Ç¡¢H=<ak>¤È¤Ê¤ê¡¢H¤Ï½ä²ó·²¤Ç¤¢¤ë¡£¡¡¢¢

»²¹Íʸ¸¥

  • ¡Ø·²ÏÀ¤Ê¤ó¤«¤³¤ï¤¯¤Ê¤¤¡Ù
  • ¡Ø±þÍÑÂå¿ô³ØÆþÌç¡Ù