Posts

Showing posts from January 28, 2019

Autoload is changing Scope of variables included in autoloaded file

Image
0 I'm having some trouble with my php project... The autoload function: spl_autoload_register(function ($class_name) { include 'HTMLClasses/'.$class_name . '.php';}); When autloloading classes from the "HTMLClasses" directory, the variables in the autoloaded file which are included from other files are not in its scope anymore. someFile.php require_once $_SERVER["DOCUMENT_ROOT"] . "/config/phpFileIndex.php"; require_once $phpFile['resourcesPaths']; include_once "../autoload.php"; class SomeClass{} the problem now is, that when autoloading this class the $phpFile Variable isn't in the scope of this script anymore. It is Global and i can access it by using $GLOBALS but I do not understand why I need this at all, beacause if I i...

Proof $xin R^times wedge bin R^times Rightarrow abin R^times$ [closed]

Image
0 1 $begingroup$ Let $R$ be a communitative ring. Prove $ain R^times wedge bin R^times >Rightarrow abin R^times$ with $R^times := {xin R | x text{ >invertible}}.$ Do you have any ideas and tips on how I could prove this? I know that this isn't really difficult but as so often in proofs concerning algebraic groups you need the right beginning and I can't get it... Thanks! algebraic-groups share | cite | improve this question edited Nov 27 '18 at 23:00 greedoid 40.2k 11 47 99 asked Nov 27 '18 ...